Publication A Monadic Framework for Delimited Continuations Kent Dybvig, Simon Peyton Jones, Amr Sabry January 2005 Submitted to Journal of Functional Programming
Publication Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization Peter Bodík, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jon Hui, Armando Fox, Michael I. Jordan, David Patterson ICAC ’05: International Conference on Autonomic Computing | January 2005
Publication Stochastic HPSG Parse Selection using the Redwoods Corpus Kristina Toutanova, Christopher D. Manning, Stephan Oepen, Dan Flickinger Journal of Logic and Computation | January 2005
Publication Optimal Packetization of Fine Granularity Scalability Codestreams for Error-Prone Channels Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li IEEE Int. Conf. Image Processing 2005 | January 2005 IEEE Int. Conf. Image Processing 2005
Publication On-The-Fly Testing of Reactive Systems Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli MSR-TR-2005-05 | January 2005 Project
Publication Support Vector Machines for Paraphrase Identification and Corpus Construction Chris Brockett, Bill Dolan Third International Workshop on Paraphrasing (IWP2005) | January 2005
Publication The Spec# Programming System: An Overview Mike Barnett, Rustan Leino, Wolfram Schulte CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices | January 2005 CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices Project
Publication Safe Concurrency for Aggregate Objects with Invariants Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte SEFM | January 2005 ISBN: 0-7695-2435-4 Project
Publication Geometric Methods for Feature Selection and Dimensional Reduction Chris J.C. Burges Data Mining and Knowledge Discovery Handbook: A Complete Guide for Practitioners and Researchers | January 2005
Publication Associated types with class Simon Peyton Jones POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages | January 2005 ISBN: 1-58113-830-X