- A note on a generalization of the Muddy Children puzzle Nina Gierasimczuk Jakub Szymanik Fri 02 March 2012
- Symbolic execution with mixed concrete-symbolic solving Corina S. Păsăreanu Neha Rungta Willem Visser Fri 02 March 2012
- Demand-driven context-sensitive alias analysis for Java Dacong Yan Guoqing Xu Atanas Rountev Fri 02 March 2012
- EvoSuite Gordon Fraser Andrea Arcuri Fri 02 March 2012
- Binders unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Fri 02 March 2012
- A foundation for GADTs and inductive families Makoto Hamana Marcelo Fiore Fri 02 March 2012
- Product lines of theorems Benjamin Delaware William Cook Don Batory Fri 02 March 2012
- Compositional Shape Analysis by Means of Bi-Abduction Cristiano Calcagno Dino Distefano Peter W. O'Hearn Hongseok Yang Fri 02 March 2012
- QIP = PSPACE Rahul Jain Zhengfeng Ji Sarvagya Upadhyay John Watrous Fri 02 March 2012
- Determining the diameter of small world networks Frank W. Takes Walter A. Kosters Fri 02 March 2012
- SAGE: Whitebox Fuzzing for Security Testing Patrice Godefroid Michael Y. Levin David Molnar Fri 02 March 2012
- Symbolic finite state transducers Margus Veanes Pieter Hooimeijer Benjamin Livshits David Molnar Nikolaj Bjorner Fri 02 March 2012
- The marriage of bisimulations and Kripke logical relations Chung-Kil Hur Derek Dreyer Georg Neis Viktor Vafeiadis Fri 02 March 2012
- Deciding choreography realizability Samik Basu Tevfik Bultan Meriem Ouederni Fri 02 March 2012
- Formalizing the LLVM intermediate representation for verified program transformations Jianzhou Zhao Santosh Nagarakatte Milo M.K. Martin Steve Zdancewic Fri 02 March 2012
- LTL types FRP Alan Jeffrey Fri 02 March 2012
- CertiKOS Liang Gu Alexander Vaynberg Bryan Ford Zhong Shao David Costanzo Fri 02 March 2012
- The S2E Platform Vitaly Chipounov Volodymyr Kuznetsov George Candea Fri 02 March 2012
- Efficient generation of counterexamples and witnesses in symbolic model checking E. M. Clarke O. Grumberg K. L. McMillan X. Zhao Fri 02 March 2012
- Avoiding geometric intersection operations in reachability analysis of hybrid systems Matthias Althoff Bruce H. Krogh Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
