Translation Validation for JIT Compiler in the V8 JavaScript Engine

We present TURBOTV, a translation validator for the JavaScript (JS) just-in-time (JIT) compiler of V8. WhileJS engines have become a crucial part of various software systems, their emerging adaption of JIT compilation makes it increasingly challenging to ensure their correctness. We tackle this prob...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 2195 - 2206
Hlavní autoři:	Kwon, Seungwan, Kwon, Jaeseong, Kang, Wooseok, Lee, Juneyoung, Heo, Kihong
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 14.04.2024
Témata:	Encoding Engines Fuzzing Javascript Engine JIT Compiler Optimization Semantics Software systems Translation Validation
ISSN:	1558-1225
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!