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
Publication Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal FMCAD | July 2020 Best paper award Video Project Project
Publication Alleviating Privacy Attacks via Causal Learning Shruti Tople, Amit Sharma, Aditya V. Nori International Conference on Machine Learning (ICML) | July 2020 Github Project Project
