Translation Validation for JIT Compiler in the V8 JavaScript Engine. - Seungwan Kwon; Jaeseong Kwon; Wooseok Kang; Juneyoung Lee; Kihong Heo (ICSE, 2024)