bibliographer - Armando Solar-Lezama

bibliographer a curated TCS bibliography

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

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems Sicun Gao James Kapinski Jyotirmoy Deshmukh Nima Roohi Armando Solar-Lezama Nikos Arechiga Soonho Kong [github]

The Sketching Approach to Program Synthesis Armando Solar-Lezama [github]

Program sketching Armando Solar-Lezama [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]

Combinatorial sketching for finite programs Armando Solar-Lezama Liviu Tancau Rastislav Bodik Sanjit Seshia Vijay Saraswat [github]

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

Program synthesis from polymorphic refinement types Nadia Polikarpova Ivan Kuraj Armando Solar-Lezama [github]

Natural synthesis of provably-correct data-structure manipulations Xiaokang Qiu Armando Solar-Lezama [github]

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

[show logs] [hide logs]