Arjun Radhakrishna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
11
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | TEN: Table Explicitization, Neurosymbolically. | Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari |
| 2026 | SIGMOD | ConDABench: Interactive Evaluation of Language Models for Data Analysis. | Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari |
| 2025 | EMNLP | STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback. | Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares |
| 2024 | EMNLP | MetaReflection: Learning Instructions for Language Agents using Past Reflections. | Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi |
| 2023 | ICSE | Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. | Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim |
| 2022 | PLDI | Landmarks and regions: a robust approach to data extraction. | Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza |
| 2021 | SIGMOD | CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. | Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani |
| 2021 | SIGMOD | Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. | Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou |
| 2020 | SIGMOD | ExTuNe: Explaining Tuple Non-conformance. | Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani |
| 2019 | PLDI | Synthesis and machine learning for heterogeneous extraction. | Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani |
| 2018 | ICSE | DroidStar: callback typestates for Android classes. | Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cern |
| 2017 | TACAS | Scaling Enumerative Program Synthesis via Divide and Conquer. | Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa |
| 2015 | CAV | Synthesis Through Unification. | Rajeev Alur, Pavol Cern, Arjun Radhakrishna |
| 2015 | CAV | From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. | Pavol Cern, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach |
| 2015 | ESOP | Segment Abstraction for Worst-Case Execution Time Analysis. | Pavol Cern, Thomas A. Henzinger, Laura Kovcs, Arjun Radhakrishna, Jakob Zwirchmayr |
| 2015 | POPL | Succinct Representation of Concurrent Trace Sets. | Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
| 2014 | CAV | Regression-Free Synthesis for Concurrency. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2014 | POPL | Battery transition systems. | Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna |
| 2013 | CAV | Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach |
| 2013 | POPL | Quantitative abstraction refinement. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna |
| 2012 | EMSOFT | Synthesis from incompatible specifications. | Pavol Cern, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |
| 2011 | CAV | Quantitative Synthesis for Concurrent Programs. | Pavol Cern, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh |
| 2010 | CAV | Model Checking of Linearizability of Concurrent List Implementations. | Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
| 2010 | CAV | Gist: A Solver for Probabilistic Games. | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
| 2010 | CONCUR | Simulation Distances. | Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna |