Paulo Emílio de Vilhena

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Iris Biometrics

Probabilistic Logic

Experimental Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Paulo Emílio de Vilhena, François Pottier
A Type System for Effect Handlers and Dynamic Labels. ESOP (2023)
Paulo Emílio de Vilhena, François Pottier
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library. Log. Methods Comput. Sci. 19 (4) (2023)
Paulo Emílio de Vilhena, François Pottier
Verifying a Minimalist Reverse-Mode AD Library. CoRR (2021)
Paulo Emílio de Vilhena, François Pottier
A separation logic for effect handlers. Proc. ACM Program. Lang. 5 (POPL) (2021)
Paulo Emílio de Vilhena, Lawrence C. Paulson
Algebraically Closed Fields in Isabelle/HOL. IJCAR (2) (2020)
Paulo Emílio de Vilhena, François Pottier, Jacques-Henri Jourdan
Spy game: verifying a local generic solver in Iris. Proc. ACM Program. Lang. 4 (POPL) (2020)