Ori Lahav

Ori Lahav

Tel Aviv University
在 tau.ac.il 的电子邮件经过验证
被引用次数：2200
Concurrency Relaxed Memory Models Programming Languages Program Analysis and Verification Logic
Andrei Marian Dan

Andrei Marian Dan

Hitachi Energy Research
在 hitachienergy.com 的电子邮件经过验证
被引用次数：1269
Relaxed Memory Models Program Analysis
Hai Dang

Hai Dang

BedRock Systems. Inc
在 mpi-sws.org 的电子邮件经过验证
被引用次数：550
Program verification separation logics relaxed memory models type systems Rust programming language
Jean Pichon-Pharabod

Jean Pichon-Pharabod

Aarhus University
在 cs.au.dk 的电子邮件经过验证
被引用次数：543
programming languages relaxed memory models systems programming
Sung-Hwan Lee

Sung-Hwan Lee

Rebellions Inc.
在 rebellions.ai 的电子邮件经过验证
被引用次数：168
concurrency relaxed memory models verification programming languages
Alexander Linden

Alexander Linden

Université de Liège
在 montefiore.ulg.ac.be 的电子邮件经过验证
被引用次数：128
Model Checking Verification Relaxed Memory Models Automata