Material
Research Data
Kwangwon Sun and Sukyoung Ryu, “Static Analysis of JavaScript Programs: Challenges and Research Trends (Paper List and Citation Graph),” KAIST.
Technical Reports
Sora Bae, Sungho Lee, and Sukyoung Ryu, “Towards Understanding and Reasoning about {Android} Interoperations (Supplementary Material),” Technical Report, KAIST.
Jaemin Hong, Jihyeok Park, and Sukyoung Ryu, “Path Dependent Types with Path-Equality (Extended)”, Technical Report, KAIST.
Sungho Lee, Sungjae Hwang, and Sukyoung Ryu, “Operational Semantics for the Android Activity Activation Mechanism,” Technical Report, KAIST.
Jihyeok Park, Xavier Rival, and Sukyoung Ryu, “Revisiting Recency Abstraction for JavaScript,” Technical Report, KAIST.
Jihyeok Park and Sukyoung Ryu, “Inter-Device Task Dispatch Framework for Web Applications: Supplementary,” Technical Report, KAIST.
Seungmin An, Jihyeok Park, and Sukyoung Ryu, “IRES: Intermediate Representation for ECMAScript Specifications,” Technical Report, KAIST.
Demo Movies
Sungho Lee, Sungjae Hwang and Sukyoung Ryu, “Activity Injection Attacks Demo”
Jihyeok Park and Joonyoung Park, “Inter-Device Task Dispatch App Demos: Counting Beads and Make A Monster”