Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Joshi, Rajeev - Laboratory for Reliable Software, Jet Propulsion Laboratory
A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2
Automated Generation of Resource Configurations through Policies Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi
Toward a Theory of Maximally Concurrent Programs [Shortened Version]
Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin Jayadev Misra
Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi
Denali: A Goal-directed Superoptimizer Rajeev Joshi Greg Nelson Keith Randall
Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1
Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi
A Projective Geometry Architecturefor ScientificComputation Bharadwaj S. Amrutur Rajeev Joshi Narendra K. Karmarkar
On The Impossibility Of Robust Solutions For Fair Resource Allocation
Counterpoint A UNITY proof with pure nondeterminism
Seuss for Java Language Reference
The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou
