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 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 Increasing the reach of snowball sampling: The impact of fixed versus lottery incentives Aditya Vashistha, Ed Cutrell, Bill Thies, March 2015
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 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 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 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
Publication Automatic scalable atomicity via semantic locking Guy Golan-Gueta, Mooly Sagiv, G. Ramalingam, Eran Yahav ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 | February 2015
Research
Research