2020

  • [July] Through my research, we unveiled and fixed a bug in the Go data-race detector. I’ll be presenting the work at SEFM in September.

  • [April] Our paper on Go and race detection was accepted for publication by the Science of Computer Programming journal

  • [March] Working on a new synchronization primitive for the Thread Sanitizer Library (TSan) in support of a fix to the Go data-race detector

  • [February] My first small contribution to LLVM was merged!


2019


2018


2017