Profile Picture

임 희찬

박사과정

컴퓨터 과학

아리조나 대학교

Publications

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

About AutoMates

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 데이터베이스 사용.

U.S. Salary Census Database Management

2016년 1월 - 2016년 5월

Project for Introduction to Databases Course (CINS 370)

ER-diagram을 통한 미국 급여 조사 자료간의 연관성 구현.
MySQL을 이용한 데이터 밀집 및 정규화 4단계 구현.
유저의 효과적인 데이터 검색을 위한 procedure을 통한 데이터 분석.