research
∙
05/13/2023
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Parser combinators are a well-known mechanism used for the compositional...
share
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...
research
∙
03/02/2023
Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints
This paper presents a hierarchical reinforcement learning algorithm cons...
research
∙
09/06/2022
Specification-Guided Component-Based Synthesis from Effectful Libraries
Component-based synthesis seeks to build programs using the APIs provide...
research
∙
06/28/2022
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems
While notable progress has been made in specifying and learning objectiv...
research
∙
06/14/2022
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Neural network policies trained using Deep Reinforcement Learning (DRL) ...
research
∙
03/02/2022
Model-free Neural Lyapunov Control for Safe Robot Navigation
Model-free Deep Reinforcement Learning (DRL) controllers have demonstrat...
research
∙
08/10/2021
Data-Driven Abductive Inference of Library Specifications
Programmers often leverage data structure libraries that provide useful ...
research
∙
04/20/2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
There has been significant recent interest in devising verification tech...
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
∙
06/11/2020
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Learning-enabled controllers used in cyber-physical systems (CPS) are kn...
research
∙
04/21/2020
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Geo-replicated systems provide a number of desirable properties such as ...
research
∙
08/15/2019
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Relational database applications are notoriously difficult to test and d...
research
∙
07/17/2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Artificial Neural Networks (ANNs) have demonstrated remarkable utility i...
research
∙
07/16/2019
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Despite the tremendous advances that have been made in the last decade o...
research
∙
05/14/2019
Automated Parameterized Verification of CRDTs
Maintaining multiple replicas of data is crucial to achieving scalabilit...
research
∙
06/21/2018
Automated Detection of Serializability Violations under Weak Consistency
While a number of weak consistency mechanisms have been developed in rec...
research
∙
10/26/2017