Jake Roemer

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 7

Top Topics

Dynamic Analysis

Object Detection

Virtual Machine

False Positives

Top Venues

Proc. ACM Program. Lang.

Publications

Jake Roemer, Kaan Genç, Michael D. Bond
SmartTrack: efficient predictive race detection. PLDI (2020)
Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
Dependence-Aware, Unbounded Sound Predictive Race Detection. CoRR (2019)
Jake Roemer, Michael D. Bond
Online Set-Based Dynamic Analysis for Sound Predictive Race Detection. CoRR (2019)
Jake Roemer, Kaan Genç, Michael D. Bond
Practical Predictive Race Detection. CoRR (2019)
Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
Dependence-aware, unbounded sound predictive race detection. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jake Roemer, Kaan Genç, Michael D. Bond
High-coverage, unbounded sound predictive race detection. PLDI (2018)
Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond
Prescient memory: exposing weak memory model behavior by looking into the future. ISMM (2016)
Jake Roemer, Mark Groman, Zhengyu Yang, Yufeng Wang, Chiu C. Tan, Ningfang Mi
Improving Virtual Machine Migration via Deduplication. MASS (2014)