论文与出版物 CODEMINE: Building a Software Development Data Analytics Platform at Microsoft Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy IEEE Software | July 2013 项目
论文与出版物 Combining Relational Learning with SMT Solvers using CEGAR Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani Computer Aided Verification (CAV) | July 2013
论文与出版物 Automated Feedback Generation for Introductory Programming Assignments Sumit Gulwani, Rishabh Singh ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013 项目 项目
论文与出版物 Solving Existentially Quantified Horn Clauses Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko Computer Aided Verification (CAV) | 作者:Springer | 2013
论文与出版物 LINQits: Big Data on Little Clients Eric Chung, John Davis, Jaewon Lee 40th International Symposium on Computer Architecture | June 2013
论文与出版物 Proof-Relevant Logical Relations for Name Generation Nick Benton, Martin Hofmann, Vivek Nigam 11th International Conference on Typed Lambda Calculi and Applications | June 2013
论文与出版物 Incremental Mapping Compilation in an Object-to-Relational Mapping System (Extended Version) Phil Bernstein, Marie Jacob, Jorge Perez, Guillem Rull, James Terwilliger MSR-TR-2013-45 | June 2013