Tiago Cogumbreiro

Registered user since Mon 9 Mar 2015

Name:Tiago Cogumbreiro
Bio:

Tiago is an assistant professor at UMass Boston. Tiago is excited by concurrency theory and parallel programming. In his Ph.D., Tiago proposed two techniques to handle barrier deadlocks: a deadlock-free programming interface, and a runtime verification tool, called Armus. Recently, he has been interested in using Coq and Why3 to produce certified algorithms.

Past experience, includes being a research assistant at Imperial College London, where he was supervised by Nobuko Yoshida, and a visiting scholar at Rice University, where he was supervised by Vivek Sarkar. Tiago received his Ph.D., March ’15, at ULisboa, where he was advised by Francisco Martins, and his B.Sc. at Universidade dos Açores.

Country:United States
Affiliation:University of Massachusetts Boston
Research interests:Concurrency, Type Systems, Dependent Types, Parallel Programming

Contributions

PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
BEAT 2019 Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track
PLACES 2019 Committee Member in Program Committee within the PLACES-track
PPoPP 2019 Author of Transitive Joins: A Sound and Efficient Online Deadlock-Avoidance Policy within the Main Conference-track
PPoPP 2017 ERC member in External Committee
SPLASH 2017 Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track
X10 2015 Committee Member in Program Committee within the X10-track