Programming languages & software engineering

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

Wolfram Schulte

ICFEM | January 2006

ISBN: 3-540-47460-9

Project

Josh Berdine, Peter W. O'Hearn

Electronic Notes in Theoretical Computer Science | January 2006, Vol 158: pp. 81-98

Gina Venolia

MSR ’06: Proceedings of the 2006 international workshop on Mining software repositories | January 2006

ISBN: 1-59593-397-2

Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearu

Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | January 2006

ISBN: 3-540-37406-X

Martin Sulzmann, Gregory Duck, Simon Peyton Jones, Peter Stuckey

January 2006

To appear in the Journal of Functional Programming

Simon Peyton Jones

European Symposium on Programming, ESOP | January 2006

European Symposium on Programming, ESOP