57 lines
3.5 KiB
Plaintext
57 lines
3.5 KiB
Plaintext
## Crafty: Efficient, HTM-Compatible Persistent Transactions Kaan Genç, Michael D. Bond, and Guoqing Harry Xu ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), Online, June 2020
|
|
|
|
Crafty is a library for transactional storage, built for new non-volatile memory hardware. Taking advantage of hardware transactional capabilities of modern CPUs, it provides a low-overhead option that also eliminates the need for additional concurrency control.
|
|
|
|
Talk Paper Extended Paper Implementation Poster
|
|
|
|
=> https://www.youtube.com/watch?v=wdVLlQXV1to Talk
|
|
=> https://dl.acm.org/doi/10.1145/3385412.3385991 Paper
|
|
=> https://arxiv.org/pdf/2004.00262.pdf Extended Paper
|
|
=> https://github.com/PLaSSticity/Crafty Implementation
|
|
=> /extra/Crafty%20Poster.pdf Poster
|
|
|
|
## Dependence Aware, Unbounded Sound Predictive Race Detection Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2019), Athens, Greece, October 2019
|
|
|
|
This paper presents 2 data race detection analyses which analyze a single run of a program to predict data races that can happen in other runs. These analyses take advantage of data and control flow dependence to accurately understand how the analyzed program works, expanding what races can be predicted.
|
|
|
|
Talk Extended Paper (updated version) Paper Corrigendum to paper Implementation Poster
|
|
|
|
=> https://www.youtube.com/watch?v=YgZWnc31tVQ Talk
|
|
=> https://arxiv.org/pdf/1904.13088.pdf Extended Paper (updated version)
|
|
=> https://dl.acm.org/doi/10.1145/3360605 Paper
|
|
=> https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F3360605&file=3360605-corrigendum.pdf Corrigendum to paper
|
|
=> https://github.com/PLaSSticity/SDP-WDP-implementation Implementation
|
|
=> /extra/DepAware%20Poster.pdf Poster
|
|
|
|
## SmartTrack: Efficient Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), Online, June 2020
|
|
|
|
Predictive data race detection methods greatly improve the number of data races found, but they typically significantly slow down programs compared to their non-predictive counterparts. SmartTrack, through improved analyses and clever algorithms, reduces their overhead to just around non-predictive analyses without impacting their performance.
|
|
|
|
Paper Extended Paper
|
|
|
|
=> http://web.cse.ohio-state.edu/~mikebond/smarttrack-pldi-2020.pdf Paper
|
|
=> https://arxiv.org/pdf/1905.00494.pdf Extended Paper
|
|
|
|
## High-Coverage, Unbounded Sound Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018), Philadelphia, PA, USA, June 2018
|
|
|
|
Predictive data race detection methods typically walk a tight line between predicting more races and avoiding false races. This paper presents a new analysis that can predict more races, and a method to efficiently eliminate false races.
|
|
|
|
Paper Extended Paper
|
|
|
|
=> http://web.cse.ohio-state.edu/~bond.213/vindicator-pldi-2018.pdf Paper
|
|
=> http://web.cse.ohio-state.edu/~bond.213/vindicator-pldi-2018-xtr.pdf Extended Paper
|
|
|
|
# Activities
|
|
|
|
PLDI 2021 Artifact Evaluation Committee member
|
|
|
|
=> https://pldi21.sigplan.org/track/pldi-2021-PLDI-Research-Artifacts PLDI 2021
|
|
|
|
ASPLOS 2021 Artifact Evaluation Committee member
|
|
|
|
=> https://asplos-conference.org/2021/ ASPLOS 2021
|
|
|
|
OOPSLA 2020 Artifact Evaluation Committee member
|
|
|
|
=> https://2020.splashcon.org/track/splash-2020-Artifacts OOPSLA 2020
|