Publication DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth TAP’10 | July 2010 Projet Projet
Publication A Flexible Semantic Framework for Effects Ross Tate, Daan Leijen, Sorin Lerner July 2010 Unpublished.
Publication Intelligent Selection of Language Model Training Data Robert C. Moore, Will Lewis Proceedings of the ACL 2010 Conference Short Papers | July 2010
Publication Evidential Authorization Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman The Future of Software Engineering | Publié par Springer | 2010
Publication Moles: tool-assisted environment isolation with closures Jonathan "Peli" de Halleux, Nikolai Tillmann TOOLS’10 | July 2010 Projet Projet Projet
Publication Learning Component Interfaces with May and Must Abstractions Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareaunu 22nd International Conference on Computer Aided Verification (CAV 2010) | July 2010
Publication Quantitative Simulation Games Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna Time for Verification: Essays in Memory of Amir Pnueli | July 2010 Projet
Publication Model Checking of Linearizability of Concurrent List Implementations Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur Computer Aided Verification (CAV) | July 2010
Publication Modeling Imperative String Operations with Transducers Pieter Hooimeijer, David Molnar, Prateek Saxena, Margus Veanes MSR-TR-2010-96 | July 2010