A hybrid intermediate language between SSA and CPS. - Paulo Henrique Torrens; Cristiano D. Vasconcellos; Junia Gonçalves (SBLP, 2017)

Inferring types and effects via static single assignment. - Leonardo Filipe Rigon; Paulo Henrique Torrens; Cristiano D. Vasconcellos (SAC, 2020)

A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. - Ariel Agne Da Silveira; Rodrigo Ribeiro 001; Miguel Alfredo Nunes; Paulo Henrique Torrens; Karina Girardi Roggia (SBLP, 2022)

Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. - Dominic Orchard; Mihail Munteanu; Paulo Henrique Torrens (PLACES@ETAPS, 2023)

Soundness-Preserving Fusion of Modal Logics in Coq. - Miguel Alfredo Nunes; Karina Girardi Roggia; Paulo Henrique Torrens (SBMF, 2024)

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs. - Paulo Henrique Torrens; Dominic Orchard; Cristiano D. Vasconcellos (Proc. ACM Program. Lang., 2024)

Interpretando Efeitos Algébricos por Meio de Mônadas. - Karla A. de S. Joriatti; Paulo Henrique Torrens; Rodrigo Geraldo Ribeiro; Cristiano Damiani Vasconcellos (SBLP, 2025)