Programming languages & software engineering

Uta Hinrichs, Danyel Fisher, Nathalie Henry Riche

Proceedings of the ACM SIGCHI conference on Designing Interactive Systems (DIS) | August 2010

Shuvendu Lahiri, Julien Vanegue

MSR-TR-2010-118 | August 2010

12th International Conference on Verification, Model Checking, and Abstract Interpretation

Project

Thomas Ball, Brian Hackett, Shuvendu Lahiri, Shaz Qadeer, Julien Vanegue

Verified Software: Theories, Tools and Experiments (VSTTE 2010) | August 2010

An earlier version of this paper appeared as a Microsoft Research Technical Report MSR-TR-2008-82.

Project

Gustavo Soares, Rohit Gheyi, Dalton Serey, Tiago Massoni

IEEE Software | August 2010, Vol 27(4): pp. 52-57

Parikshit Gopalan, Rocco Servedio

RANDOM’10 | August 2010

Rustan Leino, Mike Barnett

VSTTE 2010 | August 2010

To appear. The attached PDF is the submitted version, not the final version.

Project

David Greaves, Satnam Singh

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign | July 2010

Project

Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li, Bin Wu

SigKDD’10 (full paper) | July 2010

Johannes Borgström, Andy Gordon, Riccardo Pucella

Reflections on the Work of C.A.R. Hoare, Roles, Stacks, Histories: A Triple for Hoare | Published by Springer London | 2010

ISBN: 9781848829114

Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li, Bin Wu

July 2010