Programming languages & software engineering

Aaron J. Turon, Claudio Russo

OOPSLA ’11 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, Portland, Oregon, USA | October 2011

ISBN: 978-1-4503-0940-0

Sebastian Burckhardt, Daan Leijen, , Jaeheon Yi, Thomas Ball, Thomas Ball

Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA’11) | October 2011

Project

Mihhail Aizatulin, Andy Gordon, Jan Jürjens

CCS ’11 Proceedings of the 18th ACM Conference on Computer and Communications Security | October 2011

ISBN: 978-1-4503-0948-6

Wolfram Schulte , Ethan Jackson

Model Driven Engineering Languages and Systems

Published by Springer Berlin Heidelberg | October 2011

Saeed Maleki, Yaoqing Gao, Maria J. Garzar´n, Tommy Wong, David A. Padua

2011 International Conference on Parallel Architectures and Compilation Techniques | October 2011

Erik Ruf

MSR-TR-2011-110 | October 2011

Judith Bishop, Jonathan "Peli" de Halleux, Nikolai Tillmann, Nigel Horspool, Don Syme, Tao Xie

SAICSIT ’11 Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment | October 2011

ISBN: 978-1-4503-0878-6

Project

Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv

MSR-TR-2011-117 | October 2011

This is the full version with proofs of our ESOP 2012 paper.

Project Project

Yoram Bachrach, Vasilis Syrgkanis, Milan Vojnovic

MSR-TR-2011-113 | October 2011

Yi Lu, Qiaomin Xie, Gabriel Kliot, Alan Geller, Jim Larus, Albert Greenberg

The 29th International Symposium on Computer Performance, Modeling, Measurements and Evaluation | October 2011

Best Paper Award