- Streaming Tree Transducers Rajeev Alur Loris Dtextquotesingleantoni Fri 02 March 2012
- On the relationship between higher-order recursion schemes and higher-order fixpoint logic Naoki Kobayashi Étienne Lozes Florian Bruse Fri 02 March 2012
- LOIS: syntax and semantics Eryk Kopczyński Szymon Toruńczyk Fri 02 March 2012
- P-adic constraint solving Andreas Dolzmann Thomas Sturm Fri 02 March 2012
- WaveFunctionCollapse is constraint solving in the wild Isaac Karth Adam M. Smith Fri 02 March 2012
- Automatic inference of code transforms for patch generation Fan Long Peter Amidon Martin Rinard Fri 02 March 2012
- Qualitative Determinacy and Decidability of Stochastic Games with Signals Nathalie Bertrand Blaise Genest Hugo Gimbert Fri 02 March 2012
- A specification for dependent types in Haskell Stephanie Weirich Antoine Voizard Pedro Henrique Azevedo de Amorim Richard A. Eisenberg Fri 02 March 2012
- Normalization by evaluation for sized dependent types Andreas Abel Andrea Vezzosi Theo Winterhalter Fri 02 March 2012
- Manifest sharing with session types Stephanie Balzer Frank Pfenning Fri 02 March 2012
- A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq Niki Vazou Leonidas Lampropoulos Jeff Polakow Fri 02 March 2012
- Simulation-Driven Reachability Using Matrix Measures Chuchu Fan James Kapinski Xiaoqing Jin Sayan Mitra Fri 02 March 2012
- Hyperproperties of real-valued signals Luan Viet Nguyen James Kapinski Xiaoqing Jin Jyotirmoy V. Deshmukh Taylor T. Johnson Fri 02 March 2012
- Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length Olivier Bournez Daniel S. Graça Amaury Pouly Fri 02 March 2012
- Canonizing Graphs of Bounded Tree Width in Logspace Michael Elberfeld Pascal Schweitzer Fri 02 March 2012
- Dynamic atomicity: optimizing swift memory management David Ungar David Grove Hubertus Franke Fri 02 March 2012
- Natural synthesis of provably-correct data-structure manipulations Xiaokang Qiu Armando Solar-Lezama Fri 02 March 2012
- Verifying strong eventual consistency in distributed systems Victor B. F. Gomes Martin Kleppmann Dominic P. Mulligan Alastair R. Beresford Fri 02 March 2012
- Verifying distributed programs via canonical sequentialization Alexander Bakst Klaus v. Gleissenthall Rami Gökhan Kici Ranjit Jhala Fri 02 March 2012
- HoTTSQL: proving query rewrites with univalent SQL semantics Shumo Chu Konstantin Weitz Alvin Cheung Dan Suciu Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
