Publication Tight Asymptotic Bounds for the Deletion Channel with Small Deletion Probabilities Adam Tauman Kalai, Michael Mitzenmacher, Madhu Sudan Proceedings IEEE International Symposium on Information Theory (ISIT), 2010 | June 2010
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 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 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