출판 Better termination proving through cooperation Marc Brockschmidt, Byron Cook, Carsten Fuhs CAV | January 2013
출판 Keyword Programming for TouchDevelop Sumit Gulwani, Jonathan "Peli" de Halleux Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013 프로젝트
출판 Neural Network Activation Functions In C# James McCaffrey Visual Studio Magazine | January 2013 Available online at http://visualstudiomagazine.com/Articles/List/Neural-Network-Lab.aspx
출판 HALO: Haskell to Logic Through Denotational Semantics Dimitrios Vytiniotis, Simon Peyton Jones, Koen Claessen, Dan Rosén Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2013 ISBN: 978-1-4503-1832-7
출판 Modular Reasoning about Separation for Concurrent Data Structures Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson Proceedings of ESOP | January 2013
출판 Variable and Thread Bounding for Systematic Testing of Multithreaded Programs Sandeep Bindal, Sorav Bansal, Akash Lal International Symposium in Software Testing and Analysis (ISSTA) | January 2013
출판 SeLoger: A Tool for Graph-Based Reasoning in Separation Logic Christoph Haase, Samin Ishtiaq, Joel Ouaknine, Matthew J. Parkinson Computer Aided Verification (CAV) | January 2013
출판 Ribbon Proofs for Separation Logic John Wickerson, Mike Dodds, Matthew J. Parkinson Proceedings of ESOP | January 2013
출판 Fault Tolerance via Idempotence G. Ramalingam, Kapil Vaswani Principles of Programming Languages (POPL) | January 2013