research
∙
09/04/2023
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)
Weak memory models specify the semantics of concurrent programs on multi...
share
research
∙
05/15/2023
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
Rely-guarantee (RG) is a highly influential compositional proof techniqu...
research
∙
01/19/2023
View-Based Axiomatic Reasoning for PSO (Extended Version)
Weak memory models describe the semantics of concurrent programs on mode...
research
∙
11/29/2022
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)
Modern processors such as ARMv8 and RISC-V allow executions in which ind...
research
∙
07/01/2022
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes
Real bug fixes found in open source repositories seem to be the perfect ...
research
∙
01/28/2022
TSSB-3M: Mining single statement bugs at massive scale
Single statement bugs are one of the most important ingredients in the e...
research
∙
07/30/2021
On Strong Observational Refinement and Forward Simulation
Hyperproperties are correctness conditions for labelled transition syste...
research
∙
07/14/2021
DeepMutants: Training neural bug detectors with contextual mutations
Learning-based bug detectors promise to find bugs in large code bases by...
research
∙
07/01/2021
On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs
Software Transactional Memory (STM) algorithms provide programmers with ...
research
∙
05/03/2021
MLCheck- Property-Driven Testing of Machine Learning Models
In recent years, we observe an increasing amount of software with machin...
research
∙
11/30/2020
Modularising Verification Of Durable Opacity
Non-volatile memory (NVM), also known as persistent memory, is an emergi...
research
∙
08/11/2020
Cooperative Verification via Collective Invariant Generation
Software verification has recently made enormous progress due to the dev...
research
∙
04/17/2020
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Non-volatile memory (NVM), aka persistent memory, is a new paradigm for ...
research
∙
02/27/2020
Testing Monotonicity of Machine Learning Models
Today, machine learning (ML) models are increasingly applied in decision...
research
∙
05/21/2019
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
The goal of cooperative verification is to combine verification approach...
research
∙
11/22/2018
Verifying C11 Programs Operationally
This paper develops an operational semantics for a release-acquire fragm...
research
∙
04/09/2018
Do Android Taint Analysis Tools Keep their Promises?
In recent years, researchers have developed a number of tools to conduct...
research
∙
03/19/2018
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
For optimal placement and orchestration of network services, it is cruci...
research
∙
02/06/2018
