公開日 Combining Relational Learning with SMT Solvers using CEGAR Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani Computer Aided Verification (CAV) | July 2013
公開日 CODEMINE: Building a Software Development Data Analytics Platform at Microsoft Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy IEEE Software | July 2013 プロジェクト
公開日 Solving Existentially Quantified Horn Clauses Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko Computer Aided Verification (CAV) | Springer による投稿 | 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 プロジェクト プロジェクト
公開日 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