Seungmin An

According to our database, Seungmin An authored at least 4 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.

Jihyeok Park, Seungmin An, Sukyoung Ryu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

JSTAR: JavaScript Specification Type Analyzer using Refinement.

Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification.

Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

JISET: JavaScript IR-based Semantics Extraction Toolchain.

Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020