Publication Learning Natural Programs from a Few Examples in Real-Time Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani AIStats | January 2019 Project
Publication PocketATM: Understanding and Improving ATM Accessibility in India Sudheesh Singanamalla, Venkatesh Potluri, Colin Scott, Indrani Medhi Thies International Conference on Information and Communication Technologies and Development (ICTD) | January 2019
Publication A Verified, Efficient Embedding of a Verifiable Assembly Language Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy Principles of Programming Languages (POPL 2019) | January 2019 Project
Publication PocketATM: Understanding and Improving ATM Accessibility in India International Conference on Information and Communication Technologies and Development (ICTD) | January 2019
Publication FarSight: A Smartphone-based Vehicle Ranging System Akshay Nambi, Aditya Virmani, Venkat Padmanabhan ACM IMWUT/UBICOMP | December 2018 Project
Publication Split-door criterion: Identification of causal effects through auxiliary outcomes Amit Sharma, Jake Hofman, Duncan Watts Annals of Applied Statistics | December 2018, Vol 12(4): pp. 2699-2733
Publication Necessary and Probably Sufficient Test for Finding Valid Instrumental Variables Amit Sharma December 2018 Project
Publication FastGRNN: A Fast, Accurate, Stable and Tiny Kilobyte Sized Gated Recurrent Neural Network Aditya Kusupati, Manish Singh, Kush Bhatia, Ashish Kumar, Prateek Jain, Manik Varma NIPS 2018 | December 2018 Github Project Project
Publication Rethinking Networking for “Five Computers” Sundararajan Renganathan, Venkat Padmanabhan, Akshay Nambi ACM HotNets | November 2018
Publication Fall-curve: A novel primitive for IoT Fault Detection and Isolation Tusher Chakraborty, Akshay Nambi, Ranveer Chandra, Rahul Sharma, Swami Manohar, Zerina Kapetanovic, Jonathan Appavoo ACM SenSys | November 2018 Project Project Project
