Luís Caires - RankMe

73 papers A* 3A 16B 12C 4Journal 16Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Thread and Memory-Safe Programming with CLASS. PLACES@ETAPS Luís Caires
2024	J	`jnl`	The Session Abstract Machine (Extended Version). CoRR Luís Caires, Bernardo Toninho
2024	—	`conf`	The Session Abstract Machine. ESOP (1) Luís Caires, Bernardo Toninho
2023	A	`conf`	Safe Session-Based Concurrency with Shared Linear State. ESOP Pedro Rocha, Luís Caires
2021	C	`conf`	A Decade of Dependent Session Types. PPDP Bernardo Toninho, Luís Caires, Frank Pfenning
2021	J	`jnl`	Propositions-as-types and shared state. Proc. ACM Program. Lang. Pedro Rocha, Luís Caires
2019	J	`jnl`	Domain-Aware Session Types (Extended Version). CoRR Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
2019	B	`conf`	Domain-Aware Session Types. CONCUR Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
2019	A	`ed.`	Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings ESOP Luís Caires
2019	J	`jnl`	Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version). CoRR Luís Caires, Bernardo Toninho
2019	J	`jnl`	Refinement kinds: type-safe programming with practical type-level computation. Proc. ACM Program. Lang. Luís Caires, Bernardo Toninho
2018	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings FORTE Christel Baier, Luís Caires
2017	A	`conf`	Linearity, Control Effects, and Behavioral Types. ESOP Luís Caires, Jorge A. Pérez
2016	A	`conf`	Composing Interfering Abstract Protocols. ECOOP Filipe Militão, Jonathan Aldrich, Luís Caires
2016	J	`jnl`	Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 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
2016	J	`jnl`	Linear logic propositions as session types. Math. Struct. Comput. Sci. Luís Caires, Frank Pfenning, Bernardo Toninho
2016	C	`conf`	Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE Luís Caires, Jorge A. Pérez
2015	A*	`conf`	Dependent Information Flow Types. POPL Luísa Lourenço, Luís Caires
2014	J	`jnl`	A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. CoRR Luís Caires, Jorge A. Pérez
2014	—	`conf`	Corecursion and Non-divergence in Session-Typed Processes. TGC Bernardo Toninho, Luís Caires, Frank Pfenning
2014	J	`jnl`	Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
2014	A	`conf`	Rely-Guarantee Protocols. ECOOP Filipe Militão, Jonathan Aldrich, Luís Caires
2014	—	`conf`	Substructural typestates. PLPV Filipe Militão, Jonathan Aldrich, Luís Caires
2013	A	`conf`	Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
2013	A	`conf`	Higher-Order Processes, Functions, and Sessions: A Monadic Integration. ESOP Bernardo Toninho, Luís Caires, Frank Pfenning
2013	—	`conf`	Information Flow Analysis for Valued-Indexed Data Security Compartments. TGC Luísa Lourenço, Luís Caires
2013	A*	`conf`	The type discipline of behavioral separation. POPL Luís Caires, João Costa Seco
2012	—	`conf`	A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
2012	B	`conf`	Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho
2012	B	`conf`	Functions as Session-Typed Processes. FoSSaCS Bernardo Toninho, Luís Caires, Frank Pfenning
2012	A	`conf`	Linear Logical Relations for Session-Based Concurrency. ESOP Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
2012	A	`conf`	SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS Luís Caires, Hugo Torres Vieira
2012	—	`conf`	Towards concurrent type theory. TLDI Luís Caires, Frank Pfenning, Bernardo Toninho
2011	—	`ch.`	Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2011	C	`conf`	Dependent session types via intuitionistic linear type theory. PPDP Bernardo Toninho, Luís Caires, Frank Pfenning
2011	B	`conf`	Proof-Carrying Code in a Session-Typed Process Calculus. CPP Frank Pfenning, Luís Caires, Bernardo Toninho
2011	—	`ch.`	Tools and Verification. Results of the SENSORIA Project Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
2011	A	`conf`	Type-Based Access Control in Data-Centric Systems. ESOP Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
2010	J	`jnl`	18th International Conference on Concurrency Theory. Inf. Comput. Luís Caires, Vasco Thudichum Vasconcelos
2010	—	`conf`	A Spatial-Epistemic Logic for Reasoning about Security Protocols SecCo Bernardo Toninho, Luís Caires
2010	—	`conf`	A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS Mário Pires, Luís Caires
2010	—	`conf`	A simple proof system for lock-free concurrency. PSPL@LICS Luís Caires, Carla Ferreira, António Ravara
2010	—	`conf`	Aliasing control with view-based typestate. FTfJP@ECOOP Filipe Militão, Jonathan Aldrich, Luís Caires
2010	—	`conf`	Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS Luís Caires, Hugo Torres Vieira
2010	J	`jnl`	Conversation types. Theor. Comput. Sci. Luís Caires, Hugo Torres Vieira
2010	B	`conf`	Session Types as Intuitionistic Linear Propositions. CONCUR Luís Caires, Frank Pfenning
2009	A	`conf`	Conversation Types. ESOP Luís Caires, Hugo Torres Vieira
2008	—	`conf`	A Process Calculus Analysis of Compensations. TGC Luís Caires, Carla Ferreira, Hugo Torres Vieira
2008	J	`jnl`	Dynamic Spatial Logics: A Tutorial Survey. Bull. EATCS Luís Caires
2008	J	`jnl`	Spatial-behavioral types for concurrency and resource control in distributed systems. Theor. Comput. Sci. Luís Caires
2008	A	`conf`	The Conversation Calculus: A Model of Service-Oriented Computation. ESOP Hugo Torres Vieira, Luís Caires, João Costa Seco
2007	B	`ed.`	CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings CONCUR Luís Caires, Vasco Thudichum Vasconcelos
2007	B	`conf`	Logical Semantics of Types for Concurrency. CALCO Luís Caires
2006	J	`jnl`	Elimination of quantifiers and undecidability in spatial logics for concurrency. Theor. Comput. Sci. Luís Caires, Étienne Lozes
2006	—	`conf`	Extensionality of Spatial Observations in Distributed Systems. EXPRESS Luís Caires, Hugo Torres Vieira
2006	—	`conf`	SCC: A Service Centered Calculus. WS-FM 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
2006	—	`conf`	Spatial-Behavioral Types, Distributed Services, and Resources. TGC Luís Caires
2006	A	`conf`	Types for Dynamic Reconfiguration. ESOP João Costa Seco, Luís Caires
2005	A*	`ed.`	Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings ICALP Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung
2005	A	`conf`	Subtyping First-Class Polymorphic Components. ESOP João Costa Seco, Luís Caires
2004	J	`jnl`	A spatial logic for concurrency - II. Theor. Comput. Sci. Luís Caires, Luca Cardelli
2004	B	`conf`	Behavioral and Spatial Observations in a Logic for the pi-Calculus. FoSSaCS Luís Caires
2004	B	`conf`	Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR Luís Caires, Étienne Lozes
2003	J	`jnl`	A spatial logic for concurrency (part I). Inf. Comput. Luís Caires, Luca Cardelli
2002	B	`conf`	A Spatial Logic for Concurrency (Part II). CONCUR Luís Caires, Luca Cardelli
2001	—	`conf`	A Spatial Logic for Concurrency. TACS Luís Caires, Luca Cardelli
2000	A	`conf`	A Basic Model of Typed Components. ECOOP João Costa Seco, Luís Caires
1998	A	`conf`	Verifiable and Executable Logic Specifications of Concurrent Objects in L ESOP Luís Caires, Luís Monteiro
1997	—	`conf`	Proof Net Semantics of Proof Search Computation. ALP/HOA Luís Caires, Luís Monteiro
1996	—	`conf`	A Language for the Logical Specification of Processes and Relations. ALP Luís Caires
1994	B	`conf`	Higher-Order Polymorphic Unification for Logic Programming. ICLP Luís Caires, Luís Monteiro
1992	—	`conf`	SLWV - A Theorem Prover for Logic Programming. ELP Luís Moniz Pereira, Luís Caires, José Júlio Alferes
1989	B	`conf`	Towards Distributed Tools for Heterogeneous Logic Programming Environments. ICLP José A. S. Alegria, Artur M. Dias, Luís Caires