출판 Optimizing Matrix Computations for Learning Oliver Williams, Andrew Fitzgibbon April 2008 April 2008 Presented at the Snowbird Learning Workshop 2008
출판 Highly Parallel Surface Reconstruction Kun Zhou, Minmin Gong, Xin Huang, Baining Guo MSR-TR-2008-53 | April 2008
출판 Verification of Equivalent-Results Methods Rustan Leino, Peter Müller March 2008 ISBN: 3-540-78738-0 978-3-540-78738-9 프로젝트
출판 Z3: an efficient SMT solver Leonardo de Moura, Nikolaj Bjørner Tools and Algorithms for Construction and Analysis of Systems | March 2008 Github 프로젝트
출판 Archipelago: Trading Address Space for Reliability and Security Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Ben Zorn Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systraceems (ASPLOS ’08), Seattle, WA | March 2008
출판 Reasoning About the ARM Weakly Consistent Memory Model Nathan Chong, Samin Ishtiaq ACM SIGPLAN Workshop on Memory Systems Performance and Correctness | March 2008
출판 A Formal Implementation of Value Commitment Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli Programming Languages and Systems (ESOP’08) | March 2008
출판 Footprints in Local Reasoning Mohammad Raza Foundations of Software Science and Computational Structures | March 2008
출판 Flexible types: robust type inference for first-class polymorphism Daan Leijen MSR-TR-2008-55 | March 2008
출판 Temporal Analysis for Adapting Concurrent Applications to Embedded Systems Johannes Helander, Sibin Mohan MSR-TR-2008-37 | March 2008