bibliographer - Mukund Raghothaman

bibliographer a curated TCS bibliography

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

Regular Functions and Cost Register Automata Rajeev Alur Loris D'Antoni Jyotirmoy Deshmukh Mukund Raghothaman Yifei Yuan [github]

Regular Combinators for String Transformations Rajeev Alur Adam Freilich Mukund Raghothaman [github]

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]

Regular combinators for string transformations Rajeev Alur Adam Freilich Mukund Raghothaman [github]

DReX Rajeev Alur Loris DtextquotesingleAntoni Mukund Raghothaman [github]

Provenance-guided synthesis of Datalog programs Mukund Raghothaman Jonathan Mendelson David Zhao Mayur Naik Bernhard Scholz [github]

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

[show logs] [hide logs]