research
∙
04/06/2023
ImageEye: Batch Image Processing Using Program Synthesis
This paper presents a new synthesis-based approach for batch image proce...
share
research
∙
08/26/2022
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Distributed agreement-based (DAB) systems use common distributed agreeme...
research
∙
05/12/2022
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
The ubiquity of distributed agreement protocols, such as consensus, has ...
research
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
04/10/2020
Parameterized Verification of Systems with Global Synchronization and Guards
Inspired by distributed applications that use consensus or other agreeme...
research
∙
04/09/2020
Parameterized Reasoning for Distributed Systems with Consensus
Programmers make building distributed systems tractable by using a wide ...
research
∙
07/17/2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Artificial Neural Networks (ANNs) have demonstrated remarkable utility i...
research
∙
03/20/2018