Programming languages & software engineering

Dominik Scherer, Hannes Schulz, Sven Behnke

Proceedings of International Conference on Artificial Neural Networks (ICANN) | January 2010

Suresh Thummalapenta

Empirical Software Engineering | January 2010, Vol 15(1): pp. 1-34

Ryen W. White

Proceedings of SIGIR | January 2010

Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,

MSR-TR-2010-3 | January 2010

Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger

Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | January 2010

Nicolas Bruno, Cesar Galindo-Legaria, Milind Joshi

International Conference on Data Engineering (ICDE) | January 2010

David Harel, Hillel Kugler, Shahar Maoz, Itai Segali

SOFSEM 2010: Theory and Practice of Computer Science | January 2010

Project

Rustan Leino

The Future of Software Engineering | January 2010

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Workshop on Invariant Generation (WING) | January 2010

Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Simon Peyton Jones

To appear at ICFP’10 | January 2010