Paulo Emílio de Vilhena

According to our database, Paulo Emílio de Vilhena authored at least 8 papers between 2020 and 2024.

Collaborative distances:

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

2024

Extending the C/C++ Memory Model with Inline Assembly.

Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad

Proc. ACM Program. Lang., 2024

Extending the C/C++ Model with Inline Assembly.

Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad

CoRR, 2024

2023

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library.

Paulo Emílio de Vilhena, François Pottier

Log. Methods Comput. Sci., 2023

A Type System for Effect Handlers and Dynamic Labels.

Paulo Emílio de Vilhena, François Pottier

Proceedings of the Programming Languages and Systems, 2023

2021

A separation logic for effect handlers.

Paulo Emílio de Vilhena, François Pottier

Proc. ACM Program. Lang., 2021

Verifying a Minimalist Reverse-Mode AD Library.

Paulo Emílio de Vilhena, François Pottier

CoRR, 2021

2020

Spy game: verifying a local generic solver in Iris.

Paulo Emílio de Vilhena, François Pottier, Jacques-Henri Jourdan

Proc. ACM Program. Lang., 2020

Algebraically Closed Fields in Isabelle/HOL.

Paulo Emílio de Vilhena, Lawrence C. Paulson

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020