I did my PhD at EPFL on automated software verification, making it more practical for real-world code
and showing that verifiability helps performance and safety.
I also co-taught the Software Engineering
and Software Development Project courses.
I spent a year at Sonar redesigning the dataflow bug detection engine to help developers find more complex bugs with fewer false positives.
I also spend some of my free time on reproducibility and fraud detection in science, as you can see in my blog below.
The IEEE Has a Pseudoscience Problem
Guest post on Dorothy Bishop’s blog about absurdities published in the same catalogue as some of the world’s top scientific venues.
Artifact evaluation, theory and practice
SIGOPS guest post with Roberta De Viti and Vaastav Anand, summarizing the HotOS panel we organized and proposing future directions
Troubling ACM Venues
Citation fraud? In venues from reputable publishers? Oh my!
Artifact evaluation, present and future
SIGOPS guest post with suggestions for the CS community based on my experience