Programming languages & software engineering

Daniel Delling, Thomas Pajor, Renato Werneck

Proceedings of the 14th Meeting on Algorithm Engineering and Experiments (ALENEX’12) | January 2012

Alexey Gotsman, Madan Musuvathi, Hongseok Yang

International Symposium on Distributed Computing (DISC ’12) | January 2012

Avishay Maya, Noam Nisan

WINE 2012 | January 2012

Marc Brockschmidt, Richard Musiol, Carsten Otto, Juergen Giesl

CAV | January 2012

Manish Gupta, Jing Gao, Yizhou Sun, Jiawei Han

Proc. of the 18th ACM Intl. Conf. on Knowledge Discovery and Data Mining (KDD) | January 2012

Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits

POPL’12 | January 2012

Luke Herbert, Rustan Leino, Jose Quaresma

Tools for Practical Software Verification | 2012

Github

Akash Lal, Shaz Qadeer, Shuvendu Lahiri

MSR-TR-2012-9 | January 2012

Project

Daniel Delling, Renato Werneck

Proceedings of the 20th Annual European Symposium on Algorithms (ESA’12) | January 2012

to appear

Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna

Theoretical Computer Science | December 2011, Vol 413(1): pp. 21-35

2010 International Conference on Concurrency Theory

Project