research
∙
01/25/2023
Synthesis with Explicit Dependencies
Quantified Boolean Formulas (QBF) extend propositional logic with quanti...
share
research
∙
09/16/2022
Symbolic Execution for Randomized Programs
We propose a symbolic execution method for programs that can draw random...
research
∙
08/14/2022
Synthesis of Semantic Actions in Attribute Grammars
Attribute grammars allow the association of semantic actions to the prod...
research
∙
01/25/2022
HOLL: Program Synthesis for Higher OrderLogic Locking
Logic locking "hides" the functionality of a digital circuit to protect ...
research
∙
08/12/2021
Engineering an Efficient Boolean Functional Synthesis Engine
Given a Boolean specification between a set of inputs and outputs, the p...
research
∙
06/09/2021
Data-Driven Invariant Learning for Probabilistic Programs
Morgan and McIver's weakest pre-expectation framework is one of the most...
research
∙
05/19/2021
Program Synthesis as Dependency Quantified Formula Modulo Theory
Given a specification φ(X,Y) over inputs X and output Y, defined over a ...
research
∙
05/02/2021
Synthesizing Abstract Transformers
This paper addresses the problem of creating abstract transformers autom...
research
∙
04/03/2021
Input Validation with Symbolic Execution
Symbolic execution has always been plagued by the inability to handle pr...
research
∙
01/04/2021
Learning Differentially Private Mechanisms
Differential privacy is a formal, mathematical definition of data privac...
research
∙
11/26/2020
Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations
We present Wolverine, an integrated Debug-Localize-Repair environment fo...
research
∙
07/20/2020
Phase Transition Behavior in Knowledge Compilation
The study of phase transition behaviour in SAT has led to deeper underst...
research
∙
05/16/2020
Distributed Bounded Model Checking
Program verification is a resource-hungry task. This paper looks at the ...
research
∙
05/14/2020