bibliographer - Sanjit A. Seshia

bibliographer a curated TCS bibliography

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

Synthesis with Identifiers Rudiger Ehlers Sanjit A. Seshia Hadas Kress-Gazit [github]

A theory of formal synthesis via inductive learning Susmit Jha Sanjit A. Seshia [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]

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

Reactive synthesis from signal temporal logic specifications Vasumathi Raman Alexandre Donzé Dorsa Sadigh Richard M. Murray Sanjit A. Seshia [github]

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

[show logs] [hide logs]