David Castro-Perez
Research
Publications
Talks
Teaching
Blog Posts

David Castro-Perez

Canterbury, UK
University of Kent
Email
Google Scholar
ORCID
dblp
Github
X (formerly Twitter)

Program Optimisations via Hylomorphisms for Extraction of Executable Code

David Castro-Perez, Marco Paviotti, Michael Vollmer
ITP 2025: 32:1-32:20
[pdf]

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 David Castro-Perez. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.