Publication Reliable State Machines: A Framework for Programming Reliable Cloud Services Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy ECOOP 2019 | July 2019 Project Project
Publication Learnings from deploying a voice-based social platform for people with disability Karn Dubey, Palash Gupta, Rachna Shriwas, Gayatri Gulvady, Amit Sharma ACM SIGCAS Conference on Computing & Sustainable Societies (COMPASS) | July 2019
Publication Mental health in the global south: Challenges and opportunities in HCI for development Sachin R. Pendse, Naveena Karusala, Divya Siddarth, Pattie Gonsalves, Seema Mehrotra, John A. Naslund, Mamta Sood, Neha Kumar, Amit Sharma ACM SIGCAS Conference on Computing & Sustainable Societies (COMPASS) | July 2019 Project
Publication Optimizing peer referrals for public awareness using contextual bandits Ramaravind K. Mothilal, Amulya Yadav, Amit Sharma ACM SIGCAS Conference on Computing & Sustainable Societies (COMPASS) | July 2019 Project
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 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
Research
Research