Luís Caires -

Registered user since Fri 27 Apr 2018

Name:Luís Caires

Country:Portugal

Affiliation:Universidade Nova de Lisboa and NOVA LINCS

Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification

Contributions

ICFP 2021	Author of Propositions-as-Types and Shared State within the Research Papers-track
SPLASH 2019	Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA Artifacts-track Author of Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation within the OOPSLA-track
ESOP 2019	Session Chair of Program Verification (part of ESOP 2019) Chair in Program Committee within the ESOP 2019-track
ETAPS 2019	Session Chair of Fisher (part of Keynotes) Author of ETAPS Steering committee meeting within the Social-track Committee Member in Steering Committee
OPCT 2019	Author of A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic within the OPCT 2019-track
ECOOP 2016	Author of Composing Interfering Abstract Protocols within the Research Track-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track