Sukyoung Ryu

静的解析を使って、ユニオンをタグ付きユニオンに変換する系統的なアプローチ。

WebAssemblyアプリでのアクションを記録して再生するシステム。