- Compositional dynamic test generation Patrice Godefroid Fri 02 March 2012
- Modular type classes Derek Dreyer Robert Harper Manuel M. T. Chakravarty Gabriele Keller Fri 02 March 2012
- A complete, co-inductive syntactic theory of sequential control and state Kristian Støvring Soren B. Lassen Fri 02 March 2012
- On the analysis of interacting pushdown systems Vineet Kahlon Aarti Gupta Fri 02 March 2012
- Interprocedural analysis of asynchronous programs Ranjit Jhala Rupak Majumdar Fri 02 March 2012
- Geometry of synthesis Dan R. Ghica Fri 02 March 2012
- An open framework for foundational proof-carrying code Xinyu Feng Zhaozhong Ni Zhong Shao Yu Guo Fri 02 March 2012
- Safety verification of hybrid systems by constraint propagation-based abstraction refinement Stefan Ratschan Zhikun She Fri 02 March 2012
- Almost optimal lower bounds for small depth circuits J Hastad Fri 02 March 2012
- Private coins versus public coins in interactive proof systems S Goldwasser M Sipser Fri 02 March 2012
- Finding irreducible polynomials over finite fields L M Adleman H W Lenstra Fri 02 March 2012
- Thorough static analysis of device drivers Thomas Ball Ella Bounimova Byron Cook Vladimir Levin Jakob Lichtenberg Con McGarvey Bohus Ondrusek Sriram K. Rajamani Abdullah Ustuner Fri 02 March 2012
- Language support for fast and reliable message-based communication in singularity OS Manuel Fähndrich Mark Aiken Chris Hawblitzel Orion Hodson Galen Hunt James R. Larus Steven Levi Fri 02 March 2012
- Shallow binding makes functional arrays fast Henry G. Baker Fri 02 March 2012
- Distillation G. W. Hamilton Fri 02 March 2012
- The Omega test: a fast and practical integer programming algorithm for dependence analysis William Pugh Fri 02 March 2012
- Provenance semirings Todd J. Green Grigoris Karvounarakis Val Tannen Fri 02 March 2012
- Approximate parameterized matching Carmit Hazay Moshe Lewenstein Dina Sokol Fri 02 March 2012
- Certified self-modifying code Hongxu Cai Zhong Shao Alexander Vaynberg Fri 02 March 2012
- Under-constrained execution Dawson Engler Daniel Dunbar Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
