Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Sukyoung Ryu

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

Software - Practice and Experience

English

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

ACM Transactions on Programming Languages and Systems

English

Related publications

Automated Object Persistence for JavaScript

English

JavaScript Object Notation (JSON) Pointer

English

Completeness Analysis for Incomplete Object-Oriented Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Automatic Numeric Abstractions for Heap-Manipulating Programs

English

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

SJS: A Type System for JavaScript With Fixed Object Layout

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Saliency Guided End-To-End Learning for Weakly Supervised Object Detection

English

The Sequence Manipulation Suite: JavaScript Programs for Analyzing and Formatting Protein and DNA Sequences

Molecular Biology

English