Jenna Butler, Mihaela Vorvoreanu, Rebecca Janssen, Abigail Sellen, Nicole Immorlica, Adam Troy, Advait Sarkar, Alex Farach, Alex Chouldechova, Alexandra Olteanu, Alexia Cambon, Arjun Radhakrishna, Asta Roseway, Ben Zorn, Brent Hecht, Daniel G. Goldstein, Dhruv Joshi, Ed Cutrell, Emre Kiciman, Gonzalo Ramos, Gustavo Soares, Hanna Wallach, Ian Drosos, Jack Williams (johnwilliams), Jacki O'Neill, Jake Hofman, Jaime Teevan, Javier Hernandez, Jennifer Wortman Vaughan, Jina Suh, John Tang, Justin Edwards, Kalika Bali, Kori Inkpen, Krishna Madhavan, Laylah Bulman, Leon Reicherts, Lev Tankelevitch, Longqi Yang, Martez Mott, Millicent Ochieng, Mercy Muchai, Nancy Baym, Najeeb Abdulhamid, Nicolai Marquardt, Ken Hinckley, Michael Bentley, Dave Brown, Hugo Romat, Nathalie Henry Riche, Samuel Maina, Shamsi Iqbal, Siân Lindley, Stephanie Nyairo, Su Lin Blodgett, Sumit Gulwani, Sunayana Sitaram, Vu Le
MSR-TR-2024-56 | December 2024
Published by Microsoft
Publication
Project
Project
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
Best Research Paper Award
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
Best Paper Presentation Award
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
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
Sumit Gulwani, Arjun Radhakrishna
May 2022
Publication
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
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | November 2020
DOI
PDF
Author's Version
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
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, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science |
December 2014, Vol 560: pp. 348-363
PDF
DOI
Project
Arjun Radhakrishna
July 2014
PhD Thesis: IST Austria | July 2014
PDF
Publication
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, Thomas A. Henzinger, Arjun Radhakrishna
Theoretical Computer Science |
December 2011, Vol 413(1): pp. 21-35
2010 International Conference on Concurrency Theory
PDF
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, Thomas A. Henzinger, Arjun Radhakrishna
Time for Verification: Essays in Memory of Amir Pnueli |
July 2010
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
