Lara Bargmann | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Heike Wehrheim
19 publications
Brijesh Dongol
15 publications

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...

0 Lara Bargmann, et al. ∙

research

∙ 01/19/2023

View-Based Axiomatic Reasoning for PSO (Extended Version)

Weak memory models describe the semantics of concurrent programs on mode...

0 Lara Bargmann, et al. ∙

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...

0 Heike Wehrheim, et al. ∙