Sumit Gulwani
Orcid: 0000-0002-9226-9634Affiliations:
- Microsoft Research
According to our database1,
Sumit Gulwani
authored at least 196 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2023, "For contributions to AI-assisted programming for developers, data scientists, end users, and students".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
CoRR, 2024
Enhancing Creativity in Large Language Models through Associative Thinking Strategies.
CoRR, 2024
CoRR, 2024
Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants.
CoRR, 2024
CoRR, 2024
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation.
Proceedings of the 14th Learning Analytics and Knowledge Conference, 2024
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language.
Proc. VLDB Endow., November, 2023
Proc. ACM Program. Lang., January, 2023
Conversational Challenges in AI-Powered Data Science: Obstacles, Needs, and Design Opportunities.
CoRR, 2023
Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs.
CoRR, 2023
Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example.
CoRR, 2023
CoRR, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors.
Proceedings of the 2023 ACM Conference on International Computing Education Research, 2023
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models.
Proceedings of the 16th International Conference on Educational Data Mining, 2023
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
CORNET: A neurosymbolic approach to learning conditional table formatting rules by example.
CoRR, 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote).
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the Tenth International Conference on Learning Representations, 2022
2021
Proc. ACM Program. Lang., 2021
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.
Proc. ACM Program. Lang., 2021
APIfix: output-oriented program synthesis for combating breaking changes in libraries.
Proc. ACM Program. Lang., 2021
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.
CoRR, 2021
reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example.
Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference.
Proceedings of the 2020 International Conference on Management of Data, 2020
Proceedings of the 2020 International Conference on Management of Data, 2020
An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction.
Proceedings of the 25th International Conference on Pattern Recognition, 2020
Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
2019
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Proc. ACM Program. Lang., 2018
CoRR, 2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018
Proceedings of the 6th International Conference on Learning Representations, 2018
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples.
ACM Queue, 2017
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Dependable Software Systems Engineering, 2016
CoRR, 2016
Commun. ACM, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Feedback generation for performance problems in introductory programming assignments.
Proceedings of the Software Engineering 2016, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
ACM Trans. Comput. Hum. Interact., 2015
CoRR, 2015
Proceedings of the 24th International Conference on World Wide Web Companion, 2015
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015
Cultivating research taste (illustrated via a journey in program synthesis research).
Proceedings of the Programming Languages Mentoring Workshop, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
FlashRelate: extracting relational data from semi-structured spreadsheets using examples.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation.
Proceedings of the International Conference on Management of Data, 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014
Proceedings of the 19th International Conference on Intelligent User Interfaces, 2014
Applications of program synthesis to end-user programming and intelligent tutoring systems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Int. J. Softw. Tools Technol. Transf., 2013
Dagstuhl Reports, 2013
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 30th International Conference on Machine Learning, 2013
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
CoRR, 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Int. J. Softw. Tools Technol. Transf., 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the Static Analysis - 18th International Symposium, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
2010
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010
2009
Proceedings of the Verification, 2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Proceedings of the Programming Languages and Systems, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007
Proceedings of the Programming Languages and Systems, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Automated Deduction, 2007
2006
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.
Proceedings of the Programming Languages and Systems, 2006
2005
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.
Inf. Comput., 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003
A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
2001