Programming Systems Publications
     
 
Programming Systems Publications
│ 2012 │ 
 
     
 

2012

Dependent Types For JavaScript, Ravi Chugh, David Herman, and Ranjit Jhala, OOPSLA, 2012.

CSolve: Verifying C With Liquid Types, Patrick Rondon, Ming Kawaguchi, Alexander Bakst, and Ranjit Jhala, CAV, 2012.

Deterministic Parallelism via Liquid Effects, Patrick Rondon, Ming Kawaguchi, Alexander Bakst, and Ranjit Jhala, PLDI, 2012.

Verifying GPU Kernels By Test Amplification, Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, and Sorin Lerner, PLDI, 2012.

Nested Refinements: A Logic For Duck Typing, Ravi Chugh, Patrick Rondon, and Ranjit Jhala, POPL, 2012.

WitchDoctor: IDE support for real-time auto-completion of refactorings, Stephen Foster, William Griswold, and Sorin Lerner, ICSE, 2012.

Establishing Browser Security Guarantees through Formal Shim Verification, Donseok Jang, Zachary Tatlock, and Sorin Lerner, USENIX Security, 2012.