research
∙
04/06/2023
Covering All the Bases: Type-Based Verification of Test Input Generators
Test input generators are an important part of property-based testing (P...
share
research
∙
08/10/2021
Data-Driven Abductive Inference of Library Specifications
Programmers often leverage data structure libraries that provide useful ...
research
∙
03/09/2021
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Serializability is a well-understood concurrency control mechanism that ...
research
∙
01/24/2021
Relational Type Theory (All Proofs)
This paper introduces Relational Type Theory (RelTT), a new approach to ...
research
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
02/07/2020
RHLE: Relational Reasoning for Existential Program Verification
Reasoning about nondeterministic programs requires a specification of ho...
research
∙
02/07/2020
RHLE: Automatic Verification of ∀∃-Hyperproperties
Specifications of program behavior typically consider single executions ...
research
∙
08/15/2019
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Relational database applications are notoriously difficult to test and d...
research
∙
03/13/2018