- Taming code explosion in supercompilation Peter A. Jonsson Johan Nordlander Fri 02 March 2012
- Alternating automata on data trees and XPath satisfiability Marcin Jurdziński Ranko Lazić Fri 02 March 2012
- View update translation for XML Iovka Boneva Anne-Cécile Caron Benoît Groz Yves Roos Sophie Tison Sławek Staworko Fri 02 March 2012
- Choreography conformance via synchronizability Samik Basu Tevfik Bultan Fri 02 March 2012
- Parallel symbolic execution for automated real-world software testing Stefan Bucur Vlad Ureche Cristian Zamfir George Candea Fri 02 March 2012
- Symbolic crosschecking of floating-point and SIMD code Peter Collingbourne Cristian Cadar Paul H.J. Kelly Fri 02 March 2012
- Hybridization domain construction using curvature estimation Thao Dang Romain Testylier Fri 02 March 2012
- Market equilibrium under separable, piecewise-linear, concave utilities Vijay V. Vazirani Mihalis Yannakakis Fri 02 March 2012
- A system of interaction and structure IV Lutz Straß Burger Alessio Guglielmi Fri 02 March 2012
- Precise identification of problems for structural test generation Xusheng Xiao Tao Xie Nikolai Tillmann Jonathan de Halleux Fri 02 March 2012
- Mostly-automated verification of low-level programs in computational separation logic Adam Chlipala Fri 02 March 2012
- Languages as libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Matthew Flatt Matthias Felleisen Fri 02 March 2012
- Exact algorithms for solving stochastic games Kristoffer Arnsfelt Hansen Michal Koucky Niels Lauritzen Peter Bro Miltersen Elias P. Tsigaridas Fri 02 March 2012
- Diversification improves interpolation Mark Giesbrecht Daniel S. Roche Fri 02 March 2012
- Practical polynomial factoring in polynomial time William Hart Mark van Hoeij Andrew Novocin Fri 02 March 2012
- Supersparse black box rational function interpolation Erich L. Kaltofen Michael Nehring Fri 02 March 2012
- Verification and synthesis using real quantifier elimination Thomas Sturm Ashish Tiwari Fri 02 March 2012
- The geometry of interaction machine Ian Mackie Fri 02 March 2012
- Monad transformers and modular interpreters Sheng Liang Paul Hudak Mark Jones Fri 02 March 2012
- Satisfiability modulo theories Leonardo De Moura Nikolaj Bjørner Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
