- (Optimal) duplication is not elementary recursive Andrea Asperti Paolo Coppola Simone Martini Fri 02 March 2012
- Horn-ICE learning for synthesizing invariants and contracts P. Ezudheen Daniel Neider Deepak DtextquotesingleSouza Pranav Garg P. Madhusudan Fri 02 March 2012
- Relational program synthesis Yuepeng Wang Xinyu Wang Isil Dillig Fri 02 March 2012
- The Simplex Algorithm Is NP-Mighty Yann Disser Martin Skutella Fri 02 March 2012
- Interval vs. Point Temporal Logic Model Checking Laura Bozzelli Alberto Molinari Angelo Montanari Adriano Peron Pietro Sala Fri 02 March 2012
- Higher inductive types in cubical computational type theory Evan Cavallo Robert Harper Fri 02 March 2012
- Constructing quotient inductive-inductive types Ambrus Kaposi András Kovács Thorsten Altenkirch Fri 02 March 2012
- Definitional proof-irrelevance without K Gaëtan Gilbert Jesper Cockx Matthieu Sozeau Nicolas Tabareau Fri 02 March 2012
- Modalities, cohesion, and information flow G. A. Kavvos Fri 02 March 2012
- Better late than never: a fully-abstract semantics for classical processes Wen Kokke Fabrizio Montesi Marco Peressotti Fri 02 March 2012
- Fixpoint games on continuous lattices Paolo Baldan Barbara König Christina Mika-Michalski Tommaso Padoan Fri 02 March 2012
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side Simon Castellan Nobuko Yoshida Fri 02 March 2012
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization Tetsuya Sato Alejandro Aguirre Gilles Barthe Marco Gaboardi Deepak Garg Justin Hsu Fri 02 March 2012
- An abstract domain for certifying neural networks Gagandeep Singh Timon Gehr Markus Püschel Martin Vechev Fri 02 March 2012
- Refinement of path expressions for static analysis John Cyphert Jason Breck Zachary Kincaid Thomas Reps Fri 02 March 2012
- Iron: managing obligations in higher-order concurrent separation logic Aleš Bizjak Daniel Gratzer Robbert Krebbers Lars Birkedal Fri 02 March 2012
- Bridging the gap between programming languages and hardware weak memory models Anton Podkopaev Ori Lahav Viktor Vafeiadis Fri 02 March 2012
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS Alasdair Armstrong Thomas Bauereiss Brian Campbell Alastair Reid Kathryn E. Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte Shaked Flur Ian Stark Neel Krishnaswami Peter Sewell Fri 02 March 2012
- Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk) Jasmin Christian Blanchette Fri 02 March 2012
- A formal proof of Henseltextquotesingles lemma over the p-adic integers Robert Y. Lewis Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
