Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Seungmin An
conf.researchr.org general profile
ASE 2020 profile
ASE 2021 profile
ESEC/FSE 2022 profile
ICSE 2021 profile
PLDI 2022 profile
Registered user since Sun 23 Aug 2020
Name:
Seungmin An
Country:
South Korea
Affiliation:
KAIST
Contributions
2022
ESEC/FSE
Author of Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis within the Research Papers-track
PLDI
Author of Filling the gap between the JavaScript language specification and tools using the JISET family within the Tutorials-track
2021
ASE
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
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
2020
ASE
Author of JISET: JavaScript IR-based Semantics Extraction Toolchain within the Research Papers-track
Share
x
Thu 1 May 06:21
