Ori Lahav

Ori Lahav

Tel Aviv University
Verified email at tau.ac.il
Cited by 2182
Concurrency Relaxed Memory Models Programming Languages Program Analysis and Verification Logic
Andrei Marian Dan

Andrei Marian Dan

Hitachi Energy Research
Verified email at hitachienergy.com
Cited by 1248
Relaxed Memory Models Program Analysis
Jean Pichon-Pharabod

Jean Pichon-Pharabod

Aarhus University
Verified email at cs.au.dk
Cited by 540
programming languages relaxed memory models systems programming
Hai Dang

Hai Dang

BedRock Systems. Inc
Verified email at mpi-sws.org
Cited by 539
Program verification separation logics relaxed memory models type systems Rust programming language
Sung-Hwan Lee

Sung-Hwan Lee

Rebellions Inc.
Verified email at rebellions.ai
Cited by 167
concurrency relaxed memory models verification programming languages
Alexander Linden

Alexander Linden

Université de Liège
Verified email at montefiore.ulg.ac.be
Cited by 128
Model Checking Verification Relaxed Memory Models Automata