Publication InSight: Monitoring the State of the Driver in Low-Light Using Smartphones Ishani Janveja, Akshay Nambi, Shruthi Bannur, Sanchit Gupta, Venkat Padmanabhan Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, (UBICOMP 2020) | September 2020, Vol 4(3) Project
Publication Incorporating Super-Operators in Big-Data Query Optimizers Kaushik Rajan, Jyoti Leeka International Conference on Very Large Databases (VLDB) | September 2020 Project
Publication Causal Factors of Effective Psychosocial Outcomes in Online Mental Health Communities Amit Sharma, Koustuv Saha Proceedings of the 14th International AAAI Conference on Web and Social Media (ICWSM) | August 2020
Publication CrypTFlow2: Practical 2-Party Secure Inference Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma 27th Annual Conference on Computer and Communications Security (ACM CCS 2020) | August 2020 Project
Publication SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020 Project
Publication Aggify: Lifting the Curse of Cursor Loops using Custom Aggregates Surabhi Gupta, Sanket Purandare, Karthik Ramachandra ACM SIGMOD 2020 | August 2020 Video Project Project
Publication NivaDuck – A Scalable Pipeline to Build a Database of Political Twitter Handles for India and the United States Anmol Panda, A’ndre Gonawela, Sreangsu Acharyya, Dibyendu Mishra, Mugdha Mohapatra, Ramgopal Chandrasekaran, Joyojeet Pal SMSociety’20: International Conference on Social Media and Society | July 2020 Project
Publication Leader or Party? Personalization in Twitter Political Campaigns during the 2019 Indian Elections Ashwin Rajadesingan, Anmol Panda, Joyojeet Pal SMSociety’20: International Conference on Social Media and Society | July 2020 Project
Publication An Empirical Study of Software Exceptions in the Field using Search Logs Foyzul Hassan, Chetan Bansal, Nachi Nagappan, Tom Zimmermann, Ahmed Awadallah ESEM 2020 | July 2020
Publication Distributed Bounded Model Checking Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal FMCAD | July 2020 Video Project
