Luís Caires

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 14

Top Topics

Propositional Calculus

Information Flows

Abstract Machine

Top Venues

Proc. ACM Program. Lang.

Publications

Luís Caires, Bernardo Toninho
The Session Abstract Machine (Extended Version). CoRR (2024)
Luís Caires, Bernardo Toninho
The Session Abstract Machine. ESOP (1) (2024)
Pedro Rocha, Luís Caires
Safe Session-Based Concurrency with Shared Linear State. ESOP (2023)
Pedro Rocha, Luís Caires
Propositions-as-types and shared state. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Bernardo Toninho, Luís Caires, Frank Pfenning
A Decade of Dependent Session Types. PPDP (2021)
Luís Caires, Bernardo Toninho
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version). CoRR (2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Domain-Aware Session Types (Extended Version). CoRR (2019)
Luís Caires, Bernardo Toninho
Refinement kinds: type-safe programming with practical type-level computation. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Domain-Aware Session Types. CONCUR (2019)
Luís Caires, Jorge A. Pérez
Linearity, Control Effects, and Behavioral Types. ESOP (2017)
Luís Caires, Jorge A. Pérez
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE (2016)
Luís Caires, Frank Pfenning, Bernardo Toninho
Linear logic propositions as session types. Math. Struct. Comput. Sci. 26 (3) (2016)
Filipe Militão, Jonathan Aldrich, Luís Caires
Composing Interfering Abstract Protocols. ECOOP (2016)
Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Luísa Lourenço, Luís Caires
Dependent Information Flow Types. POPL (2015)
Filipe Militão, Jonathan Aldrich, Luís Caires
Substructural typestates. PLPV (2014)
Bernardo Toninho, Luís Caires, Frank Pfenning
Corecursion and Non-divergence in Session-Typed Processes. TGC (2014)
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239 (2014)
Filipe Militão, Jonathan Aldrich, Luís Caires
Rely-Guarantee Protocols. ECOOP (2014)
Luís Caires, Jorge A. Pérez
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. CoRR (2014)
Bernardo Toninho, Luís Caires, Frank Pfenning
Higher-Order Processes, Functions, and Sessions: A Monadic Integration. ESOP (2013)
Luís Caires, João Costa Seco
The type discipline of behavioral separation. POPL (2013)
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP (2013)
Luísa Lourenço, Luís Caires
Information Flow Analysis for Valued-Indexed Data Security Compartments. TGC (2013)
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC (2012)
Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL (2012)
Bernardo Toninho, Luís Caires, Frank Pfenning
Functions as Session-Typed Processes. FoSSaCS (2012)
Luís Caires, Hugo Torres Vieira
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS (2012)
Luís Caires, Frank Pfenning, Bernardo Toninho
Towards concurrent type theory. TLDI (2012)
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
Linear Logical Relations for Session-Based Concurrency. ESOP (2012)
Bernardo Toninho, Luís Caires, Frank Pfenning
Dependent session types via intuitionistic linear type theory. PPDP (2011)
Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
Type-Based Access Control in Data-Centric Systems. ESOP (2011)
Frank Pfenning, Luís Caires, Bernardo Toninho
Proof-Carrying Code in a Session-Typed Process Calculus. CPP (2011)
Filipe Militão, Jonathan Aldrich, Luís Caires
Aliasing control with view-based typestate. FTfJP@ECOOP (2010)
Mário Pires, Luís Caires
A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS (2010)
Luís Caires, Hugo Torres Vieira
Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS (2010)
Luís Caires, Frank Pfenning
Session Types as Intuitionistic Linear Propositions. CONCUR (2010)
Luís Caires, Carla Ferreira, António Ravara
A simple proof system for lock-free concurrency. PSPL@LICS (2010)
Bernardo Toninho, Luís Caires
A Spatial-Epistemic Logic for Reasoning about Security Protocols SecCo (2010)
Luís Caires, Hugo Torres Vieira
Conversation types. Theor. Comput. Sci. 411 (51-52) (2010)
Luís Caires, Vasco Thudichum Vasconcelos
18th International Conference on Concurrency Theory. Inf. Comput. 208 (6) (2010)
Luís Caires, Hugo Torres Vieira
Conversation Types. ESOP (2009)
Luís Caires
Spatial-behavioral types for concurrency and resource control in distributed systems. Theor. Comput. Sci. 402 (2-3) (2008)
Luís Caires
Dynamic Spatial Logics: A Tutorial Survey. Bull. EATCS 94 (2008)
Luís Caires, Carla Ferreira, Hugo Torres Vieira
A Process Calculus Analysis of Compensations. TGC (2008)
Hugo Torres Vieira, Luís Caires, João Costa Seco
The Conversation Calculus: A Model of Service-Oriented Computation. ESOP (2008)
Luís Caires
Logical Semantics of Types for Concurrency. CALCO (2007)
Luís Caires, Hugo Torres Vieira
Extensionality of Spatial Observations in Distributed Systems. EXPRESS (2006)
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
SCC: A Service Centered Calculus. WS-FM (2006)
Luís Caires
Spatial-Behavioral Types, Distributed Services, and Resources. TGC (2006)
João Costa Seco, Luís Caires
Types for Dynamic Reconfiguration. ESOP (2006)
Luís Caires, Étienne Lozes
Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. 358 (2-3) (2006)
João Costa Seco, Luís Caires
Subtyping First-Class Polymorphic Components. ESOP (2005)
Luís Caires, Étienne Lozes
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR (2004)
Luís Caires, Luca Cardelli
A spatial logic for concurrency - II. Theor. Comput. Sci. 322 (3) (2004)
Luís Caires
Behavioral and Spatial Observations in a Logic for the pi-Calculus. FoSSaCS (2004)
Luís Caires, Luca Cardelli
A spatial logic for concurrency (part I). Inf. Comput. 186 (2) (2003)
Luís Caires, Luca Cardelli
A Spatial Logic for Concurrency (Part II). CONCUR (2002)
Luís Caires, Luca Cardelli
A Spatial Logic for Concurrency. TACS (2001)
João Costa Seco, Luís Caires
A Basic Model of Typed Components. ECOOP (2000)
Luís Caires, Luís Monteiro
. ESOP (1998)
Luís Caires, Luís Monteiro
Proof Net Semantics of Proof Search Computation. ALP/HOA (1997)
Luís Caires
A Language for the Logical Specification of Processes and Relations. ALP (1996)
Luís Caires, Luís Monteiro
Higher-Order Polymorphic Unification for Logic Programming. ICLP (1994)
Luís Moniz Pereira, Luís Caires, José Júlio Alferes
SLWV - A Theorem Prover for Logic Programming. ELP (1992)
José A. S. Alegria, Artur M. Dias, Luís Caires
Towards Distributed Tools for Heterogeneous Logic Programming Environments. ICLP (1989)