Programming Systems Publications
Programming Systems Publications
│ 2010 │ 


Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development, Diane Hu, Laurens van der Maaten, Youngmin Cho, Lawrence K. Saul, and Sorin Lerner, NIPS, 2010.

An Empirical Study of Privacy-Violating Information Flows in JavaScript Web Applications, Dongseok Jang, Ranjit Jhala, Sorin Lerner, and Hovav Shacham, CCS, 2010.

Finding Latent Performance Bugs in Systems Implementations, Charles Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James Anderson, and Ranjit Jhala, FSE, 2010.

Software Data Spreading: Leveraging Distributed Caches in Multicore Systems to Improve Single Thread Performance, Md Kamruzzaman, Steve Swanson, and Dean Tullsen, PLDI, 2010.

Inferable Object-Oriented Typed Assembly Language, Ross Tate, Juan Chen, and Chris Hawblitzel, PLDI, 2010.

Bringing Extensibility to Verified Compilers, Zachary Tatlock and Sorin Lerner, PLDI, 2010.

Type-preserving Compilation for End-to-end Verification of Security Enforcement, Juan Chen, Ravi Chugh, and Nikhil Swamy, PLDI, 2010.

Dsolve: Safety Verification Using Liquid Types, Patrick Rondon, Ming Kawaguchi, and Ranjit Jhala, CAV, 2010.

Enforcing Stateful Authorization and Information Flow Policies in Fine, Nikhil Swamy, Juan Chen, and Ravi Chugh, ESOP, 2010.

Low-level Liquid Types, Patrick Rondon, Ming Kawaguchi, and Ranjit Jhala, POPL, 2010.

Generating Compiler Optimizations from Proofs, Ross Tate, Michael Stepp, and Sorin Lerner, POPL, 2010.