- A short introduction to the coalgebraic method Alexandra Silva Fri 02 March 2012
- Over words, two variables are as powerful as one quantifier alternation Denis Thérien Thomas Wilke Fri 02 March 2012
- Fast and Exact Majority in Population Protocols Dan Alistarh Rati Gelashvili Milan Vojnović Fri 02 March 2012
- Validation with guided search of the state space C. Han Yang David L. Dill Fri 02 March 2012
- An analysis of patch plausibility and correctness for generate-and-validate patch generation systems Zichao Qi Fan Long Sara Achour Martin Rinard Fri 02 March 2012
- Enhancing reuse of constraint solutions to improve symbolic execution Xiangyang Jia Carlo Ghezzi Shi Ying Fri 02 March 2012
- From Network Interface to Multithreaded Web Applications Adam Chlipala Fri 02 March 2012
- Round-by-round fault detectors (extended abstract) Eli Gafni Fri 02 March 2012
- Bounded refinement types Niki Vazou Alexander Bakst Ranjit Jhala Fri 02 March 2012
- Practical principled FRP: forget the past, change the future, FRPNow Atze van der Ploeg Koen Claessen Fri 02 March 2012
- Pilsner: a compositionally verified compiler for a higher-order imperative language Georg Neis Chung-Kil Hur Jan-Oliver Kaiser Craig McLaughlin Derek Dreyer Viktor Vafeiadis Fri 02 March 2012
- Targeted program transformations for symbolic execution Cristian Cadar Fri 02 March 2012
- Parallel sparse multivariate polynomial division Mickaël Gastineau Jacques Laskar Fri 02 March 2012
- Parallel sparse interpolation using small primes Mohamed Khochtali Daniel S. Roche Xisen Tian Fri 02 March 2012
- Synthesizing type-safe compositions in feature oriented software designs using staged composition Boris Düdder Jakob Rehof George T. Heineman Fri 02 March 2012
- Multidimensional access methods Volker Gaede Oliver Günther Fri 02 March 2012
- Type-and-example-directed program synthesis Peter-Michael Osera Steve Zdancewic Fri 02 March 2012
- Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach Matthew Hague Anthony W. Lin C.-H. Luke Ong Fri 02 March 2012
- Automating grammar comparison Ravichandhran Madhavan Mikaël Mayer Sumit Gulwani Viktor Kuncak Fri 02 March 2012
- Effective Interpolation and Preservation in Guarded Logics Michael Benedikt Balder Ten Cate Michael Vanden Boom Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
