research
∙
01/26/2023
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Concurrent programs suffer from data races. To prevent data races, progr...
share
research
∙
08/06/2022
Long-Term Mentoring for Computer Science Researchers
Early in the pandemic, we – leaders in the research areas of programming...
research
∙
05/28/2021
Accelerating JavaScript Static Analysis via Dynamic Shortcuts (Extended Version)
JavaScript has become one of the most widely used programming languages ...
research
∙
02/15/2021
JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification
Modern programming follows the continuous integration (CI) and continuou...
research
∙
09/27/2019