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
Hi there!
I’m a PhD student working in the Dependable Systems Lab at EPFL on automated verification of software. One part of my work is making verification more practical, so that developers can use verification techniques in real-world code. The other part is showing that making code more verifiable is a desirable goal even outside of verification, as it is synonymous with improving software design to make it faster and safer.
I’ve also worked on improving the reproducibility of science and on identifying scientific fraud, as you can see in my blog below.
To reach me, see my EPFL directory page.
Check out my research and my blog below!
(If you’re at EPFL, you may find my useful things at EPFL doc helpful)
SIGOPS guest post with Roberta De Viti and Vaastav Anand, summarizing the HotOS panel we organized and proposing future directions
Citation fraud? In venues from reputable publishers? Oh my!
SIGOPS guest post with suggestions for the CS community based on my experience