Research
Distinguished Scientist and Vice President
Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
SIGMOD Companion '26: Companion of the International Conference on Management of Data | May 2026
Sadra Sabouri, Zeinabsadat Saghi, Run Huang, Sujay Maladi, Esmeralda Eufracio, Sumit Gulwani, Souti Chattopadhyay
April 2026
Mukul Singh, Hosein Hasanbeig, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
NeurIPS DL4Code 2025 | December 2025
Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
November 2025
Mukul Singh, Ananya Singha, Aishni Parab, Pronita Mehrotra, Sumit Gulwani
November 2025
Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani
ArXiv | October 2025, Vol abs/2510.05457
Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
ArXiv | October 2025
Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
September 2025
Litao Yan, Andrew Head, K. Milne, Vu Le, Sumit Gulwani, Chris Parnin, Emerson Murphy-Hill
CHI 2026 | September 2025
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
Empirical Methods in Natural Language Processing (EMNLP) 2025 - Industry Track | September 2025
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
ACM Transactions on Computer-Human Interaction | September 2025, Vol abs/2502.09787
Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
September 2025
Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, A. Singla, Christopher Brooks
September 2025
Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani
ArXiv | August 2025, Vol abs/2508.11110
Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
NAACL 2025 | April 2025
Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
ICLR 2025 | April 2025
Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
NAACL 2025 | April 2025
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
Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
EMNLP'24 | October 2024
Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
Findings of EMNLP 2024 | September 2024
Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
EMNLP 2024 | September 2024
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
Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
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
Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
LLM4Code Workshop at ICSE '24 | April 2024
Best Paper
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
Tung Phung, Victor-Alexandru Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
International Learning Analytics and Knowledge Conference | March 2024
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
Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
AAAI | February 2024
Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani
Technical Symposium on Computer Science Education | January 2024
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
Preprint | December 2023
Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
Table Representation Learning Workshop at NeurIPS 2023 | December 2023
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
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen, Carina Negreanu
EMNLP 2023 | November 2023
Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
Findings of EMNLP 2023 | November 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Conference on International Computing Education Research | September 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
Preprint | August 2023
Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
49th International Conference on Very Large Data Bases - Demo Track | August 2023
Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adisha Singla, Gustavo Soares
International Conference on Educational Data Mining | July 2023
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
SIGMOD | June 2023
Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
May 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
49th International Conference on Very Large Data Bases | May 2023
Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
February 2023
Published by: AAAI | February 2023
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
Principles of Programming Languages | January 2023
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
OOPSLA | December 2022
Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
FSE | November 2022
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
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
September 2022
August 2022
Sumit Gulwani, Arjun Radhakrishna
May 2022
Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Chris Meek, Sumit Gulwani
ICLR 2022 | April 2022
March 2022
Max Planck-Humboldt Medal 2021
Titus Barik, Sumit Gulwani, Mario Juarez
March 2022
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
Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik
UIST 2021 | October 2021
Gust Verbruggen, Vu Le, Sumit Gulwani
OOPSLA | October 2021
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
OOPSLA | September 2021
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Proceedings of the 2021 International Conference on Management of Data | June 2021
Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
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
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
International Conference on Pattern Recognition | October 2020
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020 International Conference on Management of Data | June 2020
Mohammad Raza, Sumit Gulwani
SIGMOD (Special Interest Group on Management of Data) | June 2020
Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLIne, Sumit Gulwani
ACM CHI Conference on Human Factors in Computing Systems | April 2020
Best Paper Award
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
Sumit Gulwani, Prateek Jain
Dependable Software Systems Engineering | Published by IOS Press | 2019
Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
AIStats | January 2019
Saswat Padhi, Daniel Perelman, Prateek Jain, Alex Polozov, Sumit Gulwani, Todd Millstein
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH - OOPSLA) | November 2018
Sumit Gulwani, Ivan Radicek, Florian Zuleger
PLDI | May 2018
Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
Mohammad Raza, Sumit Gulwani
AAAI 2018 | February 2018
Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
6th International Conference on Learning Representations (ICLR) | January 2018
Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
Sumit Gulwani, Prateek Jain
APLAS 2017 | October 2017
Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
arXiv preprint | September 2017, Vol arXiv:1709.05725
Sumit Gulwani, Alex Polozov, Rishabh Singh
Foundations and Trends in Programming Languages
Published by NOW | August 2017, Vol 4
Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
Reudismam Rolim, Gustavo Soares (gsoares), Loris D'Antoni, Alex Polozov, Sumit Gulwani, Rohit Gheyi, Bjoern Hartmann
39th International Conference on Software Engineering (ICSE) | May 2017
Kevin Ellis, Sumit Gulwani
IJCAI 2017 | May 2017
Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
arXiv preprint | March 2017, Vol arXiv:1703.03539
Mohammad Raza, Sumit Gulwani
AAAI 2017 | February 2017
Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
OOPSLA 2016 | November 2016
Xinyu Wang, Sumit Gulwani, Rishabh Singh
OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
Invited talk at IJCAR 2016 | June 2016
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
ICSE '16, Austin, TX, USA | May 2016
Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
March 2016
Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113
Tutorial at PLDI 2016 | January 2016
Verification and Synthesis of Correct and Secure Systems | January 2016
Keynote at SEMS 2016 | January 2016
Rishabh Singh, Sumit Gulwani
43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
Communications of The ACM | November 2015
Lecture at UC-Berkeley | November 2015
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | October 2015
Alex Polozov, Sumit Gulwani
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
Dileep Kini, Sumit Gulwani
IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
MSR-TR-2015-57 | July 2015
Invited talk at ECOOP | July 2015
Rishabh Singh, Sumit Gulwani
27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
27th International Conference on Computer Aided Verification (CAV 2015)
Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
MSR-TR-2015-36 | May 2015
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
IJCAI 2015 | May 2015
Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
IJCAI 2015 | May 2015
Eleanor O’Rourke, Erik Andersen, Sumit Gulwani, Zoran Popović
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani
CHI 2015 Conference on Human Factors in Information Systems | April 2015
CHI 2015 Conference on Human Factors in Information Systems
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
ISBN: 0-262-51129-0
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Keynote at CBSoft 2015 | January 2015
Keynote at POPL 2015 | January 2015
Invited talk at SYNT 2015 | January 2015
Sumit Gulwani, Ivan Radiček, Florian Zuleger
SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
Alex Polozov, Sumit Gulwani
20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
Communications of the ACM | August 2014, Vol 57(8): pp. 70-80
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
Invited talk at GECCO 2014, Genetic Programming Track | July 2014
GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
2014 Programming Language Design and Implementation | June 2014
DOI PDF PDF Publication Publication Publication Publication Video Video Project Project Project Project Project
Sumit Gulwani, Mark Marron
SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
Invited talk at ASSESS 2014 | January 2014
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Sumit Gulwani, Rishabh Singh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
Publication Publication Publication Publication Project Project
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
PLDI'13, June 16-19, 2013, Seattle, WA, USA | June 2013
Distinguished Paper Award
Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
ISBN: 978-1-4673-3076-3
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
April 2013
Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
Best Paper Award & CACM Highlight Nomination
Sumit Gulwani, Jonathan "Peli" de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
Cummunications of the ACM, Research Highlights | August 2012
Rishabh Singh, Sumit Gulwani
PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
Rishabh Singh, Sumit Gulwani
24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
PLDI'12, June 11-16, 2012, Beijing, China | June 2012
Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
February 2012, Vol 10(2)
Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
Sumit Gulwani, William R. Harris, Rishabh Singh
January 2012
Invited to CACM Research Highlights
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara Navidpour
ESEC/FSE'11, September 5-9, 2011, Szeged, Hungary | September 2011
Distinguished Paper Award, Invited to CACM Research Highlights
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Bill Harris, Sumit Gulwani
PLDI 2011 | June 2011
PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
Most Influential POPL Paper Award
Publication Publication Publication Video Video Video Project Project
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
Sumit Gulwani, Florian Zuleger
PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
PPDP '10 Hagenberg, Austria | January 2010
MSR-TR-2009-146 | October 2009
Sumit Gulwani, Sudeep Juvekar
MSR-TR-2009-156 | October 2009
Oregon Summer School | July 2009
Publication Publication Publication Publication Video Video Video Project
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
Sumit Gulwani, Sagar Jain, Eric Koskinen
PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
Sumit Gulwani, Ramarathnam Venkatesan
MSR-TR-2010-12 | April 2009
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Publication Publication Publication Publication Project Project
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
MSR-TR-2008-158 | October 2008
Bhargav S. Gulavani, Sumit Gulwani
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Madan Musuvathi
ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
ISBN: 3-540-78738-0 978-3-540-78738-9
Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
MSR-TR-2007-111 | August 2007
Sumit Gulwani, Ashish Tiwari
CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
ISBN: 978-3-540-73367-6
Sumit Gulwani, Ashish Tiwari
ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
ISBN: 978-3-540-71314-2
Sumit Gulwani, Nebojsa Jojic
POPL'07 January 17-19, 2007, Nice, France. | January 2007
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-160 | November 2006
Sumit Gulwani, Asish Tiwari
MSR-TR-2006-99 | July 2006
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-25 | March 2006
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-01 | January 2006
European Symposium on Programming 2006
September 2005
PhD Thesis: PhD Dissertation, University of California, Berkeley | September 2005
ACM SIGPLAN Doctoral Dissertation Award
Sumit Gulwani, George C. Necula
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
Sumit Gulwani, Ashish Tiwari, George C. Necula
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
Sumit Gulwani, George C. Necula
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
Sumit Gulwani, George C. Necula
Static Analysis Symposium (SAS), 2004 | January 2004
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller
Computer Communications | January 2000
Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
SIGMOD Companion '26: Companion of the International Conference on Management of Data | May 2026
Sadra Sabouri, Zeinabsadat Saghi, Run Huang, Sujay Maladi, Esmeralda Eufracio, Sumit Gulwani, Souti Chattopadhyay
April 2026
Mukul Singh, Hosein Hasanbeig, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
NeurIPS DL4Code 2025 | December 2025
Mukul Singh, Ananya Singha, Aishni Parab, Pronita Mehrotra, Sumit Gulwani
November 2025
Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
November 2025
Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani
ArXiv | October 2025, Vol abs/2510.05457
Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
ArXiv | October 2025
Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
September 2025
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
Empirical Methods in Natural Language Processing (EMNLP) 2025 - Industry Track | September 2025
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
ACM Transactions on Computer-Human Interaction | September 2025, Vol abs/2502.09787
Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
September 2025
Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, A. Singla, Christopher Brooks
September 2025
Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani
ArXiv | August 2025, Vol abs/2508.11110
Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
NAACL 2025 | April 2025
Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
NAACL 2025 | April 2025
Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
ICLR 2025 | April 2025
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
Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
EMNLP'24 | October 2024
Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
Findings of EMNLP 2024 | September 2024
Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
EMNLP 2024 | September 2024
Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
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
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
Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
LLM4Code Workshop at ICSE '24 | April 2024
Best Paper
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
Tung Phung, Victor-Alexandru Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
International Learning Analytics and Knowledge Conference | March 2024
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
Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
AAAI | February 2024
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
Preprint | December 2023
Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
Table Representation Learning Workshop at NeurIPS 2023 | December 2023
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
Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
Findings of EMNLP 2023 | November 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen, Carina Negreanu
EMNLP 2023 | November 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Conference on International Computing Education Research | September 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
Preprint | August 2023
Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
49th International Conference on Very Large Data Bases - Demo Track | August 2023
Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adisha Singla, Gustavo Soares
International Conference on Educational Data Mining | July 2023
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
SIGMOD | June 2023
Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
May 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
49th International Conference on Very Large Data Bases | May 2023
Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
February 2023
Published by: AAAI | February 2023
Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
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
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
September 2022
Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Chris Meek, Sumit Gulwani
ICLR 2022 | April 2022
Titus Barik, Sumit Gulwani, Mario Juarez
March 2022
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
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Proceedings of the 2021 International Conference on Management of Data | June 2021
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
International Conference on Pattern Recognition | October 2020
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Mohammad Raza, Sumit Gulwani
SIGMOD (Special Interest Group on Management of Data) | June 2020
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
Sumit Gulwani, Prateek Jain
Dependable Software Systems Engineering | Published by IOS Press | 2019
Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
AIStats | January 2019
Sumit Gulwani, Ivan Radicek, Florian Zuleger
PLDI | May 2018
Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
Mohammad Raza, Sumit Gulwani
AAAI 2018 | February 2018
Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
6th International Conference on Learning Representations (ICLR) | January 2018
Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
Sumit Gulwani, Prateek Jain
APLAS 2017 | October 2017
Sumit Gulwani, Alex Polozov, Rishabh Singh
Foundations and Trends in Programming Languages
Published by NOW | August 2017, Vol 4
Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
Kevin Ellis, Sumit Gulwani
IJCAI 2017 | May 2017
Mohammad Raza, Sumit Gulwani
AAAI 2017 | February 2017
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
ISBN: 0-262-51129-0
Sumit Gulwani, Ivan Radiček, Florian Zuleger
SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Bill Harris, Sumit Gulwani
PLDI 2011 | June 2011
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
SIGMOD Companion '26: Companion of the International Conference on Management of Data | May 2026
Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
MSR-TR-2015-36 | May 2015
Alex Polozov, Sumit Gulwani
20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
Sadra Sabouri, Zeinabsadat Saghi, Run Huang, Sujay Maladi, Esmeralda Eufracio, Sumit Gulwani, Souti Chattopadhyay
April 2026
Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
Litao Yan, Andrew Head, K. Milne, Vu Le, Sumit Gulwani, Chris Parnin, Emerson Murphy-Hill
CHI 2026 | September 2025
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
ACM Transactions on Computer-Human Interaction | September 2025, Vol abs/2502.09787
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
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
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
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
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
Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik
UIST 2021 | October 2021
Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLIne, Sumit Gulwani
ACM CHI Conference on Human Factors in Computing Systems | April 2020
Best Paper Award
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
Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani
CHI 2015 Conference on Human Factors in Information Systems | April 2015
CHI 2015 Conference on Human Factors in Information Systems
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani
ArXiv | October 2025, Vol abs/2510.05457
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
Titus Barik, Sumit Gulwani, Mario Juarez
March 2022
Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani
ArXiv | August 2025, Vol abs/2508.11110
Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller
Computer Communications | January 2000
Mukul Singh, Ananya Singha, Aishni Parab, Pronita Mehrotra, Sumit Gulwani
November 2025
Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
November 2025
Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
ArXiv | October 2025
Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
NAACL 2025 | April 2025
Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
NAACL 2025 | April 2025
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
Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
Findings of EMNLP 2024 | September 2024
Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
EMNLP 2024 | September 2024
Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
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
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
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
Tung Phung, Victor-Alexandru Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
International Learning Analytics and Knowledge Conference | March 2024
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
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani
Technical Symposium on Computer Science Education | January 2024
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
Preprint | December 2023
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
Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
Findings of EMNLP 2023 | November 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
Preprint | August 2023
Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
49th International Conference on Very Large Data Bases - Demo Track | August 2023
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
SIGMOD | June 2023
Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
May 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
49th International Conference on Very Large Data Bases | May 2023
Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
February 2023
Published by: AAAI | February 2023
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
Principles of Programming Languages | January 2023
Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
OOPSLA | December 2022
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
FSE | November 2022
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
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
September 2022
August 2022
Sumit Gulwani, Arjun Radhakrishna
May 2022
March 2022
Max Planck-Humboldt Medal 2021
Titus Barik, Sumit Gulwani, Mario Juarez
March 2022
Gust Verbruggen, Vu Le, Sumit Gulwani
OOPSLA | October 2021
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
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
OOPSLA | September 2021
Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
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
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
International Conference on Pattern Recognition | October 2020
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020 International Conference on Management of Data | June 2020
Mohammad Raza, Sumit Gulwani
SIGMOD (Special Interest Group on Management of Data) | June 2020
Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLIne, Sumit Gulwani
ACM CHI Conference on Human Factors in Computing Systems | April 2020
Best Paper Award
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
Sumit Gulwani, Prateek Jain
Dependable Software Systems Engineering | Published by IOS Press | 2019
Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
AIStats | January 2019
Saswat Padhi, Daniel Perelman, Prateek Jain, Alex Polozov, Sumit Gulwani, Todd Millstein
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH - OOPSLA) | November 2018
Sumit Gulwani, Ivan Radicek, Florian Zuleger
PLDI | May 2018
Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
Mohammad Raza, Sumit Gulwani
AAAI 2018 | February 2018
Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
6th International Conference on Learning Representations (ICLR) | January 2018
Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
Sumit Gulwani, Prateek Jain
APLAS 2017 | October 2017
Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
arXiv preprint | September 2017, Vol arXiv:1709.05725
Sumit Gulwani, Alex Polozov, Rishabh Singh
Foundations and Trends in Programming Languages
Published by NOW | August 2017, Vol 4
Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
Reudismam Rolim, Gustavo Soares (gsoares), Loris D'Antoni, Alex Polozov, Sumit Gulwani, Rohit Gheyi, Bjoern Hartmann
39th International Conference on Software Engineering (ICSE) | May 2017
Kevin Ellis, Sumit Gulwani
IJCAI 2017 | May 2017
Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
arXiv preprint | March 2017, Vol arXiv:1703.03539
Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
OOPSLA 2016 | November 2016
Xinyu Wang, Sumit Gulwani, Rishabh Singh
OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
ICSE '16, Austin, TX, USA | May 2016
Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
March 2016
Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113
Keynote at SEMS 2016 | January 2016
Tutorial at PLDI 2016 | January 2016
Verification and Synthesis of Correct and Secure Systems | January 2016
Rishabh Singh, Sumit Gulwani
43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
Communications of The ACM | November 2015
Alex Polozov, Sumit Gulwani
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015 | October 2015
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
Dileep Kini, Sumit Gulwani
IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
Invited talk at ECOOP | July 2015
Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
MSR-TR-2015-57 | July 2015
Rishabh Singh, Sumit Gulwani
27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
27th International Conference on Computer Aided Verification (CAV 2015)
Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
MSR-TR-2015-36 | May 2015
Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
IJCAI 2015 | May 2015
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
IJCAI 2015 | May 2015
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Keynote at POPL 2015 | January 2015
Invited talk at SYNT 2015 | January 2015
Keynote at CBSoft 2015 | January 2015
Alex Polozov, Sumit Gulwani
20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
Communications of the ACM | August 2014, Vol 57(8): pp. 70-80
Invited talk at GECCO 2014, Genetic Programming Track | July 2014
GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
Sumit Gulwani, Mark Marron
SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
Invited talk at ASSESS 2014 | January 2014
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Sumit Gulwani, Rishabh Singh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
Publication Publication Publication Publication Project Project
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
PLDI'13, June 16-19, 2013, Seattle, WA, USA | June 2013
Distinguished Paper Award
Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
ISBN: 978-1-4673-3076-3
April 2013
Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
Best Paper Award & CACM Highlight Nomination
Sumit Gulwani, Jonathan "Peli" de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
Rishabh Singh, Sumit Gulwani
PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
Rishabh Singh, Sumit Gulwani
24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
PLDI'12, June 11-16, 2012, Beijing, China | June 2012
Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
Sumit Gulwani, William R. Harris, Rishabh Singh
January 2012
Invited to CACM Research Highlights
Bill Harris, Sumit Gulwani
PLDI 2011 | June 2011
Sumit Gulwani, Florian Zuleger
PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
Sumit Gulwani, Sudeep Juvekar
MSR-TR-2009-156 | October 2009
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
Sumit Gulwani, Sagar Jain, Eric Koskinen
PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
MSR-TR-2007-111 | August 2007
Sumit Gulwani, Ashish Tiwari
CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
ISBN: 978-3-540-73367-6
Sumit Gulwani, Ashish Tiwari
ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
ISBN: 978-3-540-71314-2
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-160 | November 2006
Sumit Gulwani, Asish Tiwari
MSR-TR-2006-99 | July 2006
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-25 | March 2006
September 2005
PhD Thesis: PhD Dissertation, University of California, Berkeley | September 2005
ACM SIGPLAN Doctoral Dissertation Award
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
September 2025
Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
Sumit Gulwani, Mark Marron
SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
ACM Transactions on Computer-Human Interaction | September 2025, Vol abs/2502.09787
Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
NAACL 2025 | April 2025
Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
NAACL 2025 | April 2025
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
Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
Findings of EMNLP 2024 | September 2024
Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
EMNLP 2024 | September 2024
Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
Preprint | December 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
Preprint | August 2023
Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
49th International Conference on Very Large Data Bases - Demo Track | August 2023
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
SIGMOD | June 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
49th International Conference on Very Large Data Bases | May 2023
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
International Conference on Pattern Recognition | October 2020
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020 International Conference on Management of Data | June 2020
Mohammad Raza, Sumit Gulwani
SIGMOD (Special Interest Group on Management of Data) | June 2020
Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLIne, Sumit Gulwani
ACM CHI Conference on Human Factors in Computing Systems | April 2020
Best Paper Award
Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
arXiv preprint | September 2017, Vol arXiv:1709.05725
Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
Eleanor O’Rourke, Erik Andersen, Sumit Gulwani, Zoran Popović
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
ISBN: 0-262-51129-0
Alex Polozov, Sumit Gulwani
20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
MSR-TR-2008-158 | October 2008
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
Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
arXiv preprint | March 2017, Vol arXiv:1703.03539
Xinyu Wang, Sumit Gulwani, Rishabh Singh
OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
Invited talk at IJCAR 2016 | June 2016
Lecture at UC-Berkeley | November 2015
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
ISBN: 0-262-51129-0
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Sumit Gulwani, Ivan Radiček, Florian Zuleger
SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
2014 Programming Language Design and Implementation | June 2014
DOI PDF PDF Publication Publication Publication Publication Video Video Project Project Project Project Project
Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
April 2013
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
Cummunications of the ACM, Research Highlights | August 2012
February 2012, Vol 10(2)
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara Navidpour
ESEC/FSE'11, September 5-9, 2011, Szeged, Hungary | September 2011
Distinguished Paper Award, Invited to CACM Research Highlights
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
Most Influential POPL Paper Award
Publication Publication Publication Video Video Video Project Project
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
PPDP '10 Hagenberg, Austria | January 2010
Oregon Summer School | July 2009
Publication Publication Publication Publication Video Video Video Project
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Publication Publication Publication Publication Project Project
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Bhargav S. Gulavani, Sumit Gulwani
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Madan Musuvathi
ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
ISBN: 3-540-78738-0 978-3-540-78738-9
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
Sumit Gulwani, Ashish Tiwari
CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
ISBN: 978-3-540-73367-6
Sumit Gulwani, Nebojsa Jojic
POPL'07 January 17-19, 2007, Nice, France. | January 2007
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-01 | January 2006
European Symposium on Programming 2006
Sumit Gulwani, George C. Necula
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131
Sumit Gulwani, Ashish Tiwari, George C. Necula
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
Sumit Gulwani, George C. Necula
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
Sumit Gulwani, George C. Necula
Static Analysis Symposium (SAS), 2004 | January 2004
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
MSR-TR-2009-146 | October 2009
Sumit Gulwani, Ramarathnam Venkatesan
MSR-TR-2010-12 | April 2009
Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller
Computer Communications | January 2000
Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
SIGMOD Companion '26: Companion of the International Conference on Management of Data | May 2026
Mukul Singh, Hosein Hasanbeig, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
NeurIPS DL4Code 2025 | December 2025
Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares
IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson Murphy-Hill
IEEE/ACM International Conference on Automated Software Engineering, ASE | October 2025
Litao Yan, Andrew Head, K. Milne, Vu Le, Sumit Gulwani, Chris Parnin, Emerson Murphy-Hill
CHI 2026 | September 2025
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
Empirical Methods in Natural Language Processing (EMNLP) 2025 - Industry Track | September 2025
Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
NAACL 2025 | April 2025
Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
NAACL 2025 | April 2025
Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
ICLR 2025 | April 2025
Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
EMNLP'24 | October 2024
Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
Findings of EMNLP 2024 | September 2024
Avik Dutta, Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
EMNLP 2024 | September 2024
Mukul Singh, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '24: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management | August 2024
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
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
Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
LLM4Code Workshop at ICSE '24 | April 2024
Best Paper
Tung Phung, Victor-Alexandru Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
International Learning Analytics and Knowledge Conference | March 2024
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
Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
AAAI | February 2024
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) | January 2024
Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani
Technical Symposium on Computer Science Education | January 2024
Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
Table Representation Learning Workshop at NeurIPS 2023 | December 2023
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
Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
Findings of EMNLP 2023 | November 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen, Carina Negreanu
EMNLP 2023 | November 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
50th International Conference on Very Large Data Bases (VLDB 24) | October 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
CIKM '23: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management | October 2023
Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
Conference on International Computing Education Research | September 2023
Mukul Singh, José Cambronero, Carina Negreanu, Sumit Gulwani, Gust Verbruggen
49th International Conference on Very Large Data Bases - Demo Track | August 2023
Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adisha Singla, Gustavo Soares
International Conference on Educational Data Mining | July 2023
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
SIGMOD | June 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
49th International Conference on Very Large Data Bases | May 2023
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
Principles of Programming Languages | January 2023
Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
International Conference on Software Engineering (ICSE) 2023 - Industry Track | December 2022
Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
OOPSLA | December 2022
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
FSE | November 2022
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
August 2022
Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Chris Meek, Sumit Gulwani
ICLR 2022 | April 2022
Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik
UIST 2021 | October 2021
Gust Verbruggen, Vu Le, Sumit Gulwani
OOPSLA | October 2021
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
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
OOPSLA | September 2021
Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021
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
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
International Conference on Pattern Recognition | October 2020
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020 International Conference on Management of Data | June 2020
Mohammad Raza, Sumit Gulwani
SIGMOD (Special Interest Group on Management of Data) | June 2020
Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLIne, Sumit Gulwani
ACM CHI Conference on Human Factors in Computing Systems | April 2020
Best Paper Award
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
Nagarajan Natarajan, Danny Simmons, Naren Datha (narend), Prateek Jain, Sumit Gulwani
AIStats | January 2019
Saswat Padhi, Daniel Perelman, Prateek Jain, Alex Polozov, Sumit Gulwani, Todd Millstein
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH - OOPSLA) | November 2018
Sumit Gulwani, Ivan Radicek, Florian Zuleger
PLDI | May 2018
Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
Mohammad Raza, Sumit Gulwani
AAAI 2018 | February 2018
Ashwin Kalyan, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
6th International Conference on Learning Representations (ICLR) | January 2018
Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
Sumit Gulwani, Prateek Jain
APLAS 2017 | October 2017
Reudismam Rolim, Gustavo Soares (gsoares), Loris D'Antoni, Alex Polozov, Sumit Gulwani, Rohit Gheyi, Bjoern Hartmann
39th International Conference on Software Engineering (ICSE) | May 2017
Kevin Ellis, Sumit Gulwani
IJCAI 2017 | May 2017
Mohammad Raza, Sumit Gulwani
AAAI 2017 | February 2017
Shaon Barman, Sarah Chasins, Ras Bodik, Sumit Gulwani
OOPSLA 2016 | November 2016
Xinyu Wang, Sumit Gulwani, Rishabh Singh
OOPSLA'16 October 25-30, 2016, The Netherlands | October 2016
Invited talk at IJCAR 2016 | June 2016
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
ICSE '16, Austin, TX, USA | May 2016
Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
ICSE '16 Proceedings of the 38th International Conference on Software Engineering | May 2016
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
March 2016
Keynote at SEMS 2016 | January 2016
Tutorial at PLDI 2016 | January 2016
Verification and Synthesis of Correct and Secure Systems | January 2016
Rishabh Singh, Sumit Gulwani
43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
Mikaël Mayer, Gustavo Soares (gsoares), Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
ACM Symposium on User Interface Software and Technology (UIST) 2015 | November 2015
Lecture at UC-Berkeley | November 2015
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Ben Zorn
Communications of The ACM | November 2015
Alex Polozov, Sumit Gulwani
ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2015 | October 2015
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Talks at Dagstuhl seminar on Approaches and Applications of Inductive Programming, Oct 2015 | October 2015
Lectures at Marktoberdorf Summer School, Aug 2015 | August 2015
Alex Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
24th International Joint Conference on Artificial Intelligence (IJCAI) | July 2015
Dileep Kini, Sumit Gulwani
IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence | July 2015
Invited talk at ECOOP | July 2015
Rishabh Singh, Sumit Gulwani
27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
27th International Conference on Computer Aided Verification (CAV 2015)
Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
IJCAI 2015 | May 2015
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
IJCAI 2015 | May 2015
Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popović
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
Eleanor O’Rourke, Erik Andersen, Sumit Gulwani, Zoran Popović
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, Seoul, Republic of Korea | April 2015
Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani
CHI 2015 Conference on Human Factors in Information Systems | April 2015
CHI 2015 Conference on Human Factors in Information Systems
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence | January 2015
ISBN: 0-262-51129-0
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Keynote at POPL 2015 | January 2015
Invited talk at SYNT 2015 | January 2015
Keynote at CBSoft 2015 | January 2015
Sumit Gulwani, Ivan Radiček, Florian Zuleger
SIGSOFT/FSE'14, November 16 - 22 2014, Hong Kong, China | November 2014
Alex Polozov, Sumit Gulwani
20th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) | August 2014
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
Invited talk at GECCO 2014, Genetic Programming Track | July 2014
GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
2014 Programming Language Design and Implementation | June 2014
DOI PDF PDF Publication Publication Publication Publication Video Video Project Project Project Project Project
Sumit Gulwani, Mark Marron
SIGMOD '14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
IUI'14, February 24 - 27 2014, Haifa, Israel | February 2014
Invited talk at ASSESS 2014 | January 2014
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings | December 2013
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Sumit Gulwani, Rishabh Singh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
Publication Publication Publication Publication Project Project
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
PLDI'13, June 16-19, 2013, Seattle, WA, USA | June 2013
Distinguished Paper Award
Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
ICSE '13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
ISBN: 978-1-4673-3076-3
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
April 2013
Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
Best Paper Award & CACM Highlight Nomination
Sumit Gulwani, Jonathan "Peli" de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
Cummunications of the ACM, Research Highlights | August 2012
Rishabh Singh, Sumit Gulwani
PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
Rishabh Singh, Sumit Gulwani
24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
PLDI'12, June 11-16, 2012, Beijing, China | June 2012
Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Sumit Gulwani, William R. Harris, Rishabh Singh
January 2012
Invited to CACM Research Highlights
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
18th International Static Analysis Symposium, SAS 2011, Venice, Italy, September 14-16, 2011 | September 2011
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara Navidpour
ESEC/FSE'11, September 5-9, 2011, Szeged, Hungary | September 2011
Distinguished Paper Award, Invited to CACM Research Highlights
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Bill Harris, Sumit Gulwani
PLDI 2011 | June 2011
PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
Most Influential POPL Paper Award
Publication Publication Publication Video Video Video Project Project
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
Sumit Gulwani, Florian Zuleger
PLDI'10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
PPDP '10 Hagenberg, Austria | January 2010
Oregon Summer School | July 2009
Publication Publication Publication Publication Video Video Video Project
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 | June 2009
Saurabh Srivastava, Sumit Gulwani
PLDI'09, June 15-20, 2009, Dublin, Ireland | June 2009
Sumit Gulwani, Sagar Jain, Eric Koskinen
PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2009
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
POPL'09, January 18-24, 2009, Savannah, Georgia, USA | January 2009
Sumit Gulwani, Krishna Mehra, Trishul Chilimbi
Principles of Programming Languages (POPL) | January 2009
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Publication Publication Publication Publication Project Project
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Bhargav S. Gulavani, Sumit Gulwani
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
PLDI'08, June 7-13, 2008, Tucson, Arizona, USA | June 2008
Sumit Gulwani, Madan Musuvathi
ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
ISBN: 3-540-78738-0 978-3-540-78738-9
Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
POPL'08, January 7-12, 2008, San Francisco, California, USA | January 2008
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
Sumit Gulwani, Ashish Tiwari
Computer Aided Verification (CAV) | January 2008
Sumit Gulwani, Ashish Tiwari
CAV'07 Proceedings of the 19th International Conference on Computer Aided Verification | July 2007
ISBN: 978-3-540-73367-6
Sumit Gulwani, Ashish Tiwari
ESOP'07 Proceedings of the 16th European Symposium on Programming | March 2007
ISBN: 978-3-540-71314-2
Sumit Gulwani, Nebojsa Jojic
POPL'07 January 17-19, 2007, Nice, France. | January 2007
Sumit Gulwani, Ashish Tiwari
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005
Sumit Gulwani, Ashish Tiwari, George C. Necula
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science | December 2004
Sumit Gulwani, George C. Necula
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 | August 2004
Sumit Gulwani, George C. Necula
Proceedings of the Principles of Programming Languages (POPL), 2004 | January 2004
Sumit Gulwani, George C. Necula
Static Analysis Symposium (SAS), 2004 | January 2004
Sumit Gulwani, George C. Necula
POPL'03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003
Sadra Sabouri, Zeinabsadat Saghi, Run Huang, Sujay Maladi, Esmeralda Eufracio, Sumit Gulwani, Souti Chattopadhyay
April 2026
Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
September 2025
Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
May 2023
Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
September 2022
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani
ArXiv | October 2025, Vol abs/2510.05457
Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani
ArXiv | October 2025
Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson Murphy-Hill, Gustavo Soares
ACM Transactions on Computer-Human Interaction | September 2025, Vol abs/2502.09787
Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani
ArXiv | August 2025, Vol abs/2508.11110
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
38th Annual AAAI Conference on Artificial Intelligence - Demo Track | March 2024, pp. 23835-23837
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
Preprint | December 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
Preprint | August 2023
Titus Barik, Sumit Gulwani, Mario Juarez
March 2022
Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
Proceedings of the 2021 International Conference on Management of Data | June 2021
Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Milstein
arXiv preprint | September 2017, Vol arXiv:1709.05725
Research for Practice, CACM | July 2017, Vol 60: pp. 46-49
Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza (moraza), Abhishek Udupa, Sumit Gulwani
arXiv preprint | March 2017, Vol arXiv:1703.03539
Communications of the ACM, Technical Perspective | February 2016, Vol 59(2): pp. 113
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
ACM Transactions on Computer-Human Interaction (TOCHI) - Special Issue on Online Learning at Scale | April 2015, Vol 22(2)
Communications of the ACM | August 2014, Vol 57(8): pp. 70-80
Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
Sumit Gulwani, George C. Necula
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131
Mukul Singh, Ananya Singha, Aishni Parab, Pronita Mehrotra, Sumit Gulwani
November 2025
Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
November 2025
Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
September 2025
Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, A. Singla, Christopher Brooks
September 2025
Sumit Gulwani, Arjun Radhakrishna
May 2022
March 2022
Max Planck-Humboldt Medal 2021
February 2012, Vol 10(2)
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
Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
MSR-TR-2015-57 | July 2015
Yi Wei, Nirupama Chandrasekaran, Sumit Gulwani, Youssef Hamadi
MSR-TR-2015-36 | May 2015
MSR-TR-2009-146 | October 2009
Sumit Gulwani, Sudeep Juvekar
MSR-TR-2009-156 | October 2009
Sumit Gulwani, Ramarathnam Venkatesan
MSR-TR-2010-12 | April 2009
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
MSR-TR-2008-158 | October 2008
Sigmund Cherem, Trishul Chilimbi, Sumit Gulwani
MSR-TR-2007-111 | August 2007
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-160 | November 2006
Sumit Gulwani, Asish Tiwari
MSR-TR-2006-99 | July 2006
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-25 | March 2006
Sumit Gulwani, Ashish Tiwari
MSR-TR-2006-01 | January 2006
European Symposium on Programming 2006
Harshit Joshi, José Cambronero, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
February 2023
Published by: AAAI | February 2023
Sumit Gulwani, Prateek Jain
Dependable Software Systems Engineering | Published by IOS Press | 2019
Sumit Gulwani, Alex Polozov, Rishabh Singh
Foundations and Trends in Programming Languages
Published by NOW | August 2017, Vol 4
September 2005
PhD Thesis: PhD Dissertation, University of California, Berkeley | September 2005
ACM SIGPLAN Doctoral Dissertation Award