Publication Action Machines: a Framework for Encoding and Composing Partial Behaviors Wolfgang Grieskamp, Nikolai Tillmann, Nicolas Kicillof MSR-TR-2006-11 | February 2006
Publication Interprocedural Shape Analysis with Separated Heap Abstractions Alexey Gotsman, Josh Berdine, Byron Cook Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings | January 2006 ISBN: 3-540-37756-5
Publication Understanding functional dependencies via constraint handling rules Martin Sulzmann, Gregory Duck, Simon Peyton Jones, Peter Stuckey January 2006 | To appear in the Journal of Functional Programming edition edition To appear in the Journal of Functional Programming
Publication Microsoft Research at RTE-2: Syntactic Contributions in the Entailment Task: an implementation Lucy Vanderwende, Arul Menezes, Rion Snow Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop | January 2006 Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop
Publication Area-Performance Trade-offs in Tiled Dataflow Architectures Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006 Proceedings of the 33rd Annual International Symposium on Computer Architecture ISBN: 0-7695-2608-X
Publication Minimum Divergence Based Discriminative Training Jun Du, Peng Liu, Frank Soong, Jian-Lai Zhou, Ren-Hua Wang Proc. of INTERSPEECH 2006 | January 2006
Publication The Forgetron: A Kernel-Based Perceptron on a Fixed Budget Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer Advances in Neural Information Processing Systems 18 | January 2006
Publication Combinatorial agency Moshe Babaioff, Michal Feldman, Noam Nisan ACM Conference on Electronic Commerce (EC’06) | January 2006
Publication Availability of multi-object operations Haifeng Yu, Phillip B. Gibbons, Suman Nath NSDI’06: Proceedings of the 3rd conference on Networked Systems Design & Implementation | January 2006 Best Paper Award
Publication Strong Update, Disposal, and Encapsulation in Bunched Typing Josh Berdine, Peter W. O'Hearn Electronic Notes in Theoretical Computer Science | January 2006, Vol 158: pp. 81-98
