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 Studying Ransomware Attacks Using Web Search Logs Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao SIGIR 2020 | July 2020
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
Publication GLUECoS: An Evaluation Benchmark for Code-Switched NLP Simran Khanuja, Sandipan Dandapat, Anirudh Srinivasan, Sunayana Sitaram, Monojit Choudhury Association for Computational Linguistics (ACL) | June 2020 Project
Publication Digital Divine: Technology use by Indian Spiritual Sects Meena Azhagu, Varuni Bhatia, Joyojeet Pal ICTD 2020 | June 2020 Editor(s): Carleen Maitland, Monica Villavicencio Cabezas Project Project
Publication Performing Gender, Doing Politics: Social Media and Women Election Workers in Kerala and Tamil Nadu Drupa Dinnie Charles, Azhagu Meena, Simiran Lalvani, Syeda Zainab Akbar, Divya Siddarth, Joyojeet Pal ICTD 2020 | June 2020 Editor(s): Carleen Maitland, Monica Villavicencio Cabezas Project Project
Publication From Greetings to Corruption: Politicians, Political Parties, and Tweeting in India Lia Bozarth, Anmol Panda, Ceren Budak, Joyojeet Pal ICTD 2020 | June 2020 Editor(s): Carleen Maitland, Monica Villavicencio Cabezas Project
Publication Engaging the Crowd: Social Movement Building via Online Bystander Mobilization Divya Siddarth, Joyojeet Pal ICTD 2020 | June 2020 Editor(s): Carleen Maitland, Monica Villavicencio Cabezas Project
Publication Affording Extremes: Incivility, Social Media and Democracy in the Indian Context Anmol Panda, Sunandan Chakraborty, Noopur Raval, Han Zhang, Mugdha Mohapatra, Joyojeet Pal ICTD 2020 | June 2020 Editor(s): Carleen Maitland, Monica Villavicencio Cabezas Project
Research
Research