Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Paper Title Number 1

Published in Journal 1, 2009

This paper is about the number 1. The number 2 is left for future work.

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides | Download Bibtex

Paper Title Number 2

Published in Journal 1, 2010

This paper is about the number 2. The number 3 is left for future work.

Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides

Paper Title Number 3

Published in Journal 1, 2015

This paper is about the number 3. The number 4 is left for future work.

Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides

Paper Title Number 4

Published in GitHub Journal of Bugs, 2024

This paper is about fixing template issue #693.

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper

Paper Title Number 5, with math \(E=mc^2\)

Published in GitHub Journal of Bugs, 2024

This paper is about a famous math equation, \(E=mc^2\)

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper

SimSpect: Automated litmus testing for simulated Spectre defenses

Published: September 23, 2025

Presented a lightning talk and poster at the Stanford Centaur 2025 conference. Stanford Centaur, or the Center for Automated Reasoning, is a research group focused on automated reasoning theory and algorithms and tools. I presented SimSpect, my work on formalizing Spectre defense specifications and generating and executing comprehensive litmus test suite from these specifications.

SimSpect: Automated litmus testing for simulated Spectre defenses

Published: October 08, 2025

Presented in the student forum at FMCAD, Formal Methods in Computer-Aided Design, a conference on theory and applications of formal methods in hardware and system verification. I presented SimSpect, my work on formalizing Spectre defense specifications and generating and executing comprehensive litmus test suite from these specifications.

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.