• Sign in
  • Sign up
conf.researchr.org / Luís Caires
  • ECOOP 2016 profile
  • ESOP 2015 profile
  • ETAPS 2019 profile
  • ICFP 2021 profile
  • POPL 2019 profile
  • SPLASH 2019 profile
Luís Caires

Registered user since Fri 27 Apr 2018

Name:Luís Caires
Country:Portugal
Affiliation:Universidade Nova de Lisboa and NOVA LINCS
Personal website:http://ctp.di.fct.unl.pt/~lcaires/
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
OPCT 2019 Author of A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic within the OPCT 2019-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
ECOOP 2016 Author of Composing Interfering Abstract Protocols within the Research Track-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track

Share
xWed 18 May 14:28
using conf.researchr.org (v1.55.6)
Support page
Sign Up