출판 Collecting a Heap of Shapes Earl T. Barr, Christian Bird, Mark Marron Proceedings of the International Symposium on Software Testing and Analysis, 2013 | July 2013 Distinguished Paper Award
출판 Going Against the Flow for Typeless Programming (deprecated) Sean McDirmid MSR-TR-2013-70 | July 2013
출판 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 프로젝트
출판 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