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

2019年01月– 2020年05月

アメリカ国防高等研究計画局 (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)

i>Clicker baseとモバイルキーボード周波数を取り込むためのmini SDRの活用
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++によるゲームプログラミング言語インタプリタの開発
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への調査データ移行