Publication Nozzle: A Defense Against Heap-spraying Code Injection Attacks Paruj Ratanaworabhan, Ben Livshits, Ben Zorn Proceedings of the Usenix Security Symposium | January 2009 Project
Publication Designers wanted: participation and the user experience in open source software development Paula M. Bach, Robert DeLIne, John M. Carroll Proceedings of CHI 09 | January 2009
Publication Compiling Functional Types to Relational Specifications for Low Level Imperative Code Nick Benton, Nicolas Tabareau Proceedings of the Fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation | January 2009
Publication Flexible types: robust type inference for first-class polymorphism Daan Leijen 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL’09) | January 2009 36th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'09)
Publication Automated Verification of Practical Garbage Collectors Chris Hawblitzel, POPL 09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2009
Publication Teaching an Old Elephant New Tricks Nicolas Bruno Conference on Innovative Data Systems Research (CIDR) | January 2009 Project
Publication SubPolyhedra: A (more) scalable approach to infer linear inequalities Vincent Laviron, Francesco Logozzo Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’09) | January 2009 Access Project
Publication Compositional May-Must Program Analysis: Unleashing The Power of Alternation Patrice Godefroid, Aditya Nori, Sriram Rajamani, MSR-TR-2009-2 | January 2009 Project
Publication DMP: deterministic shared memory multiprocessing Proceedings of the 14th international conference on Architectural support for programming languages and operating systems | January 2009 ISBN: 978-1-60558-406-5
Publication Guest Editors’ Introduction: Mining Software Archives Nachi Nagappan, Tom Zimmermann, Andreas Zeller IEEE Software | January 2009, Vol 26: pp. 24-25 Project
Research
Research