论文与出版物 Teaching an Old Elephant New Tricks Nicolas Bruno Conference on Innovative Data Systems Research (CIDR) | January 2009 项目
论文与出版物 Automated Verification of Practical Garbage Collectors Chris Hawblitzel, POPL 09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2009
论文与出版物 DMP: deterministic shared memory multiprocessing Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin Proceedings of the 14th international conference on Architectural support for programming languages and operating systems | January 2009 ISBN: 978-1-60558-406-5
论文与出版物 Test Case Comparison and Clustering using Program Profiles and Static Execution Vipindeep Vangala, Jacek Czerwonka, Phani Talluri Foundations of Software Engineering | January 2009
论文与出版物 Guest Editors’ Introduction: Mining Software Archives Nachi Nagappan, Tom Zimmermann, Andreas Zeller IEEE Software | January 2009, 第 26 卷: pp. 24-25 项目
论文与出版物 Exploring Content Models for Multi-Document Summarization Aria Haghighi, Lucy Vanderwende Proceedings of HLT-NAACL 2009 | January 2009
论文与出版物 Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis Akash Lal, Thomas Reps Formal Methods in System Design (FMSD) | January 2009 项目
论文与出版物 VCC: A Practical System for Verifying Concurrent C Michal Moskal, Thomas Santen, Wolfram Schulte Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009 Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 ISBN: 978-3-642-03358-2
论文与出版物 Control-based clause sharing in parallel SAT solving Youssef Hamadi, Said Jabbour, Lakhdar Sais MSR-TR-2009-17 | January 2009
论文与出版物 Limited and Online Supply and the Bayesian foundations of prior-free mechanism design Nikhil Devanur, Jason D. Hartline ACM Conference on Electronic Commerce | January 2009