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
1342017
RustBelt meets relaxed memory
HH Dang, JH Jourdan, JO Kaiser, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 34, 2020
872020
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
672020
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
602020
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
332016
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
252013
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
242021
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
232022
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
202022
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
132014
Semantics of Type Systems Lecture Notes
D Dreyer, R Jung, JO Kaiser, HH Dang, D Swasey, J Menz, L Gäher, ...
32022
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
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
12017
RustBelt Meets Relaxed Memory: Technical Appendix
HHAI DANG, JH JOURDAN, JANO KAISER, D DREYER
2020
The system can't perform the operation now. Try again later.
Articles 1–14