69 lines
3.8 KiB
Markdown
69 lines
3.8 KiB
Markdown
|
---
|
||
|
|
no-ttr: true
|
||
|
|
---
|
||
|
|
|
||
|
|
<div> <div class="publication">
|
||
|
|
## Crafty: Efficient, HTM-Compatible Persistent Transactions
|
||
|
|
<div class="authors">Kaan Genç, Michael D. Bond, and Guoqing Harry Xu</div>
|
||
|
|
<div class="conf">ACM SIGPLAN Conference on Programming Language Design and Implementation <a href="https://pldi20.sigplan.org/home">(PLDI 2020)</a>, Online, June 2020</div>
|
||
|
|
|
||
|
|
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](https://www.youtube.com/watch?v=wdVLlQXV1to) [Paper](https://dl.acm.org/doi/10.1145/3385412.3385991) [Extended Paper](https://arxiv.org/pdf/2004.00262.pdf) [Implementation](https://github.com/PLaSSticity/Crafty) [Poster](/extra/Crafty Poster.pdf)
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="publication">
|
||
|
|
## Dependence Aware, Unbounded Sound Predictive Race Detection
|
||
|
|
<div class="authors">Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond</div>
|
||
|
|
<div class="conf">ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications <a href="https://2019.splashcon.org/track/splash-2019-oopsla">(OOPSLA 2019)</a>, Athens, Greece, October 2019</div>
|
||
|
|
|
||
|
|
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](https://www.youtube.com/watch?v=YgZWnc31tVQ) [Extended Paper (updated version)](https://arxiv.org/pdf/1904.13088.pdf) [Paper](https://dl.acm.org/doi/10.1145/3360605) [Corrigendum to paper](https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F3360605&file=3360605-corrigendum.pdf) [Implementation](https://github.com/PLaSSticity/SDP-WDP-implementation) [Poster](/extra/DepAware Poster.pdf)
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="publication">
|
||
|
|
## SmartTrack: Efficient Predictive Race Detection
|
||
|
|
<div class="authors">Jake Roemer, Kaan Genç, and Michael D. Bond</div>
|
||
|
|
<div class="conf">ACM SIGPLAN Conference on Programming Language Design and Implementation <a href="https://pldi20.sigplan.org/home">(PLDI 2020)</a>, Online, June 2020 </div>
|
||
|
|
|
||
|
|
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](http://web.cse.ohio-state.edu/~mikebond/smarttrack-pldi-2020.pdf) [Extended Paper](https://arxiv.org/pdf/1905.00494.pdf)
|
||
|
|
</div>
|
||
|
|
|
||
|
|
|
||
|
|
<div class="publication">
|
||
|
|
## High-Coverage, Unbounded Sound Predictive Race Detection
|
||
|
|
<div class="authors">Jake Roemer, Kaan Genç, and Michael D. Bond</div>
|
||
|
|
<div class="conf">ACM SIGPLAN Conference on Programming Language Design and Implementation <a href="https://pldi18.sigplan.org/">(PLDI 2018)</a>, Philadelphia, PA, USA, June 2018</div>
|
||
|
|
|
||
|
|
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](http://web.cse.ohio-state.edu/~bond.213/vindicator-pldi-2018.pdf) [Extended Paper](http://web.cse.ohio-state.edu/~bond.213/vindicator-pldi-2018-xtr.pdf)
|
||
|
|
</div>
|
||
|
|
</div>
|
||
|
|
|
||
|
|
# Activities
|
||
|
|
|
||
|
|
[PLDI 2021](https://pldi21.sigplan.org/track/pldi-2021-PLDI-Research-Artifacts) Artifact Evaluation Committee member
|
||
|
|
|
||
|
|
[ASPLOS 2021](https://asplos-conference.org/2021/) Artifact Evaluation Committee member
|
||
|
|
|
||
|
|
[OOPSLA 2020](https://2020.splashcon.org/track/splash-2020-Artifacts) Artifact Evaluation Committee member
|