by Taly, Ankur, Gulwani, Sumit, Tiwari, Ashish
Published in International journal on software tools for technology transfer (01.11.2011)

by Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.
Published in International journal on software tools for technology transfer (01.10.2013)

by Gulwani, Sumit
Published in Automated Reasoning

by Gulwani, Sumit, Jain, Prateek
Published in Programming Languages and Systems

by Verbruggen, Gust, Le, Vu, Gulwani, Sumit
Published in Proceedings of ACM on programming languages (01.10.2021)

by Rolim, Reudismam, Soares, Gustavo, D'Antoni, Loris, Polozov, Oleksandr, Gulwani, Sumit, Gheyi, Rohit, Suzuki, Ryo, Hartmann, Bjorn
Published in 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) (01.05.2017)

by Gulwani, Sumit
Published in Electronic proceedings in theoretical computer science (02.02.2016)

by Miltner, Anders, Gulwani, Sumit, Le, Vu, Leung, Alan, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish, Udupa, Abhishek
Published in Proceedings of ACM on programming languages (01.10.2019)

by Rahmani, Kia, Raza, Mohammad, Gulwani, Sumit, Le, Vu, Morris, Daniel, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (01.10.2021)

by Ahmed, Umair Z., Kumar, Pawan, Karkare, Amey, Kar, Purushottam, Gulwani, Sumit
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) (27.05.2018)

by Cambronero, José, Gulwani, Sumit, Le, Vu, Perelman, Daniel, Radhakrishna, Arjun, Simon, Clint, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (09.01.2023)

by Gupta, Saksham, Verbruggen, Gust, Singh, Mukul, Gulwani, Sumit, Le, Vu
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2023)

by Desai, Aditya, Gulwani, Sumit, Hingorani, Vineet, Jain, Nidhi, Karkare, Amey, Marron, Mark, R., Sailesh, Roy, Subhajit
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)

by Gao, Xiang, Barke, Shraddha, Radhakrishna, Arjun, Soares, Gustavo, Gulwani, Sumit, Leung, Alan, Nagappan, Nachiappan, Tiwari, Ashish
Published in Proceedings of ACM on programming languages (13.11.2020)

by Pan, Rangeet, Le, Vu, Nagappan, Nachiappan, Gulwani, Sumit, Lahiri, Shuvendu, Kaufman, Mike
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)

by Jha, Susmit, Gulwani, Sumit, Seshia, Sanjit A., Tiwari, Ashish
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)

by Singh, Rishabh, Gulwani, Sumit
Published in Computer Aided Verification

by Zhang, Mengshi, Perelman, Daniel, Le, Vu, Gulwani, Sumit
Published in 2020 25th International Conference on Pattern Recognition (ICPR) (10.01.2021)

by Gao, Xiang, Radhakrishna, Arjun, Soares, Gustavo, Shariffdeen, Ridwan, Gulwani, Sumit, Roychoudhury, Abhik
Published in Proceedings of ACM on programming languages (01.10.2021)

by Singh, Rishabh, Gulwani, Sumit
Published in Computer Aided Verification