+## 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](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)
+
+
+
+
+## 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](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)
+
+
+
+
+## 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](http://web.cse.ohio-state.edu/~mikebond/smarttrack-pldi-2020.pdf) [Extended Paper](https://arxiv.org/pdf/1905.00494.pdf)
+
+
+
+
+## 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](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)
+
+
+
+# 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
diff --git a/static/vid/react-redux-causes-re-renders.mp4 b/static/vid/react-redux-causes-re-renders.mp4
new file mode 100644
index 0000000..fc7d4e7
Binary files /dev/null and b/static/vid/react-redux-causes-re-renders.mp4 differ