Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Suresh Jagannathan
Eliminating Read Barriers Through Procrastination and Cleanliness
ACM SIGPLAN Notices
Computer Science
A Relational Framework for Higher-Order Shape Analysis
ACM SIGPLAN Notices
Computer Science
Analyzing Concurrency Bugs Using Dual Slicing
Semantics-Aware Trace Analysis
ACM SIGPLAN Notices
Computer Science
A Semantic Framework for Designer Transactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Plethora: An Efficient Wide-Area Storage System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
