Publication The Reachability-Bound Problem Sumit Gulwani, Florian Zuleger PLDI’10, June 5-10, 2010, Toronto, Ontario, Canada | June 2010 Project
Publication Evaluating iterative optimization across 1000 datasets Yang Chen, Yuanjie Huang, Lieven Eeckhout, Grigori Fursin, Liang Peng, Olivier Temam, Chengyong Wu 2010 Programming Language Design and Implementation | June 2010
Publication Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan Programming Language Design and Implementation (PLDI) | June 2010 Programming Language Design and Implementation (PLDI) Project
Publication DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Daniel Marino, Madan Musuvathi International Conference on Programming Language Design and Implementation (PLDI). | June 2010 International Conference on Programming Language Design and Implementation (PLDI).
Publication Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System Jean Yang, Chris Hawblitzel PLDI | June 2010 Best Paper Project
Publication Phrasal: A Statistical Machine Translation Toolkit for Exploring New Model Features Daniel Cer, Michel Galley, Daniel Jurafsky, Christopher D. Manning Proc. of HLT-NAACL, Demonstration Session | June 2010
Publication Inferable Object-Oriented Typed Assembly Language Ross Tate, Juan Chen, Chris Hawblitzel ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI) | June 2010 ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI)
Publication On the Geometry of Differential Privacy Moritz Hardt, Kunal Talwar STOC | June 2010 STOC Longer version
Publication Improved Models of Distortion Cost for Statistical Machine Translation Spence Green, Michel Galley, Christopher D. Manning Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics (HLT-NAACL) | June 2010
Publication Programming Sensor Networks with State-Centric Services Andreas Lachenmann, Ulrich Mueller, Robert Sugar, Louis Latour, Matthias Neugebauer, Alain Gefflaut Proc. of the 6th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS ’10) | June 2010 Best paper award of the Systems and Applications Track!