Juneyoung Lee (이준영)

이준영 사본

Software Foundations Lab, Seoul National University
advisor : Prof. Chung-Kil Hur
CV : English, Korean

Contact Information

  • E-mail : 


  • M.S student in Computer Science and Engineering, Seoul National University(2016. Mar ~ current.)
  • B.S in Computer Science and Engineering, minor in Life Science, POSTECH, magna cum laude (~ 2014. 8)
  • High school diploma, Daegu Science High School (~ 2010. 2)

Research Interests

  • Verified Validation
  • LLVM IR semantics


  1. Lee, J., Kim, Y., Song, Y., Hur, CK., Das. S., Majnemer, D., Regehr, J., Lopes, N., “Taming Undefined Behavior in LLVM,”
    Proceedings of the 38th annual ACM SIGPLAN conference on Programming Languages Design and Implementation (PLDI 2017). (link)
  2. Kim, H., Lee, J., Bhowmick, S., Han, W., Lee, J., Ko, S., and Jarrah, M., “DualSim: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine,”
    In Proc. 42nd Int’l conf. on Management of Data, ACM SIGMOD, San Francisco, USA, June 2016.

Awards and Honors

  • 2017 Mar – present. Graduate Student Scholarship. Korea Foundation for Advanced Studies.
  • 2012 ACM International Collegiate Programming Contest (ICPC) Regional Contest Daejeon, 5th place
  • 2012 POSTECH Undergraduate Research Program, 2nd Place
  • Intel ISEF 2008(Atlanta, Georgia) Finalist, Special Award
  • 2007 Korea Olympiad in Informatics : Software exhibition, 2nd prize

Invited Talks

Teaching Experience

Travel Diary