Publications

• Weighted NetKAT: A Programming Language For Quantitative Network Verification
  Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Bøving, Nate Foster, and Alexandra Silva
  PLDI 2026
  


• Effects and Coeffects in Call-By-Push-Value
  Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
  OOPSLA 2024
  [arXiv] [code] [slides]

Drafts

• Making Logical Relations More Relatable
  Emmanuel Suárez Acevedo and Stephanie Weirich
  September 2023