Programming Systems Publications
     
 
Programming Systems Publications
│ 2008 │ 
 
     
 

2008

Addressing Common Crosscutting Problems with Arcum, Macneil Shonle, Sorin Lerner, and William Griswold, PASTE, 2008.

Deep Typechecking and Refactoring, Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner, OOPSLA, 2008.

Liquid Types, Patrick Rondon, Ming Kawaguchi, and Ranjit Jhala, PLDI, 2008.

Dataflow Analysis For Concurrent Programs using Datarace Detection, Ravi Chugh, Jan Voung, Ranjit Jhala, and Sorin Lerner, PLDI, 2008.

Validating High Level Synthesis, Sudipta Kundu, Sorin Lerner, and Rajesh Gupta, CAV, 2008.