Vasco Thudichum Vasconcelos

According to our database, Vasco Thudichum Vasconcelos authored at least 107 papers between 1991 and 2024.

Collaborative distances:

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

2024

Polymorphic higher-order context-free session types.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

Theor. Comput. Sci., 2024

Simple grammar bisimilarity, with an application to session type equivalence.

Diogo Poças, Vasco T. Vasconcelos

CoRR, 2024

Behavioural Types for Heterogeneous Systems (Position Paper).

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

Linear Contextual Metaprogramming and Session Types.

Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

2023

AlgST.

Janek Spaderna, Peter Thiemann, Andreia Mordido, Vasco Thudichum Vasconcelos

Dataset, April, 2023

Parameterized Algebraic Protocols.

Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos

Proc. ACM Program. Lang., 2023

Kind Inference for the FreeST Programming Language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

System F^μ_ω with Context-free Session Types.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

CoRR, 2023

System F^μ _ømega with Context-free Session Types.

Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Programming Languages and Systems, 2023

Subtyping Context-Free Session Types.

Gil Silva, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

A Type Discipline for Message Passing Parallel Programs.

Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., December, 2022

Mixed sessions.

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos

Theor. Comput. Sci., 2022

Polymorphic lambda calculus with context-free session types.

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos

Inf. Comput., 2022

Higher-order Context-free Session Types in System F.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

The Different Shades of Infinite Session Types.

Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos

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

Protocol-Based Smart Contract Generation.

Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

2021

Polymorphic Context-free Session Types.

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos

CoRR, 2021

2020

Label-dependent session types.

Peter Thiemann, Vasco T. Vasconcelos

Proc. ACM Program. Lang., 2020

SafeRESTScript: Statically Checking REST API Consumers.

Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos

CoRR, 2020

Mixed Sessions: the Other Side of the Tape.

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Duality of Session Types: The Final Cut.

Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Deciding the Bisimilarity of Context-Free Session Types.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

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

Statically Checking REST API Consumers.

Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Mixed Sessions.

Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido

Proceedings of the Programming Languages and Systems, 2020

2019

Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software.

Philipp Haller, Vasco Thudichum Vasconcelos

J. Log. Algebraic Methods Program., 2019

Gradual session types.

Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler

J. Funct. Program., 2019

The computational content of atomic polymorphism.

Gilda Ferreira, Vasco T. Vasconcelos

Log. J. IGPL, 2019

FreeST: Context-free Session Types in a Functional Language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2019

HeadREST: A Specification Language for RESTful APIs.

Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

Affine Sessions.

Dimitris Mostrous, Vasco T. Vasconcelos

Log. Methods Comput. Sci., 2018

Dependent Types for Class-based Mutable Objects (Artifact).

Joana Campos, Vasco T. Vasconcelos

Dagstuhl Artifacts Ser., 2018

Dependent Types for Class-based Mutable Objects.

Joana Campos, Vasco T. Vasconcelos

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Gradual session types.

Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler

Proc. ACM Program. Lang., 2017

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.

Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman

Proc. ACM Program. Lang., 2017

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida

Dagstuhl Reports, 2017

Inferring Types for Parallel Programs.

Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

2016

Linearity, session types and the Pi calculus.

Marco Giunti, Vasco Thudichum Vasconcelos

Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida

Found. Trends Program. Lang., 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

Context-free session types.

Peter Thiemann, Vasco T. Vasconcelos

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014).

Alastair F. Donaldson, Vasco T. Vasconcelos

J. Log. Algebraic Methods Program., 2015

Modular Session Types for Objects

Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos

Log. Methods Comput. Sci., 2015

Deductive Verification of Parallel Programs Using Why3.

César Santos, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Imperative objects with dependent types.

Joana Campos, Vasco T. Vasconcelos

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2014

The stream-based service-centred calculus: a foundation for service-oriented programming.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

Formal Aspects Comput., 2014

Typing Liveness in Multiparty Communicating Systems.

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

Proceedings of the Coordination Models and Languages, 2014

2013

Towards deductive verification of MPI programs against session types.

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

A Concurrent Programming Language with Refined Session Types.

Juliana Franco, Vasco Thudichum Vasconcelos

Proceedings of the Software Engineering and Formal Methods, 2013

Typing Progress in Communication-Centred Systems.

Hugo Torres Vieira, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Coordinating Phased Activities while Maintaining Progress.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

Selected Papers from the Eleventh International Conference on Coordination Models and Languages.

John Field, Vasco Thudichum Vasconcelos

Sci. Comput. Program., 2012

Fundamentals of session types.

Vasco T. Vasconcelos

Inf. Comput., 2012

An Algebra of Behavioural Types.

António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos

Inf. Comput., 2012

Linearly Refined Session Types

Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos

Proceedings of the Proceedings 2nd International Workshop on Linearity, 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

Verification of MPI Programs Using Session Types.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Recent Advances in the Message Passing Interface, 2012

2011

Sessions, from Types to Programming Languages.

Vasco T. Vasconcelos

Bull. EATCS, 2011

Session Typing for a Featherweight Erlang.

Dimitris Mostrous, Vasco Thudichum Vasconcelos

Proceedings of the Coordination Models and Languages - 13th 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

2010

Linear type theory for asynchronous session types.

Simon J. Gay, Vasco Thudichum Vasconcelos

J. Funct. Program., 2010

18th International Conference on Concurrency Theory.

Luís Caires, Vasco Thudichum Vasconcelos

Inf. Comput., 2010

Types for X10 Clocks

Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Channels as Objects in Concurrent Object-Oriented Programming

Joana Campos, Vasco T. Vasconcelos

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Runtime Verification for Generic Classes with ConGu 2.

Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos

Proceedings of the Formal Methods: Foundations and Applications, 2010

Modular session types for distributed object-oriented programming.

Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A Linear Account of Session Types in the Pi Calculus.

Marco Giunti, Vasco Thudichum Vasconcelos

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

2009

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Session types for linear multithreaded functional programming.

Vasco Thudichum Vasconcelos

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

Preface.

Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Type-Directed Compilation for Multicore Programming.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Compiling the pi-calculus into a Multithreaded Typed Assembly Language.

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Session-Based Compilation Framework for Multicore Programming.

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.

Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Type checking a multithreaded functional language with session types.

Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara

Theor. Comput. Sci., 2006

Typing the Behavior of Software Components using Session Types.

Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara

Fundam. Informaticae, 2006

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.

Nobuko Yoshida, Vasco Thudichum Vasconcelos

Proceedings of the First International Workshop on Security and Rewriting Techniques, 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

Checking the Conformance of Java Classes Against Algebraic Specifications.

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Lambda and pi calculi, CAM and SECD machines.

Vasco Thudichum Vasconcelos

J. Funct. Program., 2005

History-Based Access Control for Distributed Processes.

Francisco Martins, Vasco Thudichum Vasconcelos

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

MiKO - Mikado Koncurrent Objects.

Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

2004

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Session Types for Functional Multithreading.

Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Lexically scoped distribution: what you see is what you get.

António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

A Multi-threaded Asynchronous Language.

Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva

Proceedings of the Parallel Computing Technologies, 2003

2002

Typing the Behavior of Objects and Component Using Session Types.

Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

The Impact of Linearity Information on the Performance of TyCO.

Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos

Proceedings of the International Workshop in Types in Programming, 2002

2001

Fine-Grained Multithreading with Process Calculi.

Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva

IEEE Trans. Computers, 2001

2000

Secure Information Flow as Typed Process Behaviour.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2000

Typing Non-uniform Concurrent Objects.

António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the CONCUR 2000, 2000

A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.

Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos

Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000

1999

Processes, Functions, and Datatypes.

Vasco Thudichum Vasconcelos

Theory Pract. Object Syst., 1999

Communication Errors in the pi-Calculus are Undecidable.

Vasco Thudichum Vasconcelos, António Ravara

Inf. Process. Lett., 1999

A Virtual Machine for a Process Calculus.

Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

1998

Distribution and Mobility with Lexical Scoping in Process Calculi.

Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

Language Primitives and Type Discipline for Structured Communication-Based Programming.

Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo

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

Behavioural Types for a Calculus of Concurrent Objects.

António Ravara, Vasco Thudichum Vasconcelos

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1995

Unification of Kinded Infinite Trees.

Vasco Thudichum Vasconcelos

Inf. Process. Lett., 1995

1994

Predicative Polymorphism in Pi-Calculus.

Vasco Thudichum Vasconcelos

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Typed Concurrent Objects.

Vasco Thudichum Vasconcelos

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993

A Typing System for a Calculus of Objects.

Vasco Thudichum Vasconcelos, Mario Tokoro

Proceedings of the Object Technologies for Advanced Software, 1993

Principal Typing Schemes in a Polyadic pi-Calculus.

Vasco Thudichum Vasconcelos, Kohei Honda

Proceedings of the CONCUR '93, 1993

1991

Traces Semantics for Actor Systems.

Vasco Thudichum Vasconcelos, Mario Tokoro

Proceedings of the Object-Based Concurrent Computing, 1991