bibliographer - Rishabh Singh

bibliographer a curated TCS bibliography

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

Syntax-guided synthesis Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak Abhishek Udupa [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]

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

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

Library Size: 13G (5 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]