Programming languages & software engineering

Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter

MSR-TR-2010-27 | March 2010

プロジェクト

Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi

CC 2010: International Conference on Compiler Construction | March 2010

CC 2010: International Conference on Compiler Construction

Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)

ESOP 2010, Paphos, Cyprus | March 2010

プロジェクト

Nikhil Swamy, Juan Chen, Ravi Chugh

MSR-TR-2009-164 | March 2010

ESOP 2010: 19th European Symposium on Programming

プロジェクト

Ethan Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai

Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus. | March 2010

プロジェクト

Rustan Leino, Philipp Rümmer

Conference: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. | March 2010

Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,

Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010

Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)

プロジェクト

Martin Burtscher, Ben Livshits, Gaurav Sinha, Ben Zorn

MSR-TR-2010-21 | March 2010