Photo of me

Solal Pirelli

CV | Teaching | Research | GitHub | LinkedIn | Contact

I co-taught EPFL’s Software Engineering course, and the associated Software Development Project course.

I research automated verification of software, making it more practical for real-world code and showing that verifiability is synonymous with performance and safety.

I also work on reproducibility and fraud detection in science, as you can see in my blog below.

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