DualSim: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine Kim, H.,
Ko, S., and Jarrah, M. In Proc. 42nd Int’l conf. on Management of Data,
ACM SIGMOD, San Francisco, USA, June 2016.
May 28th, 2019 ~ Aug 23th, 2019 : I worked as an intern for
Program Analysis Team at Apple.
I reported to Devin Coughlin
and was mentored by Ravi Kandhadai Madhavan.
I worked on static analysis for Swift.
2012 ACM International Collegiate Programming Contest (ICPC) Regional Contest Daejeon, 5th place (team name DIPLOMATICS,
2012 POSTECH Undergraduate Research Program, 2nd Place
I built Korean Data-driven Dependency Parser & suggested a method to automatically increase its precision using feature selection. Written in C++ for performance (~9K LOC) http://isoft.postech.ac.kr/publication/software.html
Intel ISEF 2008(Atlanta, Georgia) Finalist, Special Award
I built a robot design program & 3D physics simulator for running robots &
a proof-of-concept of learning-in-simulator using inverted pendulum example
and reinforcement learning. Written in Java, 49K LOC.
2007 Korea Olympiad in Informatics : Software exhibition, 2nd prize
"Safely Optimizing Casts between Pointers and Integers"
In 2019 European LLVM developers' meeting, Student Research Competition,