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
792017
RustBelt meets relaxed memory
HH Dang, JH Jourdan, JO Kaiser, D Dreyer
Proceedings of the ACM on Programming Languages 4 (POPL), 34, 2020
252020
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
192013
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
162020
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
152016
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
102014
Local reasoning about the presence of bugs: Incorrectness separation logic
A Raad, J Berdine, HH Dang, D Dreyer, P O’Hearn, J Villard
International Conference on Computer Aided Verification, 225-252, 2020
92020
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
32014
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
JO Kaiser, HH Dang, D Dreyer, O Lahav, V Vafeiadis
DARTS-Dagstuhl Artifacts Series 3, 2017
12017
RustBelt Meets Relaxed Memory: Technical Appendix
HHAI DANG, JH JOURDAN, JANO KAISER, D DREYER
2020
Semantics of Type Systems Lecture Notes
D Dreyer, R Jung, JO Kaiser, HH Dang, D Swasey
2018
GhostCell: Separating Permissions from Data in Rust
J YANOVSKI, HHAI DANG, R JUNG, D DREYER
The system can't perform the operation now. Try again later.
Articles 1–12