81 lines
3.9 KiB
Markdown
81 lines
3.9 KiB
Markdown
# Research Interests
|
|
|
|
My research interests include programming languages, persistent memory (NVM),
|
|
dynamic program analysis, and data race detection.
|
|
|
|
I am currently working on novel methods for providing efficient persistent
|
|
transactions with strong guarantees. Our work uses non-volatile memory, such as
|
|
Intel Optane Memory, combined with commodity hardware transactional memory to
|
|
allow programs to survive power interruptions and crashes, with minimal
|
|
performance and scalability impacts.
|
|
|
|
# Publications
|
|
|
|
<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>
|
|
|
|
[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)
|
|
</div>
|
|
|
|
|
|
<div class="publication">
|
|
## Dependence Aware, Predictive Unbounded 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>
|
|
|
|
[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)
|
|
</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>
|
|
|
|
[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 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>
|
|
|
|
[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>
|
|
|
|
# Teaching Experience
|
|
|
|
During Autumn 2017 and Spring 2018 semesters, I had the opportunity to teach the
|
|
class [CSE
|
|
2451](http://coe-portal.cse.ohio-state.edu/pdf-exports/CSE/CSE-2451.pdf),
|
|
Advanced C Programming, at the Ohio State Univerity. The class had around 35
|
|
students enrolled for both semesters. I was given the full responsibilities for
|
|
the class, including teaching the class, writing assignments and exams, grading,
|
|
and holding office hours. I revised the course material I was given, making it
|
|
more comprehensive and adding unique insights on building and optimizing
|
|
advanced C programs.
|
|
|
|
The students were satisfied with my teaching, with my Student Evaluation of
|
|
Instruction mean scores being 4.6 and 4.4 out of 5 for both semesters, a score
|
|
above the university mean for classes of similar size.
|
|
|
|
# Activities
|
|
|
|
[OOPSLA 2020](https://2020.splashcon.org/track/splash-2020-Artifacts) Artifact Evaluation Committee member
|
|
|
|
|
|
|
|
<div class="other-stuff">
|
|
# Other stuff
|
|
|
|
<a class="img" href="https://seriousbug.itch.io/the-land-itself">
|
|
\
|
|
</a>
|
|
|
|
On my free time, I develop small indie video games and release them open source.
|
|
</div>
|