Seungmin An -

Registered user since Sun 23 Aug 2020

Name:Seungmin An

Country:South Korea

Affiliation:KAIST

Contributions

ESEC/FSE 2022	Author of Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis within the Research Papers-track
PLDI 2022	Author of Filling the gap between the JavaScript language specification and tools using the JISET family within the Tutorials-track
ASE 2021	Author of Artifact for "JSTAR: JavaScript Specification Type Analyzer using Refinement" within the Artifact Evaluation-track Author of JSTAR: JavaScript Specification Type Analyzer using Refinement within the Research Papers-track
ICSE 2021	Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the AE - Artifact Evaluation-track Author of JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification within the Technical Track-track
ASE 2020	Author of JISET: JavaScript IR-based Semantics Extraction Toolchain within the Research Papers-track