bibliographer - Sumit Gulwani

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Continuity analysis of programs Swarat Chaudhuri Sumit Gulwani Roberto Lublinerman [github]

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions Sumit Gulwani Ashish Tiwari [github]

Recursive Program Synthesis Aws Albarghouthi Sumit Gulwani Zachary Kincaid [github]

From program verification to program synthesis Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster [github]

Oracle-guided component-based program synthesis Susmit Jha Sumit Gulwani Sanjit A. Seshia Ashish Tiwari [github]

Spreadsheet data manipulation using examples Sumit Gulwani William R. Harris Rishabh Singh [github]

Automated feedback generation for introductory programming assignments Rishabh Singh Sumit Gulwani Armando Solar-Lezama [github]

Automating grammar comparison Ravichandhran Madhavan Mikaël Mayer Sumit Gulwani Viktor Kuncak [github]

Transforming spreadsheet data types using examples Rishabh Singh Sumit Gulwani [github]

FIDEX: filtering spreadsheet data using examples Xinyu Wang Sumit Gulwani Rishabh Singh [github]

Global value numbering using random interpretation Sumit Gulwani George C. Necula [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]