2024 — Now

California, United States

Behavior Compiler / Runtime

2021 — 2024

London Area, United Kingdom

Spark AR Scripting

React AR

2020 — 2021

Valbonne, Provence-Alpes-Côte d'Azur, France

Theory and implementation for JavaScript secure interactions.

Compiler optimization with precondition inference in JavaScript ahead-of-time compiler.

2018 — 2019

Valbonne, Provence-Alpes-Côte d'Azur, France

Secure JavaScript Compilation

2016 — 2016

파리 지역

* Weakly Sensitive Analysis for JavaScript jQuery Programs

new abstract domains for JavaScript traces, objects, and string values.

2013 — 2018

Korea Advanced Institute of Science and Technology

2013 — 2018