Publications

• "Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End" , CC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, Feb 25-26, 2022
• "Modeling Code Manipulation in JIT Compilers" , SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 13-17, 2022
• "Visualizing JIT Compiler Graphs" , International Symposium on Graph Drawing and Network Visualization GD 2021: Graph Drawing and Network Visualization, Sep 14–17, 2021
• "Automated Bug Localization in JIT Compilers" , Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE ’21), Mar 11, 2021
• "AutoMATES: Automated Model Assembly from Text, Equations, and Software" , Modeling the World's Systems 2019, Jan 21, 2020

Fault localisation in JS Engines

May 2020 - Current

Research

Ph.D.

Research in developing efficient way to identify the abnormal
behaviours of JIT compilers that are used by well known JS Engines
via behavioural differential testing between interpreted bytecodes and
JIT compiled code. Then, localise the source of the actual bug in the static
code of JIT compiler.

AutoMATES - Delphi

2019년 1월 - 2020년 5월

美 국방부 첨단연구 프로젝트국(DARPA)
아리조나 대학교

Research

Ph.D.

Automated Model Assembly from Text, Equation, and Software
The AutoMATES project aims to build technology to construct and
curate semantically-rich representations of scientific models
Building Fortran-to-Python (for2py) IR

Student Response System Security Analysis

2017년 11월 - 2017년 12월

Advanced Security Course (CINS 548)

miniSDR을 이용한 i>Clicker base 및 키패드의 주파수 감지와 기록.
CubicSDR 프로그램을 이용한 주파수 활동의 시각적 분석.

Personal Budgeting Website Development

2017년 8월 - 2017년 12월

Senior Project (CINS 490)

Ruby on Rails 5을 사용한 “Personal spending manager” 웹 어플리케이션 개발.
HTML5, JavaScript, jQuery와 AJAX를 통한 UI 개발.
SQLite3 데이터베이스 사용.

Last Minute Saver (LMS)

2016년 12월 2017년 5월

개인 프로젝트.
교내 주차장 사용 급증에 따른 주차편의 향상을 위한 웹 어플리케이션.
공동개발자

Game Programming Language Compiler Design

2016년 8월 2016년 12월

Compiler Design Course (CS 515)

게임 프로그래밍 언어를 위한 C++ 기반 flex와 bison 컴파일러 개발.
vim text editor, g++ compiler와 gdb 사용.

U.S. Salary Census Data Web Development

2016년 6월 - 2016년 7월

Web Programming Fundamentals (CINS 465)

Ruby on Rails 4를 이용한 미국 급여 조사 자료 검색 웹사이트 개발.
HTML5와 Javascript를 이용한 UI 개발.
MySQL과 SQLite3 데이터베이스 사용.