Publication Low-Cost Aerial Imaging for Small Holder Farmers Vasuki Narasimha Swamy, Akshit Kumar, Rohit Patil, Aditya Jain, Zerina Kapetanovic, Rahul Sharma, Deepak Vasisht, Ranveer Chandra, Swami Manohar, Anirudh Badam, Gireeja Ranade, Sudipta Sinha, Akshay Nambi ACM Compass 2019 | July 2019 ACM COMPASS 2019 Best Paper Award Project Project
Publication Overfitting in Synthesis: Theory and Practice Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma Computer Aided Verification (CAV) | July 2019
Publication Compiling KB-Sized Machine Learning Models to Tiny IoT Devices Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma PLDI | June 2019 Github Project Project
Publication Synthesis and machine learning for heterogeneous extraction Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani Programming Language Design and Implementation (PLDI) | June 2019 Project Project
Publication Rethinking Financial Inclusion: From Access to Autonomy Srihari Hulikal Muralidhar, Claus Bossen, Jacki O'Neill Journal of Computer-Supported Cooperative Work | June 2019, Vol 28(3-4): pp. 511-547 David B. Martin Best Paper Award at European Conference on Computer-Supported Cooperative Work 2019 Project
Publication AutoRate: How attentive is the driver? Isha Dua, Akshay Nambi, C. V. Jawahar, Venkat Padmanabhan The 14th IEEE International Conference on Automatic Face and Gesture Recognition | May 2019 Project
Publication FastLane: Test Minimization for Rapidly Deployed Large-scale Online Services Ranjita Bhagwan, Adithya Philip, Rahul Kumar, Chandra Maddila, Nachi Nagappan International Conference on Software Engineering | May 2019 Project
Publication Moments of Change: Analyzing Peer-Based Cognitive Support in Online Mental Health Forums Yada Pruksachatkun, Sachin Pendse, Amit Sharma 2019 CHI Conference on Human Factors in Computing Systems | May 2019 Project
Publication Exploring Crowdsourced Work in Low-Resource Settings Manu Chopra, Indrani Medhi Thies, Joyojeet Pal, Colin Scott, Bill Thies, Vivek Seshadri 2019 Human Factors in Computing Systems | May 2019 Project Project
Publication Universally Composable Secure Two and Multi-party Computation in the Corruptible Tamper-Proof Hardware Token Model Nishanth Chandran, Wutichai Chongchitmate, Rafail Ostrovsky, Ivan Visconti CRYPTO 2019 | April 2019
