default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSumit Gulwani
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j31]Mukul Singh
, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Arjun Radhakrishna, Gust Verbruggen:
DataVinci: Learning Syntactic and Semantic String Repairs. Proc. ACM Manag. Data 3(1): 27:1-27:26 (2025)- [c143]Gust Verbruggen, Ashish Tiwari, Mukul Singh, Vu Le, Sumit Gulwani:
Execution-guided within-prompt search for programming-by-example. ICLR 2025 - [c142]Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen:
An empirical study of validating synthetic data for formula generation. NAACL (Findings) 2025: 7047-7054 - [c141]Ananya Singha, Mukul Singh, Ashish Tiwari, Sumit Gulwani, Vu Le, Chris Parnin:
TeCoFeS: Text Column Featurization using Semantic Analysis. NAACL (Findings) 2025: 7055-7061 - [i55]Jenny T. Liang, Aayush Kumar, Yasharth Bajpai, Sumit Gulwani, Vu Le, Chris Parnin, Arjun Radhakrishna, Ashish Tiwari, Emerson R. Murphy-Hill, Gustavo Soares:
TableTalk: Scaffolding Spreadsheet Development with a Language Agent. CoRR abs/2502.09787 (2025) - [i54]Ruhma Khan, Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ashish Tiwari, Gust Verbruggen:
LLM-Guided Compositional Program Synthesis. CoRR abs/2503.15540 (2025) - 2024
- [j30]Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. Proc. ACM Program. Lang. 8(OOPSLA1): 1100-1124 (2024) - [c140]Harshit Joshi, Abishai Ebenezer, José Pablo Cambronero Sánchez, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen:
FLAME: A Small Language Model for Spreadsheet Formulas. AAAI 2024: 12995-13003 - [c139]Mukul Singh, Gust Verbruggen, José Cambronero, Vu Le, Sumit Gulwani:
EmFORE: Learning Email Folder Classification Rules by Demonstration. AAAI 2024: 23835-23837 - [c138]Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani:
RUBICON: Rubric-Based Evaluation of Domain-Specific Human AI Conversations. AIware 2024 - [c137]Mukul Singh, Gust Verbruggen, Vu Le, Sumit Gulwani:
Tabularis Revilio: Converting Text to Tables. CIKM 2024: 4056-4060 - [c136]Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Sherry Shi:
MetaReflection: Learning Instructions for Language Agents using Past Reflections. EMNLP 2024: 8369-8385 - [c135]Mansi Uniyal, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le:
One-to-many testing for code generation from (just) natural language. EMNLP (Findings) 2024: 15397-15402 - [c134]Avik Dutta, Mukul Singh, Gust Verbruggen, Sumit Gulwani, Vu Le:
RAR: Retrieval-augmented retrieval for code generation in low resource languages. EMNLP 2024: 21506-21515 - [c133]Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares:
Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. LAK 2024: 12-23 - [c132]Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen:
Semantically Aligned Question and Code Generation for Automated Insight Generation. LLM4CODE@ICSE 2024: 127-134 - [c131]Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Z. Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani:
Investigating Student Mistakes in Introductory Data Science Programming. SIGCSE (1) 2024: 1258-1264 - [c130]Yasharth Bajpai, Bhavya Chopra, Param Biyani, Cagri Aslan, Dustin Coleman, Sumit Gulwani, Chris Parnin, Arjun Radhakrishna, Gustavo Soares:
Let's Fix this Together: Conversational Debugging with GitHub Copilot. VL/HCC 2024: 1-12 - [i53]Paul Denny, Sumit Gulwani, Neil T. Heffernan, Tanja Käser, Steven Moore, Anna N. Rafferty, Adish Singla:
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. CoRR abs/2402.01580 (2024) - [i52]Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani:
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants. CoRR abs/2402.06229 (2024) - [i51]Ananya Singha, Bhavya Chopra, Anirudh Khatry, Sumit Gulwani, Austin Z. Henley, Vu Le, Chris Parnin, Mukul Singh, Gust Verbruggen:
Semantically Aligned Question and Code Generation for Automated Insight Generation. CoRR abs/2405.01556 (2024) - [i50]Pronita Mehrotra, Aishni Parab, Sumit Gulwani:
Enhancing Creativity in Large Language Models through Associative Thinking Strategies. CoRR abs/2405.06715 (2024) - [i49]Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares:
METAREFLECTION: Learning Instructions for Language Agents using Past Reflections. CoRR abs/2405.13009 (2024) - [i48]Usneek Singh, José Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen:
An Empirical Study of Validating Synthetic Data for Formula Generation. CoRR abs/2407.10657 (2024) - [i47]Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna K. Mehra, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani, Gustavo Soares:
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack. CoRR abs/2410.10584 (2024) - 2023
- [j29]José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari:
FlashFill++: Scaling Programming by Example by Cutting to the Chase. Proc. ACM Program. Lang. 7(POPL): 952-981 (2023) - [j28]Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen:
CORNET: Learning Table Formatting Rules By Example. Proc. VLDB Endow. 16(10): 2632-2644 (2023) - [j27]Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
CORNET: Learning Spreadsheet Formatting Rules By Example. Proc. VLDB Endow. 16(12): 4058-4061 (2023) - [j26]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen:
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language. Proc. VLDB Endow. 17(3): 497-510 (2023) - [c129]Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Gust Verbruggen, Ivan Radicek:
Repair Is Nearly Generation: Multilingual Program Repair with LLMs. AAAI 2023: 5131-5140 - [c128]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen:
EmFore: Online Learning of Email Folder Classification Rules. CIKM 2023: 2280-2290 - [c127]Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. EDM 2023 - [c126]Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Mukul Singh, Ananya Singha, Gust Verbruggen:
TSTR: Target Similarity Tuning Meets the Real World. EMNLP (Findings) 2023: 10256-10261 - [c125]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
CodeFusion: A Pre-trained Diffusion Model for Code Generation. EMNLP 2023: 11697-11708 - [c124]Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. ICER (2) 2023: 41-42 - [c123]Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim:
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. ICSE-SEIP 2023: 185-195 - [c122]Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. ICSE Companion 2023: 346-350 - [c121]Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari:
CoWrangler: Recommender System for Data-Wrangling Scripts. SIGMOD Conference Companion 2023: 147-150 - [c120]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Grace: Language Models Meet Code Edits. ESEC/SIGSOFT FSE 2023: 1483-1495 - [i46]Harshit Joshi, Abishai Ebenezer, José Cambronero, Sumit Gulwani, Aditya Kanade, Vu Le, Ivan Radicek, Gust Verbruggen:
FLAME: A small language model for spreadsheet formulas. CoRR abs/2301.13779 (2023) - [i45]Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. CoRR abs/2302.04662 (2023) - [i44]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:
From Words to Code: Harnessing Data for Program Synthesis from Natural Language. CoRR abs/2305.01598 (2023) - [i43]Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. CoRR abs/2305.10530 (2023) - [i42]Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
GrACE: Generation using Associated Code Edits. CoRR abs/2305.14129 (2023) - [i41]Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. CoRR abs/2306.17156 (2023) - [i40]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example. CoRR abs/2308.07357 (2023) - [i39]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Gust Verbruggen:
DataVinci: Learning Syntactic and Semantic String Repairs. CoRR abs/2308.10922 (2023) - [i38]Tung Phung, Victor-Alexandru Padurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares:
Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. CoRR abs/2310.03780 (2023) - [i37]Anirudh Khatry, Yasharth Bajpai, Priyanshu Gupta, Sumit Gulwani, Ashish Tiwari:
Augmented Embeddings for Custom Retrievals. CoRR abs/2310.05380 (2023) - [i36]Ananya Singha, José Cambronero, Sumit Gulwani, Vu Le, Chris Parnin:
Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs. CoRR abs/2310.10358 (2023) - [i35]Bhavya Chopra, Ananya Singha, Anna Fariha, Sumit Gulwani, Chris Parnin, Ashish Tiwari, Austin Z. Henley:
Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities. CoRR abs/2310.16164 (2023) - [i34]Anirudh Khatry, Sumit Gulwani, Priyanshu Gupta, Vu Le, Ananya Singha, Mukul Singh, Gust Verbruggen:
TSTR: Target Similarity Tuning Meets the Real World. CoRR abs/2310.17228 (2023) - [i33]Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Gust Verbruggen:
Assessing GPT4-V on Structured Reasoning Tasks. CoRR abs/2312.11524 (2023) - [i32]Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley:
Building Your Own Product Copilot: Challenges, Opportunities, and Needs. CoRR abs/2312.14231 (2023) - 2022
- [j25]Titus Barik, Sumit Gulwani, Mario Juarez:
Storytelling and science. Commun. ACM 65(10): 27-30 (2022) - [j24]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari:
Overwatch: learning patterns in code edit sequences. Proc. ACM Program. Lang. 6(OOPSLA2): 395-423 (2022) - [j23]Rohan Bavishi, Harshit Joshi, José Cambronero, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari:
Neurosymbolic repair for low-code formula languages. Proc. ACM Program. Lang. 6(OOPSLA2): 1093-1122 (2022) - [c119]Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR 2022 - [c118]Sumit Gulwani:
AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote). ESEC/SIGSOFT FSE 2022: 1 - [c117]Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie:
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE 2022: 972-983 - [i31]Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani:
Synchromesh: Reliable code generation from pre-trained language models. CoRR abs/2201.11227 (2022) - [i30]Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez, Anna Fariha, Sumit Gulwani, Vu Le, Ivan Radicek, Ashish Tiwari:
Neurosymbolic Repair for Low-Code Formula Languages. CoRR abs/2207.11765 (2022) - [i29]Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari:
Overwatch: Learning Patterns in Code Edit Sequences. CoRR abs/2207.12456 (2022) - [i28]Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen:
CORNET: A neurosymbolic approach to learning conditional table formatting rules by example. CoRR abs/2208.06032 (2022) - [i27]Harshit Joshi, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Ivan Radicek, Gust Verbruggen:
Repair Is Nearly Generation: Multilingual Program Repair with LLMs. CoRR abs/2208.11640 (2022) - [i26]Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
Repairing Bugs in Python Assignments Using Large Language Models. CoRR abs/2209.14876 (2022) - 2021
- [j22]Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury:
APIfix: output-oriented program synthesis for combating breaking changes in libraries. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [j21]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [j20]Gust Verbruggen, Vu Le, Sumit Gulwani:
Semantic programming by example with pre-trained models. Proc. ACM Program. Lang. 5(OOPSLA): 1-25 (2021) - [c116]Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman:
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. ICSE 2021: 785-796 - [c115]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems. SIGMOD Conference 2021: 499-512 - [c114]Anna Fariha, Ashish Tiwari, Alexandra Meliou, Arjun Radhakrishna, Sumit Gulwani:
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning. SIGMOD Conference 2021: 2706-2710 - [c113]Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik:
reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. UIST 2021: 258-269 - [i25]Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman:
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. CoRR abs/2103.02004 (2021) - [i24]Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari:
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. CoRR abs/2109.02445 (2021) - 2020
- [j19]Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza:
Structure interpretation of text formats. Proc. ACM Program. Lang. 4(OOPSLA): 212:1-212:29 (2020) - [j18]Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari:
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4(OOPSLA): 219:1-219:30 (2020) - [c112]Ian Drosos, Titus Barik, Philip J. Guo, Robert DeLine, Sumit Gulwani:
Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists. CHI 2020: 1-12 - [c111]Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani:
An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. ICPR 2020: 4062-4069 - [c110]Mohammad Raza, Sumit Gulwani:
Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. SIGMOD Conference 2020: 1967-1978 - [c109]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani:
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference 2020: 2741-2744 - [i23]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Data Invariants: On Trust in Data-Driven Systems. CoRR abs/2003.01289 (2020) - [i22]Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020) - [i21]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:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i20]Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke:
Programming by Rewards. CoRR abs/2007.06835 (2020)
2010 – 2019
- 2019
- [j17]Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa:
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3(OOPSLA): 143:1-143:29 (2019) - [c108]Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain, Sumit Gulwani:
Learning Natural Programs from a Few Examples in Real-Time. AISTATS 2019: 1714-1722 - [i19]Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa:
Quantitative Programming by Examples. CoRR abs/1909.05964 (2019) - 2018
- [j16]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. 2(OOPSLA): 150:1-150:28 (2018) - [c107]Mohammad Raza, Sumit Gulwani:
Disjunctive Program Synthesis: A Robust Approach to Programming by Example. AAAI 2018: 1403-1412 - [c106]Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen:
Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. CHI 2018: 264 - [c105]Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani:
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. ICLR (Poster) 2018 - [c104]Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani:
Compilation error repair: for the student programs, from the student programs. ICSE (SEET) 2018: 78-87 - [c103]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated clustering and program repair for introductory programming assignments. PLDI 2018: 465-480 - [p3]Dirk Beyer, Sumit Gulwani, David A. Schmidt:
Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking 2018: 493-540 - [i18]Ashwin J. Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani:
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. CoRR abs/1804.01186 (2018) - 2017
- [j15]Peter Bailis, Peter Alvaro, Sumit Gulwani:
Research for practice: tracing and debugging distributed systems; programming by examples. Commun. ACM 60(7): 46-49 (2017) - [j14]Sumit Gulwani, Oleksandr Polozov, Rishabh Singh:
Program Synthesis. Found. Trends Program. Lang. 4(1-2): 1-119 (2017) - [j13]Peter Alvaro, Sumit Gulwani, Peter Bailis:
Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. ACM Queue 15(1): 60 (2017) - [c102]Mohammad Raza, Sumit Gulwani:
Automated Data Extraction Using Predictive Program Synthesis. AAAI 2017: 882-890 - [c101]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c100]Sumit Gulwani, Prateek Jain:
Programming by Examples: PL Meets ML. APLAS 2017: 3-20 - [c99]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS 2017: 14-19 - [c98]Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann:
Learning syntactic program transformations from examples. ICSE 2017: 404-415 - [c97]Kevin Ellis, Sumit Gulwani:
Learning to Learn Programs from Examples: Going Beyond Program Structure. IJCAI 2017: 1638-1645 - [c96]Sumit Gulwani:
Programming by examples: applications, algorithms, and ambiguity resolution. PPDP 2017: 2 - [i17]Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani:
Interactive Program Synthesis. CoRR abs/1703.03539 (2017) - [i16]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR abs/1709.05725 (2017) - 2016
- [j12]Sumit Gulwani:
Technical Perspective: Program synthesis using stochastic techniques. Commun. ACM 59(2): 113 (2016) - [c95]Sumit Gulwani:
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. IJCAR 2016: 9-14 - [c94]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program synthesis using natural language. ICSE 2016: 345-356 - [c93]Xinyu Wang, Sumit Gulwani, Rishabh Singh:
FIDEX: filtering spreadsheet data using examples. OOPSLA 2016: 195-213 - [c92]Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani:
Ringer: web automation by demonstration. OOPSLA 2016: 748-764 - [c91]Rishabh Singh, Sumit Gulwani:
Transforming spreadsheet data types using examples. POPL 2016: 343-356 - [c90]Florian Zuleger, Ivan Radicek, Sumit Gulwani:
Feedback generation for performance problems in introductory programming assignments. Software Engineering 2016: 49-50 - [c89]Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-supervised verified feedback generation. SIGSOFT FSE 2016: 739-750 - [p2]Sumit Gulwani:
Programming by Examples - and its applications in Data Wrangling. Dependable Software Systems Engineering 2016: 137-158 - [i15]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated Clustering and Program Repair for Introductory Programming Assignments. CoRR abs/1603.03165 (2016) - [i14]Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-Supervised Verified Feedback Generation. CoRR abs/1603.04584 (2016) - [i13]Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani:
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs/1608.03828 (2016) - [i12]Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann:
Learning Syntactic Program Transformations from Examples. CoRR abs/1608.09000 (2016) - 2015
- [j11]Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn:
Inductive programming meets the real world. Commun. ACM 58(11): 90-99 (2015) - [j10]Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann:
How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. 22(2): 9:1-9:24 (2015) - [c88]Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. AAAI 2015: 745-752 - [c87]Rishabh Singh, Sumit Gulwani:
Predicting a Correct Program in Programming by Example. CAV (1) 2015: 398-414 - [c86]Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic:
A Framework for Automatically Generating Interactive Instructional Scaffolding. CHI 2015: 1545-1554 - [c85]Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic:
Automatic Game Progression Design through Analysis of Solution Features. CHI 2015: 2407-2416 - [c84]Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani:
Mixed-Initiative Approaches to Global Editing in Slideware. CHI 2015: 3503-3512 - [c83]Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac:
StriSynth: Synthesis for Live Programming. ICSE (2) 2015: 701-704 - [c82]Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic:
Personalized Mathematical Word Problem Generation. IJCAI 2015: 381-388 - [c81]Dileep Kini, Sumit Gulwani:
FlashNormalize: Programming by Examples for Text Normalization. IJCAI 2015: 776-783 - [c80]Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Compositional Program Synthesis from Natural Language and Examples. IJCAI 2015: 792-800 - [c79]Oleksandr Polozov, Sumit Gulwani:
FlashMeta: a framework for inductive program synthesis. OOPSLA 2015: 107-126 - [c78]Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak:
Automating grammar comparison. OOPSLA 2015: 183-200 - [c77]Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn:
FlashRelate: extracting relational data from semi-structured spreadsheets using examples. PLDI 2015: 218-228 - [c76]Sumit Gulwani:
Automating Repetitive Tasks for the Masses. POPL 2015: 1-2 - [c75]Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani:
User Interaction Models for Disambiguation in Programming by Example. UIST 2015: 291-301 - [c74]Sarah E. Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani:
Browser Record and Replay as a Building Block for End-User Web Automation Tools. WWW (Companion Volume) 2015: 179-182 - [i11]Sumit Gulwani:
Cultivating research taste (illustrated via a journey in program synthesis research). PLMW@POPL 2015: 10:1 - [i10]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. CoRR abs/1509.00413 (2015) - [i9]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR abs/1510.08525 (2015) - 2014
- [j9]Sumit Gulwani:
Example-based learning in computer-aided STEM education. Commun. ACM 57(8): 70-80 (2014) - [c73]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c72]Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Programming by Example Using Least General Generalizations. AAAI 2014: 283-290 - [c71]Sumit Gulwani:
Applications of program synthesis to end-user programming and intelligent tutoring systems. GECCO (Companion) 2014: 5-6 - [c70]Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.:
A practical framework for constructing structured drawings. IUI 2014: 311-316 - [c69]Oleksandr Polozov, Sumit Gulwani:
LaSEWeb: automating search strategies over semi-structured web data. KDD 2014: 741-750 - [c68]Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost:
Test-driven synthesis. PLDI 2014: 408-418 - [c67]Vu Le, Sumit Gulwani:
FlashExtract: a framework for data extraction by examples. PLDI 2014: 542-553 - [c66]Sumit Gulwani, Mark Marron:
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. SIGMOD Conference 2014: 803-814 - [c65]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback generation for performance problems in introductory programming assignments. SIGSOFT FSE 2014: 41-51 - [p1]Sumit Gulwani:
Program Synthesis. Software Systems Safety 2014: 43-75 - [i8]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback Generation for Performance Problems in Introductory Programming Assignments. CoRR abs/1403.4064 (2014) - [i7]Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. CoRR abs/1411.4023 (2014) - 2013
- [j8]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 497-518 (2013) - [c64]Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid:
Recursive Program Synthesis. CAV 2013: 934-950 - [c63]Erik Andersen, Sumit Gulwani, Zoran Popovic:
A trace-based framework for analyzing and synthesizing educational progressions. CHI 2013: 773-782 - [c62]Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai:
A Machine Learning Framework for Programming by Example. ICML (1) 2013: 187-195 - [c61]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c60]Umair Z. Ahmed, Sumit Gulwani, Amey Karkare:
Automatically Generating Problems and Solutions for Natural Deduction. IJCAI 2013: 1968-1975 - [c59]Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan:
Automated Grading of DFA Constructions. IJCAI 2013: 1976-1982 - [c58]Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv:
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. LPAR 2013: 457-472 - [c57]Vu Le, Sumit Gulwani, Zhendong Su:
SmartSynth: synthesizing smartphone automation scripts from natural language. MobiSys 2013: 193-206 - [c56]Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su:
Keyword programming for TouchDevelop. MobiSys 2013: 463-464 - [c55]Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
Automated feedback generation for introductory programming assignments. PLDI 2013: 15-26 - [c54]Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani:
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. PLDI 2013: 447-458 - [c53]Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron:
From relational verification to SIMD loop synthesis. PPoPP 2013: 123-134 - [c52]Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai:
A colorful approach to text processing by example. UIST 2013: 495-504 - [i6]Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). Dagstuhl Reports 3(12): 43-66 (2013) - 2012
- [j7]Sumit Gulwani, William R. Harris, Rishabh Singh:
Spreadsheet data manipulation using examples. Commun. ACM 55(8): 97-105 (2012) - [j6]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity and robustness of programs. Commun. ACM 55(8): 107-115 (2012) - [j5]Rishabh Singh, Sumit Gulwani:
Learning Semantic String Transformations from Examples. Proc. VLDB Endow. 5(8): 740-751 (2012) - [c51]Rohit Singh, Sumit Gulwani, Sriram K. Rajamani:
Automatically Generating Algebra Problems. AAAI 2012: 1620-1628 - [c50]Rishabh Singh, Sumit Gulwani:
Synthesizing Number Transformations from Input-Output Examples. CAV 2012: 634-651 - [c49]Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.:
QuickDraw: improving drawing experience for geometric diagrams. CHI 2012: 1037-1064 - [c48]Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman:
Type-directed completion of partial expressions. PLDI 2012: 275-286 - [c47]Sumit Gulwani:
Synthesis from Examples: Interaction Models and Algorithms. SYNASC 2012: 8-14 - [i5]Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith:
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version). CoRR abs/1203.5303 (2012) - [i4]Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
Automated Semantic Grading of Programs. CoRR abs/1204.1751 (2012) - [i3]Rishabh Singh, Sumit Gulwani:
Learning Semantic String Transformations from Examples. CoRR abs/1204.6079 (2012) - [i2]Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai:
Textual Features for Programming by Example. CoRR abs/1209.3811 (2012) - [i1]Rastislav Bodík, Sumit Gulwani, Eran Yahav:
Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2(4): 21-38 (2012) - 2011
- [j4]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. 13(6): 519-535 (2011) - [c46]Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari:
Synthesizing geometry constructions. PLDI 2011: 50-61 - [c45]Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan:
Synthesis of loop-free programs. PLDI 2011: 62-73 - [c44]William R. Harris, Sumit Gulwani:
Spreadsheet table transformations from examples. PLDI 2011: 317-328 - [c43]Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster:
Path-based inductive synthesis for program inversion. PLDI 2011: 492-503 - [c42]Sumit Gulwani:
Automating string processing in spreadsheets using input-output examples. POPL 2011: 317-330 - [c41]Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith:
Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS 2011: 280-297 - [c40]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour:
Proving programs robust. SIGSOFT FSE 2011: 102-112 - 2010
- [c39]Sumit Gulwani:
Dimensions in program synthesis. FMCAD 2010: 1 - [c38]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31 - [c37]Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224 - [c36]Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv:
A simple inductive synthesis methodology and its applications. OOPSLA 2010: 36-46 - [c35]Sumit Gulwani, Florian Zuleger:
The reachability-bound problem. PLDI 2010: 292-304 - [c34]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity analysis of programs. POPL 2010: 57-70 - [c33]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
From program verification to program synthesis. POPL 2010: 313-326 - [c32]Sumit Gulwani:
Dimensions in program synthesis. PPDP 2010: 13-24
2000 – 2009
- 2009
- [c31]Sumit Gulwani:
SPEED: Symbolic Complexity Bound Analysis. CAV 2009: 51-62 - [c30]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
VS3: SMT Solvers for Program Verification. CAV 2009: 702-708 - [c29]Saurabh Srivastava, Sumit Gulwani:
Program verification using templates over predicate abstraction. PLDI 2009: 223-234 - [c28]Sumit Gulwani, Sagar Jain, Eric Koskinen:
Control-flow refinement and progress invariants for bound analysis. PLDI 2009: 375-385 - [c27]Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi:
SPEED: precise and efficient static estimation of program computational complexity. POPL 2009: 127-139 - [c26]Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv:
A combination framework for tracking partition sizes. POPL 2009: 239-251 - [c25]Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan:
Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135 - [c24]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319 - 2008
- [c23]Sumit Gulwani, Ashish Tiwari:
Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203 - [c22]Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv:
Proving Conditional Termination. CAV 2008: 328-340 - [c21]Bhargav S. Gulavani, Sumit Gulwani:
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. CAV 2008: 370-384 - [c20]Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang:
Ranking Abstractions. ESOP 2008: 148-162 - [c19]Sumit Gulwani, Madan Musuvathi:
Cover Algorithms and Their Combination. ESOP 2008: 193-207 - [c18]Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan:
Program analysis as constraint solving. PLDI 2008: 281-292 - [c17]Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani:
Inferring locks for atomic sections. PLDI 2008: 304-315 - [c16]Sumit Gulwani, Bill McCloskey, Ashish Tiwari:
Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246 - 2007
- [j3]Sumit Gulwani, George C. Necula:
A polynomial-time algorithm for global value numbering. Sci. Comput. Program. 64(1): 97-114 (2007) - [c15]Ashish Tiwari, Sumit Gulwani:
Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166 - [c14]Sumit Gulwani, Ashish Tiwari:
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392 - [c13]Sumit Gulwani, Ashish Tiwari:
Computing Procedure Summaries for Interprocedural Analysis. ESOP 2007: 253-267 - [c12]Sumit Gulwani, Nebojsa Jojic:
Program verification as probabilistic inference. POPL 2007: 277-289 - [c11]Sumit Gulwani, Ashish Tiwari:
Assertion Checking Unified. VMCAI 2007: 363-377 - 2006
- [c10]Sumit Gulwani, Ashish Tiwari:
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP 2006: 279-293 - [c9]Sumit Gulwani, Ashish Tiwari:
Combining abstract interpreters. PLDI 2006: 376-386 - 2005
- [j2]Sumit Gulwani, George C. Necula:
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Inf. Comput. 199(1-2): 107-131 (2005) - [c8]George C. Necula, Sumit Gulwani:
Randomized Algorithms for Program Analysis and Verification. CAV 2005: 1 - [c7]Sumit Gulwani, George C. Necula:
Precise interprocedural analysis using random interpretation. POPL 2005: 324-337 - 2004
- [c6]Sumit Gulwani, Ashish Tiwari, George C. Necula:
Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS 2004: 311-323 - [c5]Sumit Gulwani, George C. Necula:
Global value numbering using random interpretation. POPL 2004: 342-352 - [c4]Sumit Gulwani, George C. Necula:
A Polynomial-Time Algorithm for Global Value Numbering. SAS 2004: 212-227 - [c3]Sumit Gulwani, George C. Necula:
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. SAS 2004: 328-343 - 2003
- [c2]Sumit Gulwani, George C. Necula:
A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. CADE 2003: 167-181 - [c1]Sumit Gulwani, George C. Necula:
Discovering affine equalities using random interpretation. POPL 2003: 74-84 - 2001
- [j1]Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel:
WebCaL - a domain specific language for web caching. Comput. Commun. 24(2): 191-201 (2001)
Coauthor Index
[j31] [c143] [c142] [c141] [i55] [i54] [j30] [c140] [c139] [c137] [c135] [c134] [c132] [i51] [i48] [j29] [j28] [j27] [j26] [c129] [c128] [c126] [c125] [c122] [i46] [i44] [i43] [i40] [i39] [i36] [i34] [i33] [j23] [c119] [c117] [i31] [i30] [i28] [i27] [i26] [j21] [j20] [c116] [c113] [i25] [i24] [j19] [c111] [j17] [i17] [c75] [c67] [c57] [c56]
Oleksandr Polozov
aka: Alex Polozov
aka: Alex Polozov
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-17 00:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
