출판 DieCast: Testing Systems with an Accurate Scale Model Diwaker Gupta, Kashi Vishwanath, Amin Vahdat Networked Systems Design and Implementation (NSDI) | January 2008
출판 The Forgetron: A Kernel-Based Perceptron on a Budget Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer SIAM Journal on Computing | January 2008, 제 37 권(5): pp. 1342-1372
출판 Compositional Modeling for Data-Centric Business Applications Ethan Jackson, Wolfram Schulte Software Composition | January 2008 ISBN: 978-3-540-78788-4 프로젝트
출판 On the Relative Completeness of Bytecode Analysis versus Source Code Analysis Francesco Logozzo, Manuel Fahndrich Proceedings of the International Conference on Compiler Construction | January 2008 프로젝트
출판 Index Design for Dynamic Personalized PageRank Amit Pathak, Soumen Chakrabarti, Manish Gupta Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008 Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)
출판 White-Box Testing of Behavioral Web Service Contracts With Pex Nikolai Tillmann, Jonathan "Peli" de Halleux TAV-WEB ’08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008 ISBN: 978-1-60558-053-1 프로젝트 프로젝트
출판 The Power of Rich Syntax for Model-based Development Ethan Jackson, Wolfram Schulte 글쓴이 Microsoft Research, January 2008 프로젝트
출판 Verification Condition Splitting Rustan Leino, Wolfram Schulte 글쓴이 Microsoft Research, January 2008 프로젝트
출판 Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Wolfram Schulte AMAST | January 2008 ISBN: 978-3-540-79979-5 프로젝트