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 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
Publication User Interface Design for Low-Literate and Novice Users: Past, Present and Future Indrani Medhi Thies Foundations and Trends in Human-Computer Interaction | April 2015
Publication Iterative Cycle Detection via Delaying Explorers Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia, MSR-TR-2015-28 | March 2015
Publication KrishiPustak: A Social Networking System for Low- Literate Farmers Indrani Medhi Thies, Pedro Ferreira, Nakull Gupta, Jacki O'Neill, Ed Cutrell March 2015 Best of CSCW honorable mention Project
Publication KrishiPustak: A Social Networking System for Low- Literate Farmers Indrani Medhi Thies, Pedro Ferreira, Nakull Gupta, Jacki O'Neill, Ed Cutrell ACM Conference on Computer-Supported Cooperative Work | March 2015 Best of CSCW honorable mention Project
Publication SMACK+Corral: A Modular Verifier (Competition Contribution) Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015 Project
Publication Multi-k-ic depth three circuit lower bound Neeraj Kayal, Chandan Saha Symposium on Theoretical Aspects of Computer Science (STACS) | March 2015 Symposium on Theoretical Aspects of Computer Science (STACS)
Publication Blended Learning in Indian Colleges with Massively Empowered Classroom Ed Cutrell, Jacki O'Neill, Srinath Bala, B. Nitish, Andrew Cross, Viraj Kumar, Bill Thies March 2015
