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.

*Some repositories might be set to private

AutoMATES - Delphi

January 2019 - May 2020

Defense Advanced Research Projects Agency (DARPA)
The University of Arizona

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

About AutoMates

Statistical Debugging in Dynamic Programs

January 2019 - May 2019

Research

Ph.D.

A research in automating the debugging in dynamic programs.
Especially, targeting interpreters and JIT compilers using
statistical debugging approach.
Targeted JIT compiler - Ruby mJIT.

Student Response System Security Analysis

Nov 2017 - Dec 2017

Advanced Security Course (CINS 548)

Undergraduate

Utilized mini SDR to capture both i>Clicker base and mobile keypads frequency.
Analyzed visualized frequency activities from CubicSDR.

Personal Budgeting Website Development

Aug 2017 – Dec 2017

Senior Project (CINS 490)

Undergraduate

Developed “Personal spending manager” web application with Ruby on Rails 5.
Designed UI with HTML5, JavaScript, jQuery, and AJAX.
Developed backend database with SQLite3 to store user inputs and automate data
updates with stored procedures, trigger.

Last Minute Saver (LMS)

Dec 2016 – May 2017

Personal Project with a peer.
Based on user interactions in parking sharing.
Co-founder

Game Programming Language Compiler Design

Aug 2016 – Dec 2016

Compiler Design Course (CS 515)

Undergraduate

Developed a gaming programming language interpreter with C++ using flex and bison.
Used vim text editor, g++ compiler, and gdb in debugging.

U.S. Salary Census Data Web Development

Jun 2016 – Jul 2016

Web Programming Fundamentals (CINS 465)

Undergraduate

Developed a website for the U.S. salary census data search in Ruby on Rails 4.
Designed UI with HTML5, and JavaScript.
Utilized jQuery and AJAX to ease the process of data retrieval and search.
Migrated census data from MySQL to SQLite3 database for the application’s backend.

U.S. Salary Census Database Management

Jan 2016 – May 2016

Project for Introduction to Databases Course (CINS 370)

Undergraduate

Designed the U.S. salary census data relationship with ER-diagram.
Populated data into MySQL database and normalized down fourth normal form.
Implemented procedures to analyze data that it can be efficiently retrieved by the users.