Sumit Gulwani

发表

Sumit Gulwani, Nagarajan Natarajan, Danny Simmons, 2019, AISTATS.
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, 2017, Software Systems Safety.
Sumit Gulwani, Ashish Tiwari, Susmit Jha, 2011, PLDI '11.
Sumit Gulwani, Zhendong Su, Vu Le, 2013, MobiSys '13.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2005 .
Sumit Gulwani, Krishnendu Chatterjee, Umair Z. Ahmed, 2014, AAAI.
Sumit Gulwani, Oleksandr Polozov, Sumit Gulwani, 2014, KDD.
Sumit Gulwani, Rajeev Alur, Björn Hartmann, 2015, ACM Trans. Comput. Hum. Interact..
Ruzica Piskac, Sumit Gulwani, Mikaël Mayer, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, 2015, UIST.
Sumit Gulwani, Sumit Gulwani, 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, 2015, IJCAI.
Sumit Gulwani, Joseph J. LaViola, Sarah Buchanan, 2014, IUI.
Sumit Gulwani, George C. Necula, 2004, POPL '04.
Sumit Gulwani, Ramarathnam Venkatesan, Saurabh Srivastava, 2008, PLDI '08.
Sumit Gulwani, Ashish Tiwari, Ankur Taly, 2009, VMCAI.
Sumit Gulwani, Prateek Jain, Prateek Jain, 2017, APLAS.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2014, AAAI.
Sumit Gulwani, Aditya Kanade, Anirudh Santhiar, 2016, SIGSOFT FSE.
Sumit Gulwani, Pawan Kumar, Amey Karkare, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET).
Sumit Gulwani, Rohit Singh, Sriram K. Rajamani, 2012, AAAI.
Sumit Gulwani, Rajeev Alur, Loris D'Antoni, 2013, IJCAI.
Sumit Gulwani, Swarat Chaudhuri, Roberto Lublinerman, 2011, ESEC/FSE '11.
Sumit Gulwani, Rishabh Singh, Sumit Gulwani, 2016, POPL.
Sumit Gulwani, Ashish Tiwari, Ankur Taly, 2010, International Journal on Software Tools for Technology Transfer.
Sumit Gulwani, Viktor Kuncak, Ravichandhran Madhavan, 2015 .
Sumit Gulwani, Björn Hartmann, Loris D'Antoni, 2016, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Sumit Gulwani, Abhishek Udupa, Ashish Tiwari, 2019, Proc. ACM Program. Lang..
Sumit Gulwani, Helmut Veith, Florian Zuleger, 2011, SAS.
Butler W. Lampson, Sumit Gulwani, Adam Tauman Kalai, 2013, ICML.
Sumit Gulwani, Sumit Gulwani, 2014, Software Systems Safety.
Sumit Gulwani, Zhendong Su, Jonathan de Halleux, 2013, MobiSys '13.
Sumit Gulwani, Rastislav Bodík, Sarah E. Chasins, 2015, WWW.
Sumit Gulwani, Florian Zuleger, Ivan Radicek, 2016, PLDI.
Sumit Gulwani, Stephen Muggleton, José Hernández-Orallo, 2015, Commun. ACM.
Sumit Gulwani, Swarat Chaudhuri, Roberto Lublinerman, 2010, POPL '10.
Sumit Gulwani, Jeffrey S. Foster, Saurabh Srivastava, 2010, POPL '10.
Sumit Gulwani, Rishabh Singh, Sumit Gulwani, 2012, Proc. VLDB Endow..
Sumit Gulwani, Mohammad Raza, Sumit Gulwani, 2017, AAAI.
Sumit Gulwani, Dan Grossman, Daniel Perelman, 2014, PLDI.
Sumit Gulwani, Ashish Tiwari, Shraddha Barke, 2020, Proc. ACM Program. Lang..
Sumit Gulwani, Youssef Hamadi, Yi Wei, 2015 .
Sumit Gulwani, Florian Zuleger, Ivan Radicek, 2014, SIGSOFT FSE.
Sumit Gulwani, Zoran Popović, Erik Andersen, 2014 .
Sumit Gulwani, Trishul M. Chilimbi, Krishna K. Mehra, 2009, POPL '09.
Sumit Gulwani, Deepak Gupta, Charles Consel, 2001, Comput. Commun..
Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster, 2011, PLDI '11.
Sumit Gulwani, Natasa Milic-Frayling, Darren Edge, 2015, CHI.
Sumit Gulwani, Ashish Tiwari, Susmit Jha, 2010 .
Sumit Gulwani, 2016 .
Sumit Gulwani, Sumit Gulwani, G. Fletcher, 2010, Formal Methods in Computer Aided Design.
Sumit Gulwani, George C. Necula, 2005, POPL '05.
Sumit Gulwani, Sumit Gulwani, 2012 .
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2017, FLAIRS Conference.
Sumit Gulwani, Krishnendu Chatterjee, Umair Z. Ahmed, 2013 .
Sumit Gulwani, Rishabh Singh, Sumit Gulwani, 2015, CAV.
Neil Immerman, Sumit Gulwani, Shmuel Sagiv, 2010, OOPSLA.
Sumit Gulwani, Ashish Tiwari, Bill McCloskey, 2008, POPL '08.
Sumit Gulwani, Rishabh Singh, Sumit Gulwani, 2012, CAV.
Neil Immerman, Sumit Gulwani, Shmuel Sagiv, 2013, LPAR.
Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2008, CAV.
Sumit Gulwani, Trishul M. Chilimbi, Sigmund Cherem, 2008, PLDI '08.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2004, SAS.
Sumit Gulwani, Todd D. Millstein, Oleksandr Polozov, 2017, ArXiv.
Sumit Gulwani, Todd D. Millstein, Oleksandr Polozov, 2017, Proc. ACM Program. Lang..
Sumit Gulwani, Rishabh Singh, Xinyu Wang, 2016, OOPSLA.
Sumit Gulwani, Nagarajan Natarajan, Johannes Gehrke, 2020, ArXiv.
Sumit Gulwani, Eran Yahav, Rastislav Bodík, 2012, Dagstuhl Reports.
Sumit Gulwani, Oleksandr Polozov, Dhruv Batra, 2018, ICLR.
Sumit Gulwani, Ramarathnam Venkatesan, Saurabh Srivastava, 2008, VMCAI.
Sumit Gulwani, Sumit Gulwani, 2009, CAV.
Sumit Gulwani, Abhishek Udupa, Ashish Tiwari, 2019, ArXiv.
Sumit Gulwani, Rishabh Singh, Armando Solar-Lezama, 2014, Electronic Proceedings in Theoretical Computer Science.
Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, 2014, AAAI.
Sumit Gulwani, Dirk Beyer, David A. Schmidt, 2018, Handbook of Model Checking.
Sumit Gulwani, Dan Grossman, Judith Bishop, 2015 .
Sumit Gulwani, Shmuel Sagiv, Tal Lev-Ami, 2009, POPL '09.
Sumit Gulwani, Gilles Barthe, Juan Manuel Crespo, 2013, PPoPP '13.
Sumit Gulwani, Ashish Tiwari, Alexandra Meliou, 2020, ArXiv.
Sumit Gulwani, Ute Schmid, Emanuel Kitzelmann, 2013, Dagstuhl Reports.
Sumit Gulwani, Youssef Hamadi, Yi Wei, 2015 .
Sumit Gulwani, Ashish Tiwari, Sanjit A. Seshia, 2010, ICCPS '10.
Sumit Gulwani, Nikolai Tillmann, Jonathan de Halleux, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Sumit Gulwani, Anna Fariha, Arjun Radhakrishna, 2020, SIGMOD Conference.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2003, POPL '03.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2003, POPL '03.
Sumit Gulwani, Zoran Popovic, Adam M. Smith, 2015, CHI.
Sumit Gulwani, Madan Musuvathi, 2008, ESOP.
Sumit Gulwani, William R. Harris, Sumit Gulwani, 2011, PLDI '11.
Sumit Gulwani, Mark Marron, Sumit Gulwani, 2014, SIGMOD Conference.
Sumit Gulwani, Shmuel Sagiv, Byron Cook, 2008, CAV.
Sumit Gulwani, Jeffrey S. Foster, Saurabh Srivastava, 2009, CAV.
Sumit Gulwani, Ashish Tiwari, 2007, VMCAI.
Sumit Gulwani, Ashish Tiwari, Sanjit A. Seshia, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2015, ArXiv.
Sumit Gulwani, Ashish Tiwari, Vijay Anand Korthikanti, 2011, PLDI '11.
Sumit Gulwani, Mohammad Raza, Sumit Gulwani, 2020, SIGMOD Conference.
Sumit Gulwani, George C. Necula, 2005, CAV.
Sumit Gulwani, Sumit Gulwani, 2014, CACM.
Sumit Gulwani, Sumit Gulwani, 2017, Encyclopedia of Machine Learning and Data Mining.
Sumit Gulwani, Rishabh Singh, Armando Solar-Lezama, 2012, ArXiv.
Sumit Gulwani, Sriram Sankaranarayanan, Aleksandar Chakarov, 2013, PLDI.
Sumit Gulwani, Eric Koskinen, Sagar Jain, 2009, PLDI '09.
Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, 2020, Proc. ACM Program. Lang..
Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2006, PLDI '06.
Sumit Gulwani, Dileep Kini, Sumit Gulwani, 2015, IJCAI.
Sumit Gulwani, Rastislav Bodík, Sarah E. Chasins, 2016, OOPSLA.
Butler W. Lampson, Sumit Gulwani, Adam Tauman Kalai, 2012, ArXiv.
Sumit Gulwani, Eleanor O'Rourke, Zoran Popovic, 2015, CHI.
Sumit Gulwani, Aws Albarghouthi, Zachary Kincaid, 2013, CAV.
Butler W. Lampson, Sumit Gulwani, Adam Tauman Kalai, 2013, UIST.
Sumit Gulwani, Roberto Lublinerman, 2012 .
Sumit Gulwani, Oleksandr Polozov, Sumit Gulwani, 2015, OOPSLA.
Sumit Gulwani, Viktor Kuncak, Ravichandhran Madhavan, 2015 .
Sumit Gulwani, Zoran Popovic, Erik Andersen, 2013, CHI.
Sumit Gulwani, Sudeep Juvekar, 2009 .
Sumit Gulwani, Eric Koskinen, Sagar Jain, 2010 .
Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2007, ESOP.
Sumit Gulwani, Sriram K. Rajamani, 2012 .
Sumit Gulwani, Kevin Ellis, Sumit Gulwani, 2017, IJCAI.
Sumit Gulwani, Sriram Sankaranarayanan, Aleksandar Chakarov, 2013, PLDI.
Sumit Gulwani, Hongseok Yang, Shmuel Sagiv, 2008, ESOP.
Sumit Gulwani, Peter Bailis, Peter Alvaro, 2017, Commun. ACM.
Sumit Gulwani, Sumit Gulwani, 2016, Dependable Software Systems Engineering.
Sumit Gulwani, Rishabh Singh, Armando Solar-Lezama, 2012, PLDI.
Sumit Gulwani, Armando Solar-Lezama, Rishabh Singh, 2012, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2004, Sci. Comput. Program..
Sumit Gulwani, Luke S. Zettlemoyer, Oleksandr Polozov, 2015, IJCAI.
Sumit Gulwani, Florian Zuleger, Sumit Gulwani, 2010, PLDI '10.
Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2006 .
Sumit Gulwani, Rajeev Alur, Armando Solar-Lezama, 2020, ArXiv.
Sumit Gulwani, William R. Harris, Rishabh Singh, 2012, CACM.
Sumit Gulwani, George C. Necula, Sumit Gulwani, 2004, SAS.
Sumit Gulwani, Viktor Kuncak, Ravichandhran Madhavan, 2015, OOPSLA.
Sumit Gulwani, Jeffrey S. Foster, Saurabh Srivastava, 2013, International Journal on Software Tools for Technology Transfer.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2017, AIED.
Sumit Gulwani, Mengshi Zhang, Daniel Adam Perelman, 2020, 2020 25th International Conference on Pattern Recognition (ICPR).
Sumit Gulwani, Swarat Chaudhuri, Roberto Lublinerman, 2012, CACM.
Sumit Gulwani, Vu Le, Sumit Gulwani, 2014, PLDI.
Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2007, CAV.
Sumit Gulwani, Ramarathnam Venkatesan, R. Venkatesan, 2010 .
Sumit Gulwani, Abhishek Udupa, Oleksandr Polozov, 2017, ArXiv.
Sumit Gulwani, 2011 .
Sumit Gulwani, Amey Karkare, Aditya Desai, 2015, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Nebojsa Jojic, Sumit Gulwani, 2006 .
Sumit Gulwani, Dan Grossman, Thomas Ball, 2012, PLDI.
Sumit Gulwani, Ashish Tiwari, Alexandra Meliou, 2020 .
Sumit Gulwani, Saurabh Srivastava, Sumit Gulwani, 2009, PLDI '09.
Sumit Gulwani, Joseph J. LaViola, Salman Cheema, 2012, CHI.
Nebojsa Jojic, Sumit Gulwani, N. Jojic, 2007, POPL '07.
Sumit Gulwani, Ashish Tiwari, Arjun Radhakrishna, 2020, ArXiv.
Sumit Gulwani, Ji Yong Cho, Zoran Popovic, 2018, CHI.
Sumit Gulwani, Shuvendu K. Lahiri, Nachiappan Nagappan, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Sumit Gulwani, Abhik Roychoudhury, Gustavo Soares, 2021, Proc. ACM Program. Lang..
Sumit Gulwani, Vu Le, Gust Verbruggen, 2021, Proc. ACM Program. Lang..
Sumit Gulwani, Oleksandr Polozov, Vu Le, 2022, ICLR.
Sumit Gulwani, Ashish Tiwari, Alexandra Meliou, 2021, SIGMOD Conference.
Sumit Gulwani, Eric Koskinen, Sagar Jain, 2009, PLDI.
Sumit Gulwani, Benjamin G. Zorn, Daniel W. Barowy, 2015, PLDI.