Programming languages & software engineering

João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka

PPoPP 2010 | January 2010

Don Syme,

ISMM ’10 Proceedings of the 2010 international symposium on Memory management | January 2010

Project

Max Bolingbroke, Simon Peyton Jones

Haskell Symposium 2010 | January 2010

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