Carlos Tomé Cortiñas

I am a researcher in programming languages. I recently obtained a PhD in Computer Science from Chalmers University of Technology. The topic of my PhD thesis was programming languages and security via information-flow control.

Publications

OOPSLA 2024	Sensitivity by Parametricity Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi and Carlos Tomé Cortiñas Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2 Distinguished artifact (acm) (doi)
ICFP 2022	Normalization for Fitch-Style Modal Calculi Nachiappan Valliappan, Fabian Ruch and Carlos Tomé Cortiñas Proceedings of the ACM on Programming Languages, Volume 6, Issue ICFP Distinguished paper award (acm) (doi)
CSF 2020	Securing Asynchronous Exceptions Carlos Tomé Cortiñas, Marco Vassena and Alejandro Russo 33rd IEEE Computer Security Foundations Symposium (ieee)
PLAS 2019	Simple Noninterference by Normalization Carlos Tomé Cortiñas and Nachiappan Valliappan 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security (acm)
TyDe 2018	From Algebra to Abstract Machine: A Verified Generic Construction Carlos Tomé Cortiñas and Wouter Swierstra 3rd ACM SIGPLAN International Workshop on Type-Driven Development (acm)

PhD. Thesis	On the Foundations of Information-Flow Control and Effects Defended in March 2024 Supervised by Alejandro Russo Part of PhD in Computer Science, Chalmers University of Technology (Chalmers repo)
Lic. Thesis	Foundations of Information-Flow Control and Effects Defended in October 2022 Supervised by Alejandro Russo Part of PhD in Computer Science, Chalmers University of Technology (Chalmers repo)
MSc. Thesis	Verified Tail-Recursive Folds through Dissection Defended in July 2018 Supervised by Wouter Swierstra Part of Master in Computing Science, Utrecht University (UU library)
BSc. Thesis	A Type System for Answer Set Programming with Functionals Defended in February 2016 Supervised by Pedro Cabalar and Gilberto Pérez Vega Part of Bachelor in Computer Engineering, University of Coruña

carlos.tome.cortinas (at) gmail.com