Conference Papers
Semantic Robustness of Models of Source Code
A framework for testing the robustness of models of source code against sequences semantics-preserving transformations. Additionally, new results on the interplay between robustness of models of code and the domain-adaptation and cross-language-transfer tasks.
pdfarXivShipwright: A Human-in-the-Loop System for Dockerfile Repair
Shipwright is a human-in-the-loop system for automated repair of broken Dockerfiles. We were able to use Shipwright to submit 45 pull requests with a 42.2% acceptance rate.
pdfacmarXivdatasetsslidesvideoLearning from, Understanding, and Supporting DevOps Artifacts for Docker
A toolset for advanced Dockerfile parsing, Dockerfile rule mining, and rule-based static analysis of Dockerfiles. This paper seeks to improve the support for Docker (and, more generally, DevOps artifacts) by taking the first steps toward automated rule mining in this domain.
pdfacmarXivdatasetsvideoCode Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
A novel technique for embedding semantically rich program artifacts. This paper explores how to combine sophisticated program analysis (in the form of lightweight symbolic execution) with off-the-shelf machine learning.
pdfacmarXivdatasets