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 Increasing the reach of snowball sampling: The impact of fixed versus lottery incentives Aditya Vashistha, Ed Cutrell, Bill Thies, March 2015
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 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 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 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 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
Publication Tighter Low-rank Approximation via Sampling the Leveraged Element Prateek Jain, Srinadh Bhojanapalli, Sujay Sanghavi Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) | January 2015 Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) Project
