Publication Asynchronous exceptions in Haskell Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy ACM Conference on Programming Languages Design and Implementation (PLDI’01) | December 2006
Publication General purpose intermediate representation of software for software development tools Chuck Mitchell, Julian Burger, Vinod Grover, David Tarditi December 2006
Publication Componentized heap abstraction N. Rinetzky, G. Ramalingam, E. Yahav, M. Sagiv TAU-CS-164/06 | December 2006
Publication Quantifying the Efficiency, Scalability, and Robustness of WinFS Replication Doug Terry MSR-TR-2006-189 | December 2006
Publication Adapting the Auto to a New Tune Johannes Helander, Jurgo Preden RTSS 2006 – Workshop on Models and Analysis for Automotive Systems | December 2006
Publication Resource Modeling and Scheduling for Extensible Embedded Platforms Slobodan Matic, Michel Goraczko, Jie Liu, Dimitrios Lymberopoulos, Bodhi Priyantha, Feng Zhao MSR-TR-2006-176 | December 2006
Publication Propositional Satisfiability and Constraint Programming: A Comparative Survey Youssef Hamadi, Lucas Bordeaux, Lintao Zhang ACM Computing Surveys | December 2006, Vol 38(4): pp. 81
Publication Cross-Matching Multiple Spatial Observations and Dealing with Missing Data Jim Gray, Alex Szalay, Tamas Budavari, Robert Lupton, Maria Nieto-Santisteban, Ani Thakar MSR-TR-2006-175 | December 2006
Publication Proceedings of Supporting the Social Side of Large-scale Software Development, a CSCW Workshop Li-Te Cheng, Anthony Cox, Robert DeLIne, Cleidson de Souza, Kevin Schneider, Janice Singer, Margaret-Anne Storey, Gina Venolia November 2006
Publication NETRA: Seeing Through Access Control Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, John Lambert Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE) | November 2006