论文与出版物 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
论文与出版物 Pentagons: A weakly relational domain for the efficient validation of array accesses Francesco Logozzo, Manuel Fahndrich Proceedings of the 23th ACM Symposium on Applied Computing | March 2008 项目
论文与出版物 Struggles of New College Graduates in their First Software Development Job Andrew Begel, Beth Simon Proceedings of the 39th Technical Symposium on Computer Science Education | March 2008 ISBN: 978-1-59593-799-5