ECOOP and ISSTA 2021 (series) / Doctoral Symposium /
JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
Tue 13 Jul 2021 16:00 - 16:30 at Doctoral Symposium - Student Presentations Session 1 Chair(s): Eric Bodden
Jihyeok Park is a Phd. candidate in School of Computing, KAIST, Korea. He is a main developer of SAFE, a Scalable Analysis Framework for ECMAScript, and JISET, a JavaScript IR-based Semantics Extraction Toolchain. Moreover, he is a main developer of JEST, a tool that performs N+1-version differential testing for both of JavaScript specifications and engines. Recently, he is working on developing other tools based on JISET.
Tue 13 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
15:30 - 17:30 | Student Presentations Session 1Doctoral Symposium at Doctoral Symposium Chair(s): Eric Bodden University of Paderborn; Fraunhofer IEM Panel Members: Myra Cohen, Iowa State University, USA | ||
15:30 30mTalk | Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation) Doctoral Symposium | ||
16:00 30mTalk | JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation) Doctoral Symposium Jihyeok Park KAIST | ||
16:30 30mTalk | AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation) Doctoral Symposium | ||
17:00 30mTalk | Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation) Doctoral Symposium |