Publication Specifying and Implementing Secure Mobile Applications in the Channel Ambient System Andrew Phillips April 2006 PhD Thesis: Imperial College London | April 2006
Publication Simple unification-based type inference for GADTs Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones International Conference on Functional Programming (ICFP’06) | April 2006 2016 ACM SIGPLAN Most Influential ICFP Paper Award
Publication Language Support for Fast and Reliable Message-based Communication in Singularity OS Manuel Fahndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, Jim Larus, Steven Levi Proceedings of the EuroSys 2006 Conference | April 2006 Best Paper Project
Publication Lock Free Data Structures using STMs in Haskell Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh FLOPS ’06: Proceedings of the Eighth International Symposium on Functional and Logic Programming, to appear | April 2006
Publication Combining node-and-link graph rendering with a timeline for sensemaking in software development repositories Gina Venolia MSR-TR-2006-75 | April 2006
Publication A Verification Methodology for Model Fields Rustan Leino, Peter Müller Proceeding: ESOP’06 Proceedings of the 15th European conference on Programming Languages and Systems | March 2006 Project
Publication Removal of unnecessary read-to-update upgrades in software transactional memory Avraham Shinnar, Tim Harris, David Tarditi, Mark Plesko March 2006
Publication Reducing unnecessary software transactional memory operations on newly-allocated data David Tarditi, Mark Plesko March 2006 U.S. Patent Number 7,861,237
Publication Compiler support for optimizing decomposed software transactional memory operations David Tarditi, Tim Harris, Mark Plesko, Avraham Shinnar March 2006
Publication Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme Proceedings of the ACM-SIGPLAN Workshop on ML (2005) | March 2006 Project
Research
Research