research
∙
05/20/2023
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
We present Locksynth, a tool that automatically derives synchronization ...
research
∙
10/15/2021
Adaptive and Fair Transformation for Recoverable Mutual Exclusion
Mutual exclusion is one of the most commonly used techniques to handle c...
research
∙
09/17/2021
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
We tackle the problem of automatically designing concurrent data structu...
research
∙
03/02/2021
Memory Reclamation for Recoverable Mutual Exclusion
Mutual exclusion (ME) is a commonly used technique to handle conflicts i...
research
∙
11/08/2020
Generating Concurrent Programs From Sequential Data Structure Knowledge
In this paper we tackle the problem of automatically designing concurren...
research
∙
06/12/2020
Pointer Data Structure Synthesis from Answer Set Programming Specifications
We develop an inductive proof-technique to generate imperative programs ...
research
∙
06/12/2020
An Adaptive Approach to Recoverable Mutual Exlcusion
Mutual exclusion (ME) is one of the most commonly used techniques to han...
research
∙
05/13/2018