Publication EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin IEEE Symposium on Security and Privacy | May 2020 Video Access Github Project
Publication Crowdsourcing Speech Data for Low-Resource Languages from Low-Income Workers Basil Abraham, Danish Goel, Divya Siddarth, Kalika Bali, Manu Chopra, Monojit Choudhury, Pratik Joshi, Preethi Jyothi, Sunayana Sitaram, Vivek Seshadri Language Resources and Evaluation Conference (LREC) | May 2020 Project Project
Publication Unsupervised Clustering using Pseudo-semi-supervised Learning Divam Gupta, Ramachandran Ramjee, Nipun Kwatra, Muthian Sivathanu Eighth International Conference on Learning Representations (ICLR) | April 2020
Publication Making Chat at Home in the Hospital: Exploring Chat Use by Nurses Naveena Karusala, Ding Wang, Jacki O'Neill CHI 2020 | April 2020
Publication IoT-ID: A novel device-specific identifier based on unique hardware fingerprints Girish Vaidya, Akshay Nambi, T V Prabhakar, Vasanth Kumar , Suhas Sudhakara International Conference on Internet of Things Design and Implementation (IoTDI) | April 2020 Project
Publication Balancing efficiency and fairness in heterogeneous GPU clusters for deep learning Shubham Chaudhary, Ramachandran Ramjee, Muthian Sivathanu, Nipun Kwatra, Srinidhi Viswanatha Fifteenth European Conference on Computer Systems (EuroSys’20) | April 2020 Project
Publication Learning sums of powers of low-degree polynomials in the non-degenerate case Ankit Garg, Neeraj Kayal, Chandan Saha 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) | April 2020, pp. 889-899
Publication Facilitating Media Distribution With Monetary Incentives Devansh Mehta, Alok Sharma, Ramaravind K. Kommiya Mothilal, Chiraag, Anurag Shukla, Vishnu Prasad, Bill Thies, Venkanna U, Colin Scott, Amit Sharma 2020 CHI Conference on Human Factors in Computing Systems | April 2020
Publication Bursts of Activity: Temporal Patterns of Help-Seeking and Support in Online Mental Health Forums Taisa Kushner, Amit Sharma ACM Web Conference (WWW) | April 2020 Project
Publication Please Call the Specialism: Using WeChat to Support Patient Care in China Ding Wang, Santosh Kale , Jacki O'Neill CHI 2020 | April 2020 Project
