Follow
Hai Dang
Title
Cited by
Cited by
Year
Strong logic for weak memory: Reasoning about release-acquire consistency in Iris
JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
1532017
Stacked borrows: an aliasing model for Rust
R Jung, HH Dang, J Kang, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 41, 2020
1052020
RustBelt meets relaxed memory
HH Dang, JH Jourdan, JO Kaiser, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 34, 2020
1052020
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
832020
Enhancing team collaboration through integrating social interactions in a Web‐based development environment
V Nguyen, HH Dang, NK Do, DT Tran
Computer Applications in Engineering Education 24 (4), 529-545, 2016
382016
GhostCell: separating permissions from data in Rust
J Yanovski, HH Dang, R Jung, D Dreyer
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
362021
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
L Gäher, M Sammler, S Spies, R Jung, HH Dang, R Krebbers, J Kang, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 28: 1-28: 31, 2022
342022
An interactive Web-based IDE towards teaching and learning in programming courses
HT Tran, HH Dang, KN Do, TD Tran, V Nguyen
Proceedings of 2013 IEEE International Conference on Teaching, Assessment …, 2013
292013
Compass: strong and compositional library specifications in relaxed memory separation logic
HH Dang, J Jung, J Choi, DT Nguyen, W Mansky, J Kang, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
282022
Learning and practicing object-oriented programming using a collaborative web-based IDE
V Nguyen, HH Dang, KN Do, TD Tran
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-9, 2014
122014
Semantics of Type Systems Lecture Notes
D Dreyer, S Spies, L Gäher, R Jung, JO Kaiser, HH Dang, D Swasey, ...
July, 2022
32022
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact).
JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis
Dagstuhl Artifacts Ser. 3 (2), 15:1-15:2, 2017
22017
EduCo: An integrated social environment for teaching and learning software engineering courses
HH Dang, V Nguyen, KN Do, TD Tran
Proceedings of the 16th International Conference on Information Integration …, 2014
22014
Scaling up relaxed memory verification with separation logics
HH Dang
Saarländische Universitäts-und Landesbibliothek, 2024
2024
Coq development for" Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations"
L Gäher, M Sammler, S Spies, R Jung, HH Dang, RJ Krebbers, J Kang, ...
Zenodo, 2021
2021
RustBelt Meets Relaxed Memory: Technical Appendix
HHAI DANG, JH JOURDAN, JANO KAISER, D DREYER
2020
A Formal Specification of the NOVA Microhypervisor’s ABI
HHAI DANG, D SWASEY, PG GIARRUSSO, G MALECHA
The system can't perform the operation now. Try again later.
Articles 1–17