Luís Caires

According to our database, Luís Caires authored at least 66 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

The Session Abstract Machine (Extended Version).

Luís Caires, Bernardo Toninho

CoRR, 2024

The Session Abstract Machine.

Luís Caires, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2024

2023

Safe Session-Based Concurrency with Shared Linear State.

Pedro Rocha, Luís Caires

Proceedings of the Programming Languages and Systems, 2023

2021

Propositions-as-types and shared state.

Pedro Rocha, Luís Caires

Proc. ACM Program. Lang., 2021

A Decade of Dependent Session Types.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2019

Refinement kinds: type-safe programming with practical type-level computation.

Luís Caires, Bernardo Toninho

Proc. ACM Program. Lang., 2019

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version).

Luís Caires, Bernardo Toninho

CoRR, 2019

Domain-Aware Session Types (Extended Version).

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

CoRR, 2019

Domain-Aware Session Types.

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2017

Linearity, Control Effects, and Behavioral Types.

Luís Caires, Jorge A. Pérez

Proceedings of the Programming Languages and Systems, 2017

2016

Linear logic propositions as session types.

Luís Caires, Frank Pfenning, Bernardo Toninho

Math. Struct. Comput. Sci., 2016

Foundations of Session Types and Behavioural Contracts.

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

ACM Comput. Surv., 2016

Multiparty Session Types Within a Canonical Binary Theory, and Beyond.

Luís Caires, Jorge A. Pérez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Composing Interfering Abstract Protocols.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Dependent Information Flow Types.

Luísa Lourenço, Luís Caires

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Linear logical relations and observational equivalences for session-based concurrency.

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho

Inf. Comput., 2014

A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions.

Luís Caires, Jorge A. Pérez

CoRR, 2014

Corecursion and Non-divergence in Session-Typed Processes.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Substructural typestates.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Rely-Guarantee Protocols.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Information Flow Analysis for Valued-Indexed Data Security Compartments.

Luísa Lourenço, Luís Caires

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

The type discipline of behavioral separation.

Luís Caires, João Costa Seco

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Higher-Order Processes, Functions, and Sessions: A Monadic Integration.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2013

Behavioral Polymorphism and Parametricity in Session-Based Communication.

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2013

2012

Towards concurrent type theory.

Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

A Type System for Flexible Role Assignment in Multiparty Communicating Systems.

Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.

Luís Caires, Hugo Torres Vieira

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Functions as Session-Typed Processes.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Linear Logical Relations for Session-Based Concurrency.

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2012

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.

Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Dependent session types via intuitionistic linear type theory.

Bernardo Toninho, Luís Caires, Frank Pfenning

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Type-Based Access Control in Data-Centric Systems.

Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão

Proceedings of the Programming Languages and Systems, 2011

Proof-Carrying Code in a Session-Typed Process Calculus.

Frank Pfenning, Luís Caires, Bernardo Toninho

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Core Calculi for Service-Oriented Computing.

Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.

Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Conversation types.

Luís Caires, Hugo Torres Vieira

Theor. Comput. Sci., 2010

18th International Conference on Concurrency Theory.

Luís Caires, Vasco Thudichum Vasconcelos

Inf. Comput., 2010

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Bernardo Toninho, Luís Caires

Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010

A simple proof system for lock-free concurrency.

Luís Caires, Carla Ferreira, António Ravara

Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

A Type System for Access Control Views in Object-Oriented Languages.

Mário Pires, Luís Caires

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Analysis of Service Oriented Software Systems with the Conversation Calculus.

Luís Caires, Hugo Torres Vieira

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Aliasing control with view-based typestate.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Session Types as Intuitionistic Linear Propositions.

Luís Caires, Frank Pfenning

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2008

Spatial-behavioral types for concurrency and resource control in distributed systems.

Luís Caires

Theor. Comput. Sci., 2008

Dynamic Spatial Logics: A Tutorial Survey.

Luís Caires

Bull. EATCS, 2008

A Process Calculus Analysis of Compensations.

Luís Caires, Carla Ferreira, Hugo Torres Vieira

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

The Conversation Calculus: A Model of Service-Oriented Computation.

Hugo Torres Vieira, Luís Caires, João Costa Seco

Proceedings of the Programming Languages and Systems, 2008

2007

Logical Semantics of Types for Concurrency.

Luís Caires

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Elimination of quantifiers and undecidability in spatial logics for concurrency.

Luís Caires, Étienne Lozes

Theor. Comput. Sci., 2006

Extensionality of Spatial Observations in Distributed Systems.

Luís Caires, Hugo Torres Vieira

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

SCC: A Service Centered Calculus.

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

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Spatial-Behavioral Types, Distributed Services, and Resources.

Luís Caires

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Types for Dynamic Reconfiguration.

João Costa Seco, Luís Caires

Proceedings of the Programming Languages and Systems, 2006

2005

Subtyping First-Class Polymorphic Components.

João Costa Seco, Luís Caires

Proceedings of the Programming Languages and Systems, 2005

2004

A spatial logic for concurrency - II.

Luís Caires, Luca Cardelli

Theor. Comput. Sci., 2004

Behavioral and Spatial Observations in a Logic for the pi-Calculus.

Luís Caires

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

A spatial logic for concurrency (part I).

Luís Caires, Luca Cardelli

Inf. Comput., 2003

2002

A Spatial Logic for Concurrency (Part II).

Luís Caires, Luca Cardelli

Proceedings of the CONCUR 2002, 2002

2001

A Spatial Logic for Concurrency.

Luís Caires, Luca Cardelli

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000

A Basic Model of Typed Components.

João Costa Seco, Luís Caires

Proceedings of the ECOOP 2000, 2000

1998

Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi.

Luís Caires, Luís Monteiro

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

Proof Net Semantics of Proof Search Computation.

Luís Caires, Luís Monteiro

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

A Language for the Logical Specification of Processes and Relations.

Luís Caires

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1994

Higher-Order Polymorphic Unification for Logic Programming.

Luís Caires, Luís Monteiro

Proceedings of the Logic Programming, 1994

1992

SLWV - A Theorem Prover for Logic Programming.

Luís Moniz Pereira, Luís Caires, José Júlio Alferes

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1989

Towards Distributed Tools for Heterogeneous Logic Programming Environments.

José A. S. Alegria, Artur M. Dias, Luís Caires

Proceedings of the Logic Programming, 1989