Synthesizing switching logic using constraint solving von Taly, Ankur, Gulwani, Sumit, Tiwari, Ashish

Volltext

Automated feedback generation for introductory programming assignments von Singh, Rishabh, Gulwani, Sumit, Solar-Lezama, Armando

Volltext

Learning semantic string transformations from examples von Singh, Rishabh, Gulwani, Sumit

Volltext

Template-based program verification and program synthesis von Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.

Volltext

Programming by Examples: Applications, Algorithms, and Ambiguity Resolution von Gulwani, Sumit

Volltext

Semantic programming by example with pre-trained models von Verbruggen, Gust, Le, Vu, Gulwani, Sumit

Volltext

Program verification using templates over predicate abstraction von Srivastava, Saurabh, Gulwani, Sumit

Volltext

Programming by Examples: PL Meets ML von Gulwani, Sumit, Jain, Prateek

Volltext

Automating string processing in spreadsheets using input-output examples von Gulwani, Sumit

Volltext

Semantic programming by example with pre-trained models von Verbruggen, Gust, Le, Vu, Gulwani, Sumit

Volltext

Proceedings Fourth Workshop on Synthesis: Programming by Examples applied to Data Manipulation von Gulwani, Sumit

Volltext

Cornet: Learning Spreadsheet Formatting Rules by Example von Singh, Mukul, Sanchez, José Cambronero, Gulwani, Sumit, Le, Vu, Negreanu, Carina, Verbruggen, Gust

Volltext

Cornet: Learning Table Formatting Rules By Example von Singh, Mukul, Sánchez, José Cambronero, Gulwani, Sumit, Le, Vu, Negreanu, Carina, Raza, Mohammad, Verbruggen, Gust

Volltext

FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language von Singh, Mukul, Cambronero, José, Gulwani, Sumit, Le, Vu, Negreanu, Carina, Nouri, Elnaz, Raza, Mohammad, Verbruggen, Gust

Volltext

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis von Rahmani, Kia, Raza, Mohammad, Gulwani, Sumit, Le, Vu, Morris, Daniel, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish

Volltext

On the fly synthesis of edit suggestions von Miltner, Anders, Gulwani, Sumit, Le, Vu, Leung, Alan, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish, Udupa, Abhishek

Volltext

FlashFill++: Scaling Programming by Example by Cutting to the Chase von Cambronero, José, Gulwani, Sumit, Le, Vu, Perelman, Daniel, Radhakrishna, Arjun, Simon, Clint, Tiwari, Ashish

Volltext

Oracle-guided component-based program synthesis von Jha, Susmit, Gulwani, Sumit, Seshia, Sanjit A., Tiwari, Ashish

Volltext

Recursive Program Synthesis von Albarghouthi, Aws, Gulwani, Sumit, Kincaid, Zachary

Volltext

How Can Automatic Feedback Help Students Construct Automata? von D'antoni, Loris, Kini, Dileep, Alur, Rajeev, Gulwani, Sumit, Viswanathan, Mahesh, Hartmann, Björn

Volltext