출판 Dependent Array Type Inference from Tests He Zhu, Aditya Nori, Suresh Jagannathan VMCAI ’15: Verification, Model Checking and Abstract Interpretation | January 2015
출판 Compiling Hilbert’s ϵ Operator Rustan Leino LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning – Short Presentations | January 2015
출판 The Design Space of Bug Fixes and How Developers Navigate It Emerson Murphy-Hill, Tom Zimmermann, Christian Bird, Nachi Nagappan IEEE Transactions on Software Engineering | January 2015, 제 41 권(1): pp. 65-81
출판 Spatial Interpolants Aws Albargouthi, Josh Berdine, Byron Cook, Zachary Kincaid MSR-TR-2015-4 | January 2015
출판 Programming by Examples applied to Data Wrangling Sumit Gulwani Invited talk at SYNT 2015 | January 2015
출판 Implementing real-time collaboration in TouchDevelop using AST merges Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015 ISBN: 978-1-4503-3906-3 프로젝트
출판 A Framework for Efficient Modular Heap Analysis G. Ramalingam, Kapil Vaswani Foundations and Trends in Programming Languages | January 2015, 제 1 권
출판 Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori Partial Evaluation and Program Manipulation (PEPM) | January 2015
출판 Deconstructing Dynamic Symbolic Execution Thomas BALL, Jakub DANIEL, Thomas Ball MSR-TR-2015-95 | January 2015 The 2014 Marktober Summer School on Deop Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence, Boston, MA