Publication Specification and Verification of Object-Oriented Software (Part 4) Rustan Leino International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
Publication Specification and Verification of Object-Oriented Software (Part 3) Rustan Leino International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
Publication Specification and Verification of Object-Oriented Software (Part 2) Rustan Leino International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
Publication Specification and Verification of Object-Oriented Software (Part 1) Rustan Leino International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
Publication Specification and Verification of Object-Oriented Software (Part 0) Rustan Leino International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
Publication Global Software Development: Who Does It? Andrew Begel, Nachi Nagappan International Conference on Global Software Engineering | August 2008 Project
Publication Holmes: Effective Statistical Debugging via Efficient Path Profiling Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani MSR-TR-2008-131 | August 2008
Publication Specification and Verification of Programs with Pointers (Part 1) Rustan Leino Summer School on Logic and Theorem-Proving in Programming Languages, Eugene, OR | July 2008
Publication Specification and Verification of Programs with Pointers (Part 0) Rustan Leino Summer School on Logic and Theorem-Proving in Programming Languages, Eugene, OR | July 2008
