research
∙
07/28/2023
Context-Aware Separation Logic
Separation logic is often praised for its ability to closely mimic the l...
share
research
∙
05/26/2023
Complete Multiparty Session Type Projection with Automata
Multiparty session types (MSTs) are a type-based approach to verifying c...
research
∙
04/10/2023
Make flows small again: revisiting the flow framework
We present a new flow framework for separation logic reasoning about pro...
research
∙
09/27/2022
Embedding Hindsight Reasoning in Separation Logic
Proving linearizability of concurrent data structures remains a key chal...
research
∙
07/05/2022
A Concurrent Program Logic with a Future and History
Verifying fine-grained optimistic concurrent programs remains an open pr...
research
∙
11/16/2021
Inverse-Weighted Survival Games
Deep models trained through maximum likelihood have achieved state-of-th...
research
∙
09/12/2021
Verifying Concurrent Multicopy Search Structures
Multicopy search structures such as log-structured merge (LSM) trees are...
research
∙
11/10/2020
Data Flow Refinement Type Inference
Refinement types enable lightweight verification of functional programs....
research
∙
10/01/2020
Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling
This paper formulates a new task of extracting privacy parameters from a...
research
∙
01/29/2020
TarTar: A Timed Automata Repair Tool
We present TarTar, an automatic repair analysis tool that, given a timed...
research
∙
11/19/2019
Local Reasoning for Global Graph Properties
Separation logics are widely used for verifying programs that manipulate...
research
∙
11/09/2017
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Concurrent separation logics have helped to significantly simplify corre...
research
∙
11/07/2017