Programming languages & software engineering

Robert DeLIne, Gina Venolia, Kael Rowan

Communications of the ACM | August 2010, 巻53: pp. 48-54

プロジェクト

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

プロジェクト

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.

プロジェクト

Gustavo Soares, Rohit Gheyi, Dalton Serey, Tiago Massoni

IEEE Software | August 2010, 巻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.

プロジェクト

David Greaves, Satnam Singh

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

プロジェクト

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

SigKDD’10 (full paper) | July 2010