Juneyoung Lee (이준영), Ph.D.

I am an Applied Scientist at Automated Reasoning Group in AWS (Austin, TX).

Previously, I was a research engineer CryptoLab, a pioneering company for developing homomorphic encryption frameworks. I also fulfilled my military service in an alternative form by working for this company.

I received Ph.D. from Software Foundations Lab, Seoul National University in August, 2021. When I was a graduate student, I worked on clarifying the semantics of the intermediate representation of the LLVM compiler infrastructure and implementing compiler optimization validators.

I actively sent patches to LLVM (commits/patches) to (1) make LLVM IR semantics abide by a formal definition, and (2) resolve performance issues of the generated machine code after my patches. I also participated in developing Alive2 (https://alive2.llvm.org/), an automatic optimization validator (pull requests).

E-mail: lebjuney@amazon.com, aqjune@gmail.com (personal), juneyoung.lee@sf.snu.ac.kr (old)

News (2022)

May. 10: I gave a talk “Prototyping a compiler for homomorphic encryption using MLIR” at LLVM-CGO 2022 and EuroLLVM 2022.
Jun. 2: My paper “SMT-based Translation Validation for Machine Learning Compiler” has been accepted at CAV’22.
Oct. 2: I will serve as a PC for CAV’23.
Oct. 24: I joined Automated Reasoning Group at AWS (Austin, TX).

Education

Ph.D. in Computer Science and Engineering, Seoul National University (2016. Mar ~ 2021. Aug)
- Advisors: Chung-Kil Hur, Nuno. P. Lopes.
- Thesis: A Validated Semantics for LLVM IR
  - Recipient of Best Thesis Award from College of Engineering, SNU (one thesis chosen per dept.)
B.S. in Computer Science and Engineering, minor in Life Science, POSTECH, magna cum laude (~ 2014. 8)

Interests

Programming languages, compiler verification (esp. translation validation)
Theorem proving using SMT solvers and interactive theorem provers
Compiler for homomorphic encryption
Verification of cryptographic libraries

Awards, Activities and Experience

Go to my activities and experience

Publications

Go to the publications page or Google Scholar

Blog Posts

2021 Oct 4. The select story