Kihong Heo
Korea Advanced Institute Of Science and Technology - KAIST
Social
2023 Amazon Research Award
Generative Translation Validation for JIT Compiler in the V8 JavaScript Engine
Research topic
Automated reasoning
