14 citations · 15 across the 5 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2023★ 1 cited
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…
cs.SE2021★ 14 cited
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…
cs.SE2021
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…