Vu Le

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language.

[BibT_eX]

[DOI]

Proc. VLDB Endow., November, 2023

FlashFill++: Scaling Programming by Example by Cutting to the Chase.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

CORNET: Learning Spreadsheet Formatting Rules By Example.

[BibT_eX]

[DOI]

Mukul Singh

Proc. VLDB Endow., 2023

CORNET: Learning Table Formatting Rules By Example.

[BibT_eX]

[DOI]

Mukul Singh

Proc. VLDB Endow., 2023

Assessing GPT4-V on Structured Reasoning Tasks.

[BibT_eX]

[DOI]

CoRR, 2023

TST<sup>R</sup>: Target Similarity Tuning Meets the Real World.

[BibT_eX]

[DOI]

CoRR, 2023

Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs.

[BibT_eX]

[DOI]

CoRR, 2023

DataVinci: Learning Syntactic and Semantic String Repairs.

[BibT_eX]

[DOI]

CoRR, 2023

Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example.

[BibT_eX]

[DOI]

CoRR, 2023

From Words to Code: Harnessing Data for Program Synthesis from Natural Language.

[BibT_eX]

[DOI]

CoRR, 2023

Personalized action suggestions in low-code automation platforms.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

CodeFusion: A Pre-trained Diffusion Model for Code Generation.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

TSTR: Target Similarity Tuning Meets the Real World.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

EmFore: Online Learning of Email Folder Classification Rules.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

Repair Is Nearly Generation: Multilingual Program Repair with LLMs.

[BibT_eX]

[DOI]

Harshit Joshi

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Neurosymbolic repair for low-code formula languages.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Repairing Bugs in Python Assignments Using Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2022

CORNET: A neurosymbolic approach to learning conditional table formatting rules by example.

[BibT_eX]

[DOI]

Mukul Singh

CoRR, 2022

NL2Viz: natural language to visualization via constrained syntax-guided synthesis.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Synchromesh: Reliable Code Generation from Pre-trained Language Models.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Semantic programming by example with pre-trained models.

[BibT_eX]

[DOI]

Gust Verbruggen

Sumit Gulwani

Proc. ACM Program. Lang., 2021

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.

[BibT_eX]

[DOI]

CoRR, 2021

reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example.

[BibT_eX]

[DOI]

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Structure interpretation of text formats.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Pattern Recognition, 2020

2019

On the fly synthesis of edit suggestions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

2017

Interactive Program Synthesis.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Finding compiler bugs via live code mutation.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Toward understanding compiler bugs in GCC and LLVM.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Finding and analyzing compiler warning defects.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

User Interaction Models for Disambiguation in Programming by Example.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Finding deep compiler bugs via guided stochastic program mutation.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Randomized stress-testing of link-time optimizers.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

FlashExtract: a framework for data extraction by examples.

[BibT_eX]

[DOI]

Sumit Gulwani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Compiler validation via equivalence modulo inputs.

[BibT_eX]

[DOI]

Mehrdad Afshari

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Automatic detection of floating-point exceptions.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Keyword programming for TouchDevelop.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

SmartSynth: synthesizing smartphone automation scripts from natural language.

[BibT_eX]

[DOI]

Sumit Gulwani