research
∙
08/14/2023
Modular System Synthesis
This paper describes a way to improve the scalability of program synthes...
share
research
∙
07/18/2023
Newtonian Program Analysis of Probabilistic Programs
Due to their quantitative nature, probabilistic programs pose non-trivia...
research
∙
05/25/2023
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback
Large Language Models (LLMs) pre-trained on code have recently emerged a...
research
∙
02/08/2023
Symbolic Quantum Simulation with Quasimodo
The simulation of quantum circuits on classical computers is an importan...
research
∙
01/26/2023
Synthesizing Specifications
Every program should always be accompanied by a specification that descr...
research
∙
11/14/2022
Unrealizability Logic
We consider the problem of establishing that a program-synthesis problem...
research
∙
11/13/2022
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
This paper presents a new compressed representation of Boolean functions...
research
∙
09/06/2021
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization
Program debloating aims to enhance the performance and reduce the attack...
research
∙
05/02/2021
Synthesizing Abstract Transformers
This paper addresses the problem of creating abstract transformers autom...
research
∙
04/08/2021
Sound Probabilistic Inference via Guide Types
Probabilistic programming languages aim to describe and automate Bayesia...
research
∙
03/30/2021
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems
In this article, we present a semantics-level adaption of the Optional S...
research
∙
03/06/2021
Synthesis with Asymptotic Resource Bounds
We present a method for synthesizing recursive functions that satisfy bo...
research
∙
03/03/2021
Shipwright: A Human-in-the-Loop System for Dockerfile Repair
Docker is a tool for lightweight OS-level virtualization. Docker images ...
research
∙
08/22/2020
Semantics-Guided Synthesis
This paper develops a new framework for program synthesis, called semant...
research
∙
05/13/2020
A Generating-Extension-Generator for Machine Code
The problem of "debloating" programs for security and performance purpos...
research
∙
04/29/2020
TOFU: Target-Oriented FUzzer
Program fuzzing—providing randomly constructed inputs to a computer prog...
research
∙
04/29/2020
TOFU:Target-Orienter FUzzer
Program fuzzing-providing randomly constructed inputs to a computer prog...
research
∙
04/02/2020
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
We consider the problem of automatically establishing that a given synta...
research
∙
03/30/2020
Templates and Recurrences: Better Together
This paper is the confluence of two streams of ideas in the literature o...
research
∙
03/28/2020
A Dataset of Dockerfiles
Dockerfiles are one of the most prevalent kinds of DevOps artifacts used...
research
∙
02/08/2020
Learning from, Understanding, and Supporting DevOps Artifacts for Docker
With the growing use of DevOps tools and frameworks, there is an increas...
research
∙
02/07/2020
Semantic Robustness of Models of Source Code
Deep neural networks are vulnerable to adversarial examples - small inpu...
research
∙
01/28/2020
Tail Bound Analysis for Probabilistic Programs via Central Moments
For probabilistic programs, it is usually not possible to automatically ...
research
∙
05/14/2019
Proving Unrealizability for Syntax-Guided Synthesis
Proving Unrealizability for Syntax-Guided Synthesis We consider the pr...
research
∙
04/27/2019
Enabling Open-World Specification Mining via Unsupervised Learning
Many programming tasks require using both domain-specific code and well-...
research
∙
03/18/2018
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
With the rise of machine learning, there is a great deal of interest in ...
research
∙
06/08/2017
Source Forager: A Search Engine for Similar Source Code
Developers spend a significant amount of time searching for code: e.g., ...
research
∙
05/25/2017