Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Sumit Gulwani, Dustin Coleman, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | August 2024
Publication
Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024
Publication
DOI
Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
NAACL: Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing | February 2024
DOI
Publication
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering | November 2023
DOI
Preprint
Publication
Amirmohammad Nazari , Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
OOPSLA | October 2023
Publication
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
PLDI | June 2023
Distinguished Paper
Publication
Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang
ICSE SEIP | May 2023
Publication
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
Principles of Programming Languages | January 2023
Publication
Manish Shetty, Chetan Bansal, Sai Pramod Upadhyayula, Arjun Radhakrishna, Anurag Gupta
ESEC/FSE 2022 | November 2022
Publication
Publication
Publication
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
FSE | November 2022
PDF
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
OOPSLA: Proceedings of the ACM on Programming Languages | October 2022
Publication
Project
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Publication
PDF
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
2021 Automated Software Engineering | November 2021
PDF
Kia Rahmani, Mohammad Raza (moraza), Sumit Gulwani (sumitg), Vu Le (levu), Dan Morris (damorri), Arjun Radhakrishna (arradha), Gustavo Soares (gsoares), Ashish Tiwari (astiwar)
OOPSLA | October 2021
Publication
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
OOPSLA | September 2021
PDF
Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
Publication
Project
Project
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
DOI
PDF
PDF
Publication
Publication
Publication
Video
Project
Project
Project
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Publication
Video
Video
Project
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020 International Conference on Management of Data | June 2020
DOI
PDF
Publication
Video
Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2019
PDF
DOI
Video
Project
Project
Nicholas Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerny
International Conference on Functional Programming (ICFP) | July 2019
PDF
Publication
DOI
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
Programming Language Design and Implementation (PLDI) | June 2019
PDF
DOI
Project
Project
Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny
International Conference on Software Engineeering | May 2018
Publication
DOI
PDF
Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2017 Formal Methods | May 2017
PDF
DOI
Project
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2017
PDF
Publication
DOI
Project
Pavol Cerny, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 Computer Aided Verification | July 2015
PDF
DOI
Project
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Computer Aided Verification (CAV) | July 2015
PDF
Publication
DOI
Project
Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr
European Symposium on Programming Languages and Systems (ESOP) | April 2015
PDF
Publication
DOI
Project
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
Principles of Programming Languages (POPL) | January 2015
PDF
Publication
DOI
Project
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Computer Aided Verification (CAV) | July 2014
PDF
Publication
DOI
Project
Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2014
PDF
Publication
DOI
Project
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Computer Aided Verification (CAV) | July 2013
PDF
Publication
DOI
Project
Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna
Principles of Programming Languages (POPL) | January 2013
PDF
Publication
DOI
Project
Pavol Cerny, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
2012 Embedded Software | October 2012
Nominated for the Best Paper award
Publication
DOI
Project
Pavol Cerny, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
Computer Aided Verification (CAV) | July 2011
Errata: The synthesis problem is PSPACE-complete, rather than NEXP-complete as claimed. However, the message that the problem is computationally hard still stands.
PDF
Publication
DOI
Project
Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
Computer Aided Verification (CAV) | July 2010
PDF
Publication
DOI
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna
Computer Aided Verification (CAV) | January 2010
PDF
Publication
DOI