| 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 | 139 | 2017 |
| RustBelt meets relaxed memory HH Dang, JH Jourdan, JO Kaiser, D Dreyer Proceedings of the ACM on Programming Languages 4 (POPL), 34, 2020 | 90 | 2020 |
| 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 | 80 | 2020 |
| 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 | 69 | 2020 |
| 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 | 34 | 2016 |
| 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 | 29 | 2021 |
| 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 | 29 | 2013 |
| 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 | 23 | 2022 |
| 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 | 21 | 2022 |
| 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 | 12 | 2014 |
| Semantics of Type Systems Lecture Notes D Dreyer, R Jung, JO Kaiser, HH Dang, D Swasey, J Menz, L Gäher, ... | 3 | 2022 |
| 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 | 2 | 2014 |
| 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 | 1 | 2017 |
| RustBelt Meets Relaxed Memory: Technical Appendix HHAI DANG, JH JOURDAN, JANO KAISER, D DREYER | | 2020 |
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
