Publication The Power of Rich Syntax for Model-based Development Ethan Jackson, Wolfram Schulte Published by Microsoft Research, January 2008 Project
Publication Verification Condition Splitting Rustan Leino, Wolfram Schulte Published by Microsoft Research, January 2008 Project
Publication Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Wolfram Schulte AMAST | January 2008 ISBN: 978-3-540-79979-5 Project
Publication HMM adaptation using a phase-sensitive acoustic distortion model for environment-robust speech recognition Jinyu Li, Li Deng, Dong Yu, Alex Acero Proc. ICASSP | January 2008 Proc. ICASSP
Publication SpotWeb: detecting framework hotspots via mining open source repositories on the web Suresh Thummalapenta, Tao Xie MSR ’08: Proceedings of the 2008 international working conference on Mining software repositories | January 2008 ISBN: 978-1-60558-024-1
Publication Efficiently Combining Contour and Texture Cues for Object Recognition Jamie Shotton, Andrew Blake, Roberto Cipolla Proc. BMVC | January 2008 Proc. BMVC
Publication 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 Project Project
Publication Conditional Correlation Analysis for Safe Region-based Memory Management Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang Programming Language Design and Implementation (PLDI) | January 2008
Publication Incentive Compatible Regression Learning Ofer Dekel, Felix Fischer, Ariel Procaccia Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms | January 2008
