Publication Angelic Verification: Precise Verification Modulo Unknowns Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das Computer Aided Verification (CAV) | July 2015 Project Project
Publication Surrogate Functions for Maximizing Precision at the Top Purushottam Kar, Harikrishna Narasimhan, Prateek Jain Proceedings of the 32nd International Conference on Machine Learning (ICML) | July 2015
Publication Optimizing Non-decomposable Performance Measures: A Tale of Two Classes , Prateek Jain Proceedings of the 32nd International Conference on Machine Learning (ICML) | July 2015
Publication Fast Exact Matrix Completion with Finite Samples Prateek Jain, Praneeth Netrapalli, Praneeth Netrapalli Proceedings of The 28th Conference on Learning Theory (COLT) | June 2015 Project
Publication Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam Programming Language Design and Implementation, PLDI 2015 | June 2015
Publication Asynchronous Programming, Analysis and Testing with State Machines Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema Programming Language Design and Implementation (PLDI) | June 2015 Project Project
Publication DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Akash Lal, Shaz Qadeer Programming Language Design and Implementation (PLDI) | June 2015 Project
Publication Efficient Synthesis of Probabilistic Programs Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy, Programming Language Design and Implementation (PLDI) | June 2015 Project
Publication Revisiting CGNet Swara and its Impact in Rural India Meghana Marathe, Jacki O'Neill, Paromita Pain, William Thies, Bill Thies May 2015
Publication Sangeet Swara: A Community-Moderated Voice Forum in Rural India Aditya Vashistha, Ed Cutrell, Gaetano Borriello, Bill Thies May 2015 Best of CHI Award
