bibliographer - Swarat Chaudhuri

bibliographer a curated TCS bibliography

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

CSLib: The Lean Computer Science Library Clark Barrett Swarat Chaudhuri Fabrizio Montesi Jim Grundy Pushmeet Kohli Leonardo de Moura Alexandre Rademaker Sorrachai Yingchareonthawornchai [github]

Automata vs Linear-Programming Discounted-Sum Inclusion Suguman Bansal Swarat Chaudhuri Moshe Y. Vardi [github]

Temporal Reasoning for Procedural Programs Rajeev Alur Swarat Chaudhuri [github]

A Constraint-based Approach to Solving Games on Infinite Graphs Tewodros Beyene Swarat Chaudhuri Corneliu Popeea Andrey Rybalchenko [github]

Subcubic algorithms for recursive state machines Swarat Chaudhuri [github]

Regular Real Analysis Swarat Chaudhuri Sriram Sankaranarayanan Moshe Y. Vardi [github]

A fixpoint calculus for local and global program flows Rajeev Alur Swarat Chaudhuri P. Madhusudan [github]

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

Software model checking using languages of nested trees Rajeev Alur Swarat Chaudhuri P. Madhusudan [github]

Languages of Nested Trees Rajeev Alur Swarat Chaudhuri P. Madhusudan [github]

Branching pushdown tree automata Rajeev Alur Swarat Chaudhuri [github]

Subcubic algorithms for recursive state machines Swarat Chaudhuri [github]

Synthesizing data structure transformations from input-output examples John K. Feser Swarat Chaudhuri Isil Dillig [github]

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

[show logs] [hide logs]