Hai Dang

Hai Dang

BedRock Systems. Inc
Verified email at mpi-sws.org
Cited by 553
Program verification separation logics relaxed memory models type systems Rust programming language
Christos P. Lamprakos

Christos P. Lamprakos

National Technical University of Athens
Verified email at microlab.ntua.gr
Cited by 54
Dynamic storage allocation Systems programming Energy-aware computing Rust programming language
Chenghao Li

Chenghao Li

Zhejiang University
Verified email at antgroup.com
Cited by 1
Operating System Rust Programming Language