conf.researchr.org / Pedro da Costa Abreu Junior
Pedro da Costa Abreu Junior

Registered user since Thu 10 Nov 2022

Name:Pedro da Costa Abreu Junior
Country:United States
Affiliation:Purdue University
Personal website:htpps://pedroabreu0.github.io
Twitter:https://twitter.com/p_droabreu0
GitHub:https://github.com/pedrotst

Contributions

POPL 2023 Author of A Type-Based Approach to Divide-and-Conquer Recursion in Coq within the POPL-track
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2020 Author of Shrinking Coq's Trusted Code Base by Transpiling to a Minimal Type Theory within the Student Research Competition-track