Programming languages & software engineering

Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer

Advances in Neural Information Processing Systems 18 | January 2006

Margus Veanes, Pritam Roy, Colin Campbell

Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006

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

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

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

Nick Benton, Noah Torp-Smith

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE ’06) | January 2006

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE '06)

J. Quiñonero Candela, C. E. Rasmussen, F. Sinz, O. Bousquet, B. Schölkopf, Joaquin Quiñonero Candela

Machine Learning Challenges – Evaluating Predictive Uncertainty, Textual Entailment and Object Recognition Systems | Published by Springer | 2006, Vol 3944

Nachi Nagappan, Thomas Ball

MSR-TR-2006-03 | January 2006

Project

Samuel Ieong, Yoav Shoham

Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006

Nikolai Tillmann, Wolfram Schulte

Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26

Project Project Project