Ori Lahav

Ori Lahav

Tel Aviv University
Verified email at tau.ac.il
Cited by 2381
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 1354
Relaxed Memory Models Program Analysis
Hai Dang

Hai Dang

BlueRock Security Inc
Verified email at mpi-sws.org
Cited by 599
Program verification separation logics relaxed memory models type systems Rust programming
Jean Pichon-Pharabod

Jean Pichon-Pharabod

Aarhus University
Verified email at cs.au.dk
Cited by 595
programming languages relaxed memory models systems programming
Sung-Hwan Lee

Sung-Hwan Lee

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

Alexander Linden

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