Top Related
Scalable Program Verification by Lazy Abstraction Ranjit Jhala U.C. Berkeley.
Nested Refinements: A Logic for Duck Typing Ravi Chugh, Pat Rondon, Ranjit Jhala (UCSD) ::
Software Verification with BLAST Tom Henzinger Ranjit Jhala Rupak Majumdar.
The Software Model Checker BLAST by Dirk Beyer , Thomas A. Henzinger , Ranjit Jhala and Rupak Majumdar
Dependent Types for JavaScript Ravi Chugh Ranjit Jhala University of California, San Diego David Herman Mozilla Research.
Software Verification with Blast Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George Necula, Grégoire Sutre, Wes Weimer UC Berkeley.
Prof Sukumar Raju's MILEAGE -Road Map for Wining PPT
Computational Storytelling Systems and Narratology January 14, 2010 Arnav Jhala