I am working in MR3 project, a next-generation computing engine for Hadoop based on the push model,
which is sponsored by a grant from Samsung Research Funding Program for Future Technologies
Our goal is to design and implement a new computing engine for Hadoop, which supports DAG, fault tolerance, and in-memory computing,
thus delivering superior performance to existing technologies such as MapReduce, Tez, and Spark while providing the same programming interface.
We are developing MR3 in the Scala programming language
Previously, I developed a theorem prover for separation logic, called ProverPSL,
which was based on the PSL proof system for separation logic with magic wand at http://pl.postech.ac.kr/SL/
My blog is here.
Assisting Students in Finding Bugs and Their Locations in Programming Solutions,
Long H. PHAM, Giang V. TRINH, Mai H. DINH, Nam P. MAI, Tho T. QUAN, Hung Q. NGO,
International Journal of Quality Assurance in Engineering and Technology Education (IJQAETE), Australia (2014).
Assisting Students in Finding Their Own Bugs in Programming Exercises using Verification and Group Testing Techniques,
Long H. Pham, Nam P. Mai, Mai H. Dinh, Tho T. Quan, Hung Q. Ngo,
Proceedings of the IETEC’13 Conference, Vietnam (2013).
Dinh Hoang Mai
Department of Computer Science and Engineering
Pohang University of Science and Technology
San 31 Hyoja-dong, Nam-gu, Pohang, Gyeongbuk, 790-784
Republic of Korea
Office: PIRL/GSIT, 353
Email: maidinh at postech dot ac dot kr
(maidh91 at gmail dot com)