公開日 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 プロジェクト
公開日 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
公開日 Program Boosting: Program Synthesis via Crowd-Sourcing Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
公開日 A Framework for Efficient Modular Heap Analysis G. Ramalingam, Kapil Vaswani Foundations and Trends in Programming Languages | January 2015, 巻1