## image-survey A web application to run surveys where users compare 2 images to pick the one they prefer. Uses a Python backend utilizing asyncio capabilities with the Sanic web server and SQLite. The front end is a React app, written in JavaScript and Material-UI. [Github](https://github.com/SeriousBug/image-survey) [Demo](https://imagesurvey.kaangenc.me/)

## WorkTime Work-in-progress offline-first mobile app for productivity and time management. Uses React Native with TypeScript, and a PouchDB database on the client side. Currently planning to add a backend supported by CouchDB to provide synchronization capabilities. [Github](https://github.com/SeriousBug/WorkTime)

## Crafty A transactional persistent memory library, written in C. Provides transactional data storage capabilities to programs by utilizing existing hardware transactional memory support of processors, combined with the new non-volatile memory hardware. Allows programs to store and access data efficiently, and without the need for additional concurrency synchronization. This is the corresponding implementation for one of my publications listed below. [Github](https://github.com/PLaSSticity/Crafty)

## Crafty A transactional persistent memory library, written in C. Provides transactional data storage capabilities to programs by utilizing existing hardware transactional memory support of processors, combined with the new non-volatile memory hardware. Allows programs to store and access data efficiently, and without the need for additional concurrency synchronization. This is the corresponding implementation for the publication of the same name listed below. [Github](https://github.com/PLaSSticity/Crafty)

## SDP & WDP data race detectors Data race detection for Java programs using predictive dynamic data race analyses. Predictive race analysis looks at a single execution of a program to detect races that may occur in many other executions. Our analyses use data and control flow dependence to find more data races compared to other analyses. This is the corresponding implementation for my publication "Dependence Aware, Unbounded Sound Predictive Race Detection". [Github](https://github.com/PLaSSticity/SDP-WDP-implementation)

## 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

[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

[Talk](https://www.youtube.com/watch?v=YgZWnc31tVQ) [Paper](https://dl.acm.org/doi/10.1145/3360605) [Extended Paper](https://arxiv.org/pdf/1904.13088.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

[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

[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)