14 citations · 15 across the 5 of their papers we have counts for
5 papers
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Jaemin Hong, Sukyoung Ryu
Concurrent programs suffer from data races. To prevent data races, programmers use locks. However, programs can eliminate data races only when they acquire and release correct lock…
Long-Term Mentoring for Computer Science Researchers
Emily Ruppel, Sihang Liu, Elba Garza +3
Early in the pandemic, we -- leaders in the research areas of programming languages (PL) and computer architecture (CA) -- realized that we had a problem: the only way to form new…
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version)
Joonyoung Park, Jihyeok Park, Dongjun Youn +1
JavaScript has become one of the most widely used programming languages for web development, server-side programming, and even micro-controllers for IoT. However, its extremely fun…
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
Jihyeok Park, Seungmin An, Dongjun Youn +2
Modern programming follows the continuous integration (CI) and continuous deployment (CD) approach rather than the traditional waterfall model. Even the development of modern progr…
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
Hongki Lee, Changhee Park, Sukyoung Ryu
Researchers have developed various techniques for static analysis of JavaScript to improve analysis precision. To develop such techniques, they first identify causes of the precisi…