Sumit Gulwani - RankMe

257 papers A* 75A 20B 13C 3Misc 2Journal 104Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Empirical Investigation of Robustness in Large Language Models under Tabular Distortions. CoRR Avik Dutta, Harshit Nigam, Hosein Hasanbeig, Arjun Radhakrishna, Sumit Gulwani
2026	—	`conf`	Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting Student Help-Seeking in Programming Education. SIGCSE (1) Tung Phung, Heeryung Choi, Mengyan Wu, Christopher Brooks, Sumit Gulwani, Adish Singla
2026	A*	`conf`	The Invisible Mentor: Inferring User Actions from Screen Recordings to Recommend Better Workflows. CHI Litao Yan, Andrew Head, Ken Milne, Vu Le, Sumit Gulwani, Chris Parnin, Emerson R. Murphy-Hill
2025	—	`conf`	An empirical study of validating synthetic data for formula generation. NAACL (Findings) Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
2025	J	`jnl`	Analysis of Error Sources in LLM-based Hypothesis Search for Few-Shot Rule Induction. CoRR Aishni Parab, Hongjing Lu, Ying Nian Wu, Sumit Gulwani
2025	J	`jnl`	Bridging Gaps Between Student and Expert Evaluations of AI-Generated Programming Hints. CoRR Tung Phung, Mengyan Wu, Heeryung Choi, Gustavo Soares, Sumit Gulwani, Adish Singla, Christopher Brooks
2025	A	`conf`	Building Your Own Product Copilot: Challenges, Opportunities, and Needs. SANER Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley
2025	—	`conf`	Challenges in Using Conversational AI for Data Science. HILDA@SIGMOD Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley
2025	J	`jnl`	Closing the Loop: An Instructor-in-the-Loop AI Assistance System for Supporting Student Help-Seeking in Programming Education. CoRR Tung Phung, Heeryung Choi, Mengyan Wu, Christopher Brooks, Sumit Gulwani, Adish Singla
2025	J	`jnl`	Collaboration and Conflict between Humans and Language Models through the Lens of Game Theory. CoRR Mukul Singh, Arjun Radhakrishna, Sumit Gulwani
2025	J	`jnl`	ConDABench: Interactive Evaluation of Language Models for Data Analysis. CoRR Avik Dutta, Priyanshu Gupta, Hosein Hasanbeig, Rahul Pratap Singh, Harshit Nigam, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2025	J	`jnl`	DataVinci: Learning Syntactic and Semantic String Repairs. Proc. ACM Manag. Data Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Arjun Radhakrishna, Gust Verbruggen
2025	J	`jnl`	Diffusion is a code repair operator and generator. CoRR Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani
2025	J	`jnl`	Do Code Models Suffer from the Dunning-Kruger Effect? CoRR Mukul Singh, Somya Chatterjee, Arjun Radhakrishna, Sumit Gulwani
2025	A*	`conf`	Execution-guided within-prompt search for programming-by-example. ICLR Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani
2025	J	`jnl`	Exploration vs. Fixation: Scaffolding Divergent and Convergent Thinking for Human-AI Co-Creation with Generative Models. CoRR Chao Wen, Tung Phung, Pronita Mehrotra, Sumit Gulwani, Tomohiro Nagashima, Adish Singla
2025	J	`jnl`	Improving Language Agents through BREW. CoRR Shashank Kirtania, Param Biyani, Priyanshu Gupta, Yasharth Bajpai, Roshni Iyer, Sumit Gulwani, Gustavo Soares
2025	J	`jnl`	IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch. CoRR Param Biyani, Shashank Kirtania, Yasharth Bajpai, Sumit Gulwani, Ashish Tiwari
2025	J	`jnl`	LLM-Guided Compositional Program Synthesis. CoRR Ruhma Khan, Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen
2025	—	`conf`	STACKFEED: Structured Textual Actor-Critic Knowledge base editing with FEEDback. EMNLP (Industry Track) Shashank Kirtania, Naman Gupta, Priyanshu Gupta, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy Iyengar, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
2025	—	`conf`	SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks. AIware Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson R. Murphy-Hill, Gustavo Soares
2025	J	`jnl`	SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks. CoRR Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson R. Murphy-Hill, Gustavo Soares
2025	J	`jnl`	Scaling Competence, Shrinking Reasoning: Cognitive Signatures in Language Model Learning. CoRR Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani
2025	J	`jnl`	Sharp Tools: How Developers Wield Agentic AI in Real Software Engineering Tasks. CoRR Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson R. Murphy-Hill
2025	J	`jnl`	TEN: Table Explicitization, Neurosymbolically. CoRR Nikita Mehrotra, Aayush Kumar, Sumit Gulwani, Arjun Radhakrishna, Ashish Tiwari
2025	J	`jnl`	TableTalk: Scaffolding Spreadsheet Development with a Language Agent. CoRR Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares
2025	J	`jnl`	TableTalk: Scaffolding Spreadsheet Development with a Language Agent. ACM Trans. Comput. Hum. Interact. Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares
2025	J	`jnl`	Tabularis Formatus: Predictive Formatting for Tables. CoRR Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
2025	—	`conf`	TeCoFeS: Text Column Featurization using Semantic Analysis. NAACL (Findings) Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin
2025	J	`jnl`	The Invisible Mentor: Inferring User Actions from Screen Recordings to Recommend Better Workflows. CoRR Litao Yan, Andrew Head, Ken Milne, Vu Le, Sumit Gulwani, Chris Parnin, Emerson R. Murphy-Hill
2025	J	`jnl`	Training Emergent Joint Associations: A Reinforcement Learning Approach to Creative Thinking in Language Models. CoRR Mukul Singh, Ananya Singha, Aishni Parab, Pronita Mehrotra, Sumit Gulwani
2025	A*	`conf`	Why AI Agents Still Need You: Findings from Developer-Agent Collaborations in the Wild. ASE Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Gustavo Soares, Emerson R. Murphy-Hill
2024	J	`jnl`	An Empirical Study of Validating Synthetic Data for Formula Generation. CoRR Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen
2024	A	`conf`	Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. LAK Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
2024	A*	`conf`	EmFORE: Learning Email Folder Classification Rules by Demonstration. AAAI Mukul Singh, Gust Verbruggen, José Cambronero, Vu Le, Sumit Gulwani
2024	J	`jnl`	Enhancing Creativity in Large Language Models through Associative Thinking Strategies. CoRR Pronita Mehrotra, Aishni Parab, Sumit Gulwani
2024	J	`jnl`	Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants. CoRR Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani
2024	A*	`conf`	FLAME: A Small Language Model for Spreadsheet Formulas. AAAI Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
2024	J	`jnl`	Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. CoRR Paul Denny, Sumit Gulwani, Neil T. Heffernan, Tanja Käser, Steven Moore, Anna N. Rafferty, Adish Singla
2024	—	`conf`	Investigating Student Mistakes in Introductory Data Science Programming. SIGCSE (1) Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani
2024	B	`conf`	Let's Fix this Together: Conversational Debugging with GitHub Copilot. VL/HCC Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Dustin Coleman, Sumit Gulwani, Chris Parnin, Arjun Radhakrishna, Gustavo Soares
2024	J	`jnl`	METAREFLECTION: Learning Instructions for Language Agents using Past Reflections. CoRR Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares
2024	A*	`conf`	MetaReflection: Learning Instructions for Language Agents using Past Reflections. EMNLP Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi
2024	—	`conf`	One-to-many testing for code generation from (just) natural language. EMNLP (Findings) Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
2024	J	`jnl`	PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. Proc. ACM Program. Lang. Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
2024	A*	`conf`	RAR: Retrieval-augmented retrieval for code generation in low resource languages. EMNLP Avik Dutta, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le
2024	—	`conf`	RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. AIware Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani
2024	J	`jnl`	STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. CoRR Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares
2024	—	`conf`	Semantically Aligned Question and Code Generation for Automated Insight Generation. LLM4CODE@ICSE Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
2024	J	`jnl`	Semantically Aligned Question and Code Generation for Automated Insight Generation. CoRR Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen
2023	J	`jnl`	Assessing GPT4-V on Structured Reasoning Tasks. CoRR Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
2023	J	`jnl`	Augmented Embeddings for Custom Retrievals. CoRR Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari
2023	J	`jnl`	Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. CoRR Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares
2023	J	`jnl`	Building Your Own Product Copilot: Challenges, Opportunities, and Needs. CoRR Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley
2023	J	`jnl`	CORNET: Learning Spreadsheet Formatting Rules By Example. Proc. VLDB Endow. Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
2023	J	`jnl`	CORNET: Learning Table Formatting Rules By Example. Proc. VLDB Endow. Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
2023	—	`conf`	CoWrangler: Recommender System for Data-Wrangling Scripts. SIGMOD Conference Companion Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
2023	A*	`conf`	CodeFusion: A Pre-trained Diffusion Model for Code Generation. EMNLP Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
2023	J	`jnl`	Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. CoRR Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley
2023	J	`jnl`	DataVinci: Learning Syntactic and Semantic String Repairs. CoRR Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
2023	J	`jnl`	Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example. CoRR Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen
2023	A	`conf`	EmFore: Online Learning of Email Folder Classification Rules. CIKM Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen
2023	J	`jnl`	FLAME: A small language model for spreadsheet formulas. CoRR Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen
2023	J	`jnl`	FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
2023	J	`jnl`	FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language. Proc. VLDB Endow. Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
2023	J	`jnl`	From Words to Code: Harnessing Data for Program Synthesis from Natural Language. CoRR Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, K. Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
2023	B	`conf`	Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. EDM Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	J	`jnl`	Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. CoRR Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	—	`conf`	Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. ICER (2) Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	J	`jnl`	Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. CoRR Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	J	`jnl`	GrACE: Generation using Associated Code Edits. CoRR Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023	—	`conf`	Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2023	—	`conf`	Personalized action suggestions in low-code automation platforms. ICSE Companion Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
2023	J	`jnl`	Personalized action suggestions in low-code automation platforms. CoRR Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le
2023	A*	`conf`	Repair Is Nearly Generation: Multilingual Program Repair with LLMs. AAAI Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek
2023	J	`jnl`	TST CoRR Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen
2023	—	`conf`	TSTR: Target Similarity Tuning Meets the Real World. EMNLP (Findings) Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Mukul Singh, Ananya Singha, Gust Verbruggen
2023	J	`jnl`	Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs. CoRR Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin
2023	—	`conf`	Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. ICSE-SEIP Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim
2022	—	`conf`	AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote). ESEC/SIGSOFT FSE Sumit Gulwani
2022	J	`jnl`	CORNET: A neurosymbolic approach to learning conditional table formatting rules by example. CoRR Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
2022	—	`conf`	NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
2022	J	`jnl`	Neurosymbolic Repair for Low-Code Formula Languages. CoRR Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
2022	J	`jnl`	Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari
2022	J	`jnl`	Overwatch: Learning Patterns in Code Edit Sequences. CoRR Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022	J	`jnl`	Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022	J	`jnl`	Repair Is Nearly Generation: Multilingual Program Repair with LLMs. CoRR Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen
2022	J	`jnl`	Repairing Bugs in Python Assignments Using Large Language Models. CoRR Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen
2022	J	`jnl`	Storytelling and science. Commun. ACM Titus Barik, Sumit Gulwani, Mario Juarez
2022	A*	`conf`	Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
2022	J	`jnl`	Synchromesh: Reliable code generation from pre-trained language models. CoRR Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
2021	J	`jnl`	APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury
2021	A*	`conf`	Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. ICSE Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
2021	J	`jnl`	Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. CoRR Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
2021	—	`conf`	CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani
2021	—	`conf`	Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
2021	J	`jnl`	Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2021	J	`jnl`	Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2021	J	`jnl`	Semantic programming by example with pre-trained models. Proc. ACM Program. Lang. Gust Verbruggen, Vu Le, Sumit Gulwani
2021	A*	`conf`	reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. UIST Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik
2020	B	`conf`	An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. ICPR Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
2020	J	`jnl`	Computer-Aided Personalized Education. CoRR Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi
2020	J	`jnl`	Data Invariants: On Trust in Data-Driven Systems. CoRR Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou
2020	—	`conf`	ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani
2020	J	`jnl`	Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari
2020	J	`jnl`	Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman
2020	J	`jnl`	Programming by Rewards. CoRR Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke
2020	J	`jnl`	Structure interpretation of text formats. Proc. ACM Program. Lang. Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
2020	—	`conf`	Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. SIGMOD Conference Mohammad Raza, Sumit Gulwani
2020	A*	`conf`	Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists. CHI Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLine, Sumit Gulwani
2019	A	`conf`	Learning Natural Programs from a Few Examples in Real-Time. AISTATS Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain, Sumit Gulwani
2019	J	`jnl`	On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa
2019	J	`jnl`	Quantitative Programming by Examples. CoRR Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa
2018	A*	`conf`	Automated clustering and program repair for introductory programming assignments. PLDI Sumit Gulwani, Ivan Radicek, Florian Zuleger
2018	A*	`conf`	Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. CHI Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
2018	—	`ch.`	Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking Dirk Beyer, Sumit Gulwani, David A. Schmidt
2018	—	`conf`	Compilation error repair: for the student programs, from the student programs. ICSE (SEET) Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
2018	A*	`conf`	Disjunctive Program Synthesis: A Robust Approach to Programming by Example. AAAI Mohammad Raza, Sumit Gulwani
2018	J	`jnl`	FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
2018	—	`conf`	Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. ICLR (Poster) Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
2018	J	`jnl`	Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. CoRR Ashwin J. Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
2017	A*	`conf`	Automated Data Extraction Using Predictive Program Synthesis. AAAI Mohammad Raza, Sumit Gulwani
2017	J	`jnl`	FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein
2017	J	`jnl`	Interactive Program Synthesis. CoRR Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
2017	A*	`conf`	Learning syntactic program transformations from examples. ICSE Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
2017	A*	`conf`	Learning to Learn Programs from Examples: Going Beyond Program Structure. IJCAI Kevin Ellis, Sumit Gulwani
2017	J	`jnl`	Program Synthesis. Found. Trends Program. Lang. Sumit Gulwani, Oleksandr Polozov, Rishabh Singh
2017	B	`conf`	Programming by Examples: PL Meets ML. APLAS Sumit Gulwani, Prateek Jain
2017	C	`conf`	Programming by examples: applications, algorithms, and ambiguity resolution. PPDP Sumit Gulwani
2017	J	`jnl`	Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. ACM Queue Peter Alvaro, Sumit Gulwani, Peter Bailis
2017	J	`jnl`	Research for practice: tracing and debugging distributed systems; programming by examples. Commun. ACM Peter Bailis, Peter Alvaro, Sumit Gulwani
2017	A	`conf`	Synthesis of Problems for Shaded Area Geometry Reasoning. AIED Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017	Misc	`conf`	Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2016	J	`jnl`	Automated Clustering and Program Repair for Introductory Programming Assignments. CoRR Sumit Gulwani, Ivan Radicek, Florian Zuleger
2016	A	`conf`	FIDEX: filtering spreadsheet data using examples. OOPSLA Xinyu Wang, Sumit Gulwani, Rishabh Singh
2016	C	`conf`	Feedback generation for performance problems in introductory programming assignments. Software Engineering Florian Zuleger, Ivan Radicek, Sumit Gulwani
2016	J	`jnl`	Learning Syntactic Program Transformations from Examples. CoRR Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann
2016	A*	`conf`	Program synthesis using natural language. ICSE Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
2016	—	`ch.`	Programming by Examples - and its applications in Data Wrangling. Dependable Software Systems Engineering Sumit Gulwani
2016	A	`conf`	Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. IJCAR Sumit Gulwani
2016	J	`jnl`	Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani
2016	A	`conf`	Ringer: web automation by demonstration. OOPSLA Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani
2016	J	`jnl`	Semi-Supervised Verified Feedback Generation. CoRR Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
2016	—	`conf`	Semi-supervised verified feedback generation. SIGSOFT FSE Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
2016	J	`jnl`	Technical Perspective: Program synthesis using stochastic techniques. Commun. ACM Sumit Gulwani
2016	A*	`conf`	Transforming spreadsheet data types using examples. POPL Rishabh Singh, Sumit Gulwani
2015	A*	`conf`	A Framework for Automatically Generating Interactive Instructional Scaffolding. CHI Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic
2015	A*	`conf`	Automatic Game Progression Design through Analysis of Solution Features. CHI Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic
2015	A*	`conf`	Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. AAAI Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
2015	J	`jnl`	Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2015	A*	`conf`	Automating Repetitive Tasks for the Masses. POPL Sumit Gulwani
2015	A	`conf`	Automating grammar comparison. OOPSLA Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak
2015	—	`conf`	Browser Record and Replay as a Building Block for End-User Web Automation Tools. WWW (Companion Volume) Sarah E. Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani
2015	A*	`conf`	Compositional Program Synthesis from Natural Language and Examples. IJCAI Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
2015	—	`conf`	Cultivating research taste (illustrated via a journey in program synthesis research). PLMW@POPL Sumit Gulwani
2015	A	`conf`	FlashMeta: a framework for inductive program synthesis. OOPSLA Oleksandr Polozov, Sumit Gulwani
2015	A*	`conf`	FlashNormalize: Programming by Examples for Text Normalization. IJCAI Dileep Kini, Sumit Gulwani
2015	A*	`conf`	FlashRelate: extracting relational data from semi-structured spreadsheets using examples. PLDI Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn
2015	J	`jnl`	How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
2015	J	`jnl`	Inductive programming meets the real world. Commun. ACM Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn
2015	A*	`conf`	Mixed-Initiative Approaches to Global Editing in Slideware. CHI Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani
2015	A*	`conf`	Personalized Mathematical Word Problem Generation. IJCAI Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic
2015	—	`conf`	Predicting a Correct Program in Programming by Example. CAV (1) Rishabh Singh, Sumit Gulwani
2015	J	`jnl`	Program Synthesis using Natural Language. CoRR Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy
2015	—	`conf`	StriSynth: Synthesis for Live Programming. ICSE (2) Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
2015	A*	`conf`	User Interaction Models for Disambiguation in Programming by Example. UIST Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani
2014	A	`conf`	A practical framework for constructing structured drawings. IUI Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.
2014	—	`conf`	Applications of program synthesis to end-user programming and intelligent tutoring systems. GECCO (Companion) Sumit Gulwani
2014	J	`jnl`	Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. CoRR Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani
2014	J	`jnl`	Example-based learning in computer-aided STEM education. Commun. ACM Sumit Gulwani
2014	J	`jnl`	Feedback Generation for Performance Problems in Introductory Programming Assignments. CoRR Sumit Gulwani, Ivan Radicek, Florian Zuleger
2014	—	`conf`	Feedback generation for performance problems in introductory programming assignments. SIGSOFT FSE Sumit Gulwani, Ivan Radicek, Florian Zuleger
2014	A*	`conf`	FlashExtract: a framework for data extraction by examples. PLDI Vu Le, Sumit Gulwani
2014	A*	`conf`	LaSEWeb: automating search strategies over semi-structured web data. KDD Oleksandr Polozov, Sumit Gulwani
2014	—	`conf`	NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. SIGMOD Conference Sumit Gulwani, Mark Marron
2014	—	`ch.`	Program Synthesis. Software Systems Safety Sumit Gulwani
2014	A*	`conf`	Programming by Example Using Least General Generalizations. AAAI Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
2014	A*	`conf`	Synthesis of Geometry Proof Problems. AAAI Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2014	A*	`conf`	Test-driven synthesis. PLDI Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
2013	—	`conf`	A Machine Learning Framework for Programming by Example. ICML (1) Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai
2013	A*	`conf`	A colorful approach to text processing by example. UIST Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai
2013	A*	`conf`	A trace-based framework for analyzing and synthesizing educational progressions. CHI Erik Andersen, Sumit Gulwani, Zoran Popovic
2013	J	`jnl`	Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). Dagstuhl Reports Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid
2013	A*	`conf`	Automated Grading of DFA Constructions. IJCAI Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
2013	A*	`conf`	Automated feedback generation for introductory programming assignments. PLDI Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
2013	A*	`conf`	Automatically Generating Problems and Solutions for Natural Deduction. IJCAI Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
2013	B	`conf`	From relational verification to SIMD loop synthesis. PPoPP Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron
2013	A	`conf`	Keyword programming for TouchDevelop. MobiSys Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su
2013	A*	`conf`	Recursive Program Synthesis. CAV Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
2013	A	`conf`	SmartSynth: synthesizing smartphone automation scripts from natural language. MobiSys Vu Le, Sumit Gulwani, Zhendong Su
2013	B	`conf`	Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. LPAR Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
2013	A*	`conf`	Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. PLDI Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
2013	A*	`conf`	Teaching and learning programming and software engineering via interactive gaming. ICSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
2013	J	`jnl`	Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
2012	J	`jnl`	Automated Semantic Grading of Programs CoRR Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
2012	A*	`conf`	Automatically Generating Algebra Problems. AAAI Rohit Singh, Sumit Gulwani, Sriram K. Rajamani
2012	J	`jnl`	Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) CoRR Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
2012	J	`jnl`	Continuity and robustness of programs. Commun. ACM Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
2012	J	`jnl`	Learning Semantic String Transformations from Examples CoRR Rishabh Singh, Sumit Gulwani
2012	J	`jnl`	Learning Semantic String Transformations from Examples. Proc. VLDB Endow. Rishabh Singh, Sumit Gulwani
2012	A*	`conf`	QuickDraw: improving drawing experience for geometric diagrams. CHI Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
2012	J	`jnl`	Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports Rastislav Bodík, Sumit Gulwani, Eran Yahav
2012	J	`jnl`	Spreadsheet data manipulation using examples. Commun. ACM Sumit Gulwani, William R. Harris, Rishabh Singh
2012	Misc	`conf`	Synthesis from Examples: Interaction Models and Algorithms. SYNASC Sumit Gulwani
2012	A*	`conf`	Synthesizing Number Transformations from Input-Output Examples. CAV Rishabh Singh, Sumit Gulwani
2012	J	`jnl`	Textual Features for Programming by Example CoRR Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai
2012	A*	`conf`	Type-directed completion of partial expressions. PLDI Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
2011	A*	`conf`	Automating string processing in spreadsheets using input-output examples. POPL Sumit Gulwani
2011	B	`conf`	Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
2011	A*	`conf`	Path-based inductive synthesis for program inversion. PLDI Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
2011	—	`conf`	Proving programs robust. SIGSOFT FSE Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour
2011	A*	`conf`	Spreadsheet table transformations from examples. PLDI William R. Harris, Sumit Gulwani
2011	A*	`conf`	Synthesis of loop-free programs. PLDI Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
2011	A*	`conf`	Synthesizing geometry constructions. PLDI Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
2011	J	`jnl`	Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. Ankur Taly, Sumit Gulwani, Ashish Tiwari
2010	A	`conf`	A simple inductive synthesis methodology and its applications. OOPSLA Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
2010	A*	`conf`	Continuity analysis of programs. POPL Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
2010	B	`conf`	Dimensions in program synthesis. FMCAD Sumit Gulwani
2010	C	`conf`	Dimensions in program synthesis. PPDP Sumit Gulwani
2010	A*	`conf`	From program verification to program synthesis. POPL Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
2010	—	`conf`	Oracle-guided component-based program synthesis. ICSE (1) Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
2010	—	`conf`	Synthesizing switching logic for safety and dwell-time requirements. ICCPS Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
2010	A*	`conf`	The reachability-bound problem. PLDI Sumit Gulwani, Florian Zuleger
2009	A*	`conf`	A combination framework for tracking partition sizes. POPL Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
2009	B	`conf`	Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
2009	A*	`conf`	Control-flow refinement and progress invariants for bound analysis. PLDI Sumit Gulwani, Sagar Jain, Eric Koskinen
2009	A*	`conf`	Program verification using templates over predicate abstraction. PLDI Saurabh Srivastava, Sumit Gulwani
2009	A*	`conf`	SPEED: Symbolic Complexity Bound Analysis. CAV Sumit Gulwani
2009	A*	`conf`	SPEED: precise and efficient static estimation of program computational complexity. POPL Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi
2009	B	`conf`	Synthesizing Switching Logic Using Constraint Solving. VMCAI Ankur Taly, Sumit Gulwani, Ashish Tiwari
2009	A*	`conf`	VS3: SMT Solvers for Program Verification. CAV Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
2008	A*	`conf`	A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. CAV Bhargav S. Gulavani, Sumit Gulwani
2008	A*	`conf`	Constraint-Based Approach for Analysis of Hybrid Systems. CAV Sumit Gulwani, Ashish Tiwari
2008	A	`conf`	Cover Algorithms and Their Combination. ESOP Sumit Gulwani, Madan Musuvathi
2008	A*	`conf`	Inferring locks for atomic sections. PLDI Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani
2008	A*	`conf`	Lifting abstract interpreters to quantified logical domains. POPL Sumit Gulwani, Bill McCloskey, Ashish Tiwari
2008	A*	`conf`	Program analysis as constraint solving. PLDI Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan
2008	A*	`conf`	Proving Conditional Termination. CAV Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv
2008	A	`conf`	Ranking Abstractions. ESOP Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
2007	J	`jnl`	A polynomial-time algorithm for global value numbering. Sci. Comput. Program. Sumit Gulwani, George C. Necula
2007	A*	`conf`	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV Sumit Gulwani, Ashish Tiwari
2007	B	`conf`	Assertion Checking Unified. VMCAI Sumit Gulwani, Ashish Tiwari
2007	A	`conf`	Computing Procedure Summaries for Interprocedural Analysis. ESOP Sumit Gulwani, Ashish Tiwari
2007	A	`conf`	Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE Ashish Tiwari, Sumit Gulwani
2007	A*	`conf`	Program verification as probabilistic inference. POPL Sumit Gulwani, Nebojsa Jojic
2006	A	`conf`	Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP Sumit Gulwani, Ashish Tiwari
2006	A*	`conf`	Combining abstract interpreters. PLDI Sumit Gulwani, Ashish Tiwari
2005	J	`jnl`	A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Inf. Comput. Sumit Gulwani, George C. Necula
2005	A*	`conf`	Precise interprocedural analysis using random interpretation. POPL Sumit Gulwani, George C. Necula
2005	A*	`conf`	Randomized Algorithms for Program Analysis and Verification. CAV George C. Necula, Sumit Gulwani
2004	B	`conf`	A Polynomial-Time Algorithm for Global Value Numbering. SAS Sumit Gulwani, George C. Necula
2004	A*	`conf`	Global value numbering using random interpretation. POPL Sumit Gulwani, George C. Necula
2004	—	`conf`	Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS Sumit Gulwani, Ashish Tiwari, George C. Necula
2004	B	`conf`	Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. SAS Sumit Gulwani, George C. Necula
2003	A	`conf`	A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. CADE Sumit Gulwani, George C. Necula
2003	A*	`conf`	Discovering affine equalities using random interpretation. POPL Sumit Gulwani, George C. Necula
2001	J	`jnl`	WebCaL - a domain specific language for web caching. Comput. Commun. Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel