Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development, ,
Finding Latent Performance Bugs in Systems Implementations, , FSE, 2010.
Software Data Spreading: Leveraging Distributed Caches in Multicore Systems to Improve Single Thread Performance, , PLDI, 2010.
Inferable Object-Oriented Typed Assembly Language, , PLDI, 2010.
Bringing Extensibility to Verified Compilers, , PLDI, 2010.
Type-preserving Compilation for End-to-end Verification of Security Enforcement, , PLDI, 2010.
Dsolve: Safety Verification Using Liquid Types, , CAV, 2010.
Enforcing Stateful Authorization and Information Flow Policies in Fine, , ESOP, 2010.
Low-level Liquid Types, , POPL, 2010.
Generating Compiler Optimizations from Proofs, , POPL, 2010.