Jake Roemer

According to our database, Jake Roemer authored at least 7 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

SmartTrack: efficient predictive race detection.

Jake Roemer, Kaan Genç, Michael D. Bond

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Dependence-aware, unbounded sound predictive race detection.

Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond

Proc. ACM Program. Lang., 2019

Online Set-Based Dynamic Analysis for Sound Predictive Race Detection.

Jake Roemer, Michael D. Bond

CoRR, 2019

Practical Predictive Race Detection.

Jake Roemer, Kaan Genç, Michael D. Bond

CoRR, 2019

2018

High-coverage, unbounded sound predictive race detection.

Jake Roemer, Kaan Genç, Michael D. Bond

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Prescient memory: exposing weak memory model behavior by looking into the future.

Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

2014

Improving Virtual Machine Migration via Deduplication.

Jake Roemer, Mark Groman, Zhengyu Yang, Yufeng Wang, Chiu C. Tan, Ningfang Mi

Proceedings of the 11th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2014