- seL4 Gerwin Klein Kevin Elphinstone Gernot Heiser June Andronick David Cock Philip Derrin Dhammika Elkaduwe Kai Engelhardt Rafal Kolanski Michael Norrish Thomas Sewell Harvey Tuch Simon Winwood Fri 02 March 2012
- Regression verification Benny Godlin Ofer Strichman Fri 02 March 2012
- Improved approximate string matching and regular expression matching on Ziv-Lempel compressed texts Philip Bille Rolf Fagerberg Inge Li Gørtz Fri 02 March 2012
- Schema mapping discovery from data instances Georg Gottlob Pierre Senellart Fri 02 March 2012
- On the verification problem for weak memory models Mohamed Faouzi Atig Ahmed Bouajjani Sebastian Burckhardt Madanlal Musuvathi Fri 02 March 2012
- Toward a verified relational database management system Gregory Malecha Greg Morrisett Avraham Shinnar Ryan Wisnesky Fri 02 March 2012
- Structuring the verification of heap-manipulating programs Aleksandar Nanevski Viktor Vafeiadis Josh Berdine Fri 02 March 2012
- From program verification to program synthesis Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster Fri 02 March 2012
- Transitive closure logic, nested tree walking automata, and XPath Balder Ten Cate Luc Segoufin Fri 02 March 2012
- Nested interpolants Matthias Heizmann Jochen Hoenicke Andreas Podelski Fri 02 March 2012
- Verifying event-driven programs using ramified frame properties Neel R. Krishnaswami Lars Birkedal Jonathan Aldrich Fri 02 March 2012
- Reasoning about online algorithms with weighted automata Benjamin Aminof Orna Kupferman Robby Lampert Fri 02 March 2012
- Timed I/O automata Alexandre David Kim G. Larsen Axel Legay Ulrik Nyman Andrzej Wasowski Fri 02 March 2012
- Automatic invariant generation for hybrid systems using ideal fixed points Sriram Sankaranarayanan Fri 02 March 2012
- An efficient representation for sparse sets Preston Briggs Linda Torczon Fri 02 March 2012
- Finding heaviest H-subgraphs in real weighted graphs, with applications Virginia Vassilevska Ryan Williams Raphael Yuster Fri 02 March 2012
- Mixing type checking and symbolic execution Yit Phang Khoo Bor-Yuh Evan Chang Jeffrey S. Foster Fri 02 March 2012
- Hardness amplification in proof complexity Paul Beame Trinh Huynh Toniann Pitassi Fri 02 March 2012
- Towards polynomial lower bounds for dynamic problems Mihai Patrascu Fri 02 March 2012
- Non-commutative circuits and the sum-of-squares problem Pavel Hrubeš Avi Wigderson Amir Yehudayoff Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
