Publication DMP: deterministic shared memory multiprocessing Proceedings of the 14th international conference on Architectural support for programming languages and operating systems | January 2009 ISBN: 978-1-60558-406-5
Publication Exploring Content Models for Multi-Document Summarization Aria Haghighi, Lucy Vanderwende Proceedings of HLT-NAACL 2009 | January 2009
Publication Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Proceedings of ASE 2009 | January 2009 Proceedings of ASE 2009
Publication Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis Akash Lal, Thomas Reps Formal Methods in System Design (FMSD) | January 2009 Project
Publication Specifying and Composing Non-functional Requirements in Model-Based Development Ethan Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte Proceedings of the 8th International Conference on Software Composition | January 2009 Project
Publication SPEED: Precise and Efficient Static Estimation of Program Computational Complexity Sumit Gulwani, Krishna Mehra, Trishul Chilimbi Principles of Programming Languages (POPL) | January 2009 Project
Publication 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
Publication Classification via Minimum Incremental Coding Length (MICL) John Wright, Zhouchen Lin, Harry Shum SIAM Journal on Imaging Science | January 2009
Publication 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
Publication Control-based clause sharing in parallel SAT solving Youssef Hamadi, Said Jabbour, Lakhdar Sais MSR-TR-2009-17 | January 2009
Research
Research