Conference

Poster

Workshop

  • Ramesh Balaji, Meera Sridhar, Matthew Revelle. Formalizing Discovery of Weird States and Weird Machine Primitives Using Program Semantics, Workshop on Programming Languages and Analysis for Security (PLAS), October 2024.