| 1 |
When threads meet events: efficient and precise static race detection with origins. Bozhen Liu et al. PLDI 2021 |
Aug 23: Yuvraj Talukdar, Venkata Naga Sai Rohit Kanteti |
Aug 25: Chathur Bommineni, Dhruv Maroo |
Aug 25: Narsimha Naidu, Nayani Chetana |
| 2 |
Finding the dwarf: recovering precise types from WebAssembly binaries. Daniel Lehmann, Michael Pradel. PLDI 2022 |
Aug 30: Abdun Nihaal, Robert K Samuel |
Sep 1: Narsimha Naidu, Nayani Chetana |
Sep 1: Chathur Bommineni, Dhruv Maroo |
| 3 |
A study of real-world data races in Golang. Milind Chabbi, Murali Krishna Ramanathan. PLDI 2022 |
Sep 6: Chinmay Badjatya, Rudrik Shah |
Sep 8: Divya Rathore, Omkar Dilip Dhawal |
Sep 8: Sudeep Chowdhary, Divyanshu Upadhyay |
| 4 |
RacerD: compositional static race detection. Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn, Ilya Sergey. OOPSLA 2018 |
Sep 13: Mohammed Rizan Farooqui |
Sep 15: Sudeep Chowdhary, Divyanshu Upadhyay |
Sep 15: Divya Rathore, Omkar Dilip Dhawal |
| 5 |
Compiler-assisted object inlining with value fields. Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, Gustavo Alonso. PLDI 2021 |
Sep 20: Divya Rathore, Omkar Dilip Dhawal |
Sep 22: Abdun Nihaal, Robert K Samuel |
Sep 22: Mohammed Rizan Farooqui |
| 6 |
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. James Bornholt,Rajeev Joshi et al. SOSP 2021 |
Sep 27: Bommineni Chathur, Dhruv Sanjaykumar Maroo |
Sep 29: Yuvraj Talukdar, Venkata Naga Sai Rohit Kanteti |
Sep 29: Chinmay Badjatya, Rudrik Shah |
| 7 |
Synthesizing highly expressive SQL queries from input-output examples. Chenglong Wang, Alvin Cheung, Ratislav Bodik. PLDI 2017 |
Oct 4: Sudeep Chowdhary, Divyanshu Upadhyay |
Oct 6: Mohammed Rizan Farooqui |
Oct 6: Yuvraj Talukdar, Venkata Naga Sai Rohit Kanteti |
| 8 |
A fast in-place interpreter for WebAssembly. Ben L. Titzer. OOPSLA 2022 |
Oct 11: Narasimha Naidu, Nayani Chetana |
Oct 13: Chinmay Badjatya, Rudrik Shah |
Oct 13: Abdun Nihaal, Robert K Samuel |