Emmanuel Suárez Acevedo

According to our database, Emmanuel Suárez Acevedo authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Weighted NetKAT: A Programming Language For Quantitative Network Verification.

Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Bøving, Nate Foster, Alexandra Silva

CoRR, April, 2026

2024

Effects and Coeffects in Call-by-Push-Value.

Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich

Proc. ACM Program. Lang., 2024

2023

Effects and Coeffects in Call-By-Push-Value (Extended Version).

Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich

CoRR, 2023

Making Logical Relations More Relatable (Proof Pearl).

Emmanuel Suárez Acevedo, Stephanie Weirich

CoRR, 2023