research
∙
07/17/2023
A DPLL(T) Framework for Verifying Deep Neural Networks
Deep Neural Networks (DNNs) have emerged as an effective approach to tac...
share
research
∙
06/27/2023
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing
For many decades, advances in static verification have focused on linear...
research
∙
02/09/2023
COOLIO: A Language Support Extension for the Classroom Object Oriented Language
COOL is an Object-Oriented programming language used to teach compiler d...
research
∙
02/19/2021
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Fault localization is a practical research topic that helps developers i...
research
∙
02/13/2021
GenTree: Using Decision Trees to Learn Interactions for Configurable Software
Modern software systems are increasingly designed to be highly configura...
research
∙
10/12/2020
DynamiTe: Dynamic Termination and Non-termination Proofs
There is growing interest in termination reasoning for non-linear progra...
research
∙
04/16/2019
Using Dynamic Analysis to Generate Disjunctive Invariants
Program invariants are important for defect detection, program verificat...
research
∙
03/28/2019
iGen: Dynamic Interaction Inference for Configurable Software
To develop, analyze, and evolve today's highly configurable software sys...
research
∙
03/28/2019
A Counterexample-guided Approach to Finding Numerical Invariants
Numerical invariants, e.g., relationships among numerical variables in a...
research
∙
03/28/2019
SymInfer: Inferring Program Invariants using Symbolic States
We introduce a new technique for inferring program invariants that uses ...
research
∙
03/28/2019
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
We prove that certain formulations of program synthesis and reachability...
research
∙
03/22/2019