Vasco Thudichum Vasconcelos

69 papers A* 1A 5B 8C 11Journal 15Unranked 27
YearRankTypeTitle / Venue / Authors
2023 — ed.
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023
SPLASH Companion
Vasco Thudichum Vasconcelos
2019 A conf
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.
ESOP
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2019 J jnl
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software.
J. Log. Algebraic Methods Program.
Philipp Haller, Vasco Thudichum Vasconcelos
2017 — conf
Inferring Types for Parallel Programs.
PLACES@ETAPS
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
2016 J jnl
Linearity, session types and the Pi calculus.
Math. Struct. Comput. Sci.
Marco Giunti, Vasco Thudichum Vasconcelos
2015 — conf
Deductive Verification of Parallel Programs Using Why3.
ICE
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos
2015 J jnl
Modular Session Types for Objects
Log. Methods Comput. Sci.
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
2015 A conf
Protocol-based verification of message-passing parallel programs.
OOPSLA
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2014 C conf
Affine Sessions.
COORDINATION
Dimitris Mostrous, Vasco Thudichum Vasconcelos
2014 J jnl
The stream-based service-centred calculus: a foundation for service-oriented programming.
Formal Aspects Comput.
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2014 C conf
Typing Liveness in Multiparty Communicating Systems.
COORDINATION
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
2013 — conf
A Concurrent Programming Language with Refined Session Types.
SEFM Workshops
Juliana Franco, Vasco Thudichum Vasconcelos
2013 C conf
Coordinating Phased Activities while Maintaining Progress.
COORDINATION
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
2013 C conf
Typing Progress in Communication-Centred Systems.
COORDINATION
Hugo Torres Vieira, Vasco Thudichum Vasconcelos
2012 J jnl
An Algebra of Behavioural Types.
Inf. Comput.
António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos
2012 — conf
Linearly Refined Session Types
LINEARITY
Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos
2012 J jnl
Selected Papers from the Eleventh International Conference on Coordination Models and Languages.
Sci. Comput. Program.
John Field, Vasco Thudichum Vasconcelos
2012 C conf
Verification of MPI Programs Using Session Types.
EuroMPI
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
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
Session Typing for a Featherweight Erlang.
COORDINATION
Dimitris Mostrous, Vasco Thudichum Vasconcelos
2010 J jnl
18th International Conference on Concurrency Theory.
Inf. Comput.
Luís Caires, Vasco Thudichum Vasconcelos
2010 B conf
A Linear Account of Session Types in the Pi Calculus.
CONCUR
Marco Giunti, Vasco Thudichum Vasconcelos
2010 J jnl
Linear type theory for asynchronous session types.
J. Funct. Program.
Simon J. Gay, Vasco Thudichum Vasconcelos
2010 A* conf
Modular session types for distributed object-oriented programming.
POPL
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
2010 — conf
Runtime Verification for Generic Classes with ConGu 2.
SBMF
Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos
2010 — conf
Types for X10 Clocks
PLACES
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
2009 B conf
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.
RV
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
2009 C ed.
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
COORDINATION
John Field, Vasco Thudichum Vasconcelos
2009 — conf
Fundamentals of Session Types.
SFM
Vasco Thudichum Vasconcelos
2009 C conf
Session types for linear multithreaded functional programming.
PPDP
Vasco Thudichum Vasconcelos
2009 — conf
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
PLACES
Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro
2008 — conf
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
FMOODS
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2008 — conf
Compiling the pi-calculus into a Multithreaded Typed Assembly Language.
PLACES@DisCoTec
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
2008 — conf
Preface.
PLACES@DisCoTec
Vasco Thudichum Vasconcelos, Nobuko Yoshida
2008 — conf
Session-Based Compilation Framework for Multicore Programming.
FMCO
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
2008 — conf
Type-Directed Compilation for Multicore Programming.
PLACES@DisCoTec
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
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
Disciplining Orchestration and Conversation in Service-Oriented Computing.
SEFM
Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara
2006 C conf
Checking the Conformance of Java Classes Against Algebraic Specifications.
ICFEM
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
2006 — conf
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
SecReT@ICALP
Nobuko Yoshida, Vasco Thudichum Vasconcelos
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 J jnl
Type checking a multithreaded functional language with session types.
Theor. Comput. Sci.
Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
2006 J jnl
Typing the Behavior of Software Components using Session Types.
Fundam. Informaticae
Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
2005 — conf
History-Based Access Control for Distributed Processes.
TGC
Francisco Martins, Vasco Thudichum Vasconcelos
2005 J jnl
Lambda and pi calculi, CAM and SECD machines.
J. Funct. Program.
Vasco Thudichum Vasconcelos
2005 — conf
MiKO - Mikado Koncurrent Objects.
Foundations of Global Computing
Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
2004 — conf
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.
Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos
2004 B conf
Session Types for Functional Multithreading.
CONCUR
Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
2003 B conf
A Multi-threaded Asynchronous Language.
PaCT
Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
2003 — conf
Lexically scoped distribution: what you see is what you get.
FGC
António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
2002 — conf
The Impact of Linearity Information on the Performance of TyCO.
TIP@MPC
Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
2002 — conf
Typing the Behavior of Objects and Component Using Session Types.
FOCLASA
Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
2001 J jnl
Fine-Grained Multithreading with Process Calculi.
IEEE Trans. Computers
Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
2000 C conf
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.
CLUSTER
Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
2000 — conf
Fine Grained Multithreading with Process Calculi.
IEEE PACT
Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
2000 A conf
Secure Information Flow as Typed Process Behaviour.
ESOP
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2000 B conf
Typing Non-uniform Concurrent Objects.
CONCUR
António Ravara, Vasco Thudichum Vasconcelos
1999 C conf
A Virtual Machine for a Process Calculus.
PPDP
Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
1999 J jnl
Communication Errors in the pi-Calculus are Undecidable.
Inf. Process. Lett.
Vasco Thudichum Vasconcelos, António Ravara
1999 J jnl
Processes, Functions, and Datatypes.
Theory Pract. Object Syst.
Vasco Thudichum Vasconcelos
1998 — conf
Distribution and Mobility with Lexical Scoping in Process Calculi.
HLCL
Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva
1998 A conf
Language Primitives and Type Discipline for Structured Communication-Based Programming.
ESOP
Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
1997 — conf
Behavioural Types for a Calculus of Concurrent Objects.
Euro-Par
António Ravara, Vasco Thudichum Vasconcelos
1995 J jnl
Unification of Kinded Infinite Trees.
Inf. Process. Lett.
Vasco Thudichum Vasconcelos
1994 — conf
Predicative Polymorphism in Pi-Calculus.
PARLE
Vasco Thudichum Vasconcelos
1994 A conf
Typed Concurrent Objects.
ECOOP
Vasco Thudichum Vasconcelos
1993 — conf
A Typing System for a Calculus of Objects.
ISOTAS
Vasco Thudichum Vasconcelos, Mario Tokoro
1993 B conf
Principal Typing Schemes in a Polyadic pi-Calculus.
CONCUR
Vasco Thudichum Vasconcelos, Kohei Honda
1991 — conf
Traces Semantics for Actor Systems.
Object-Based Concurrent Computing
Vasco Thudichum Vasconcelos, Mario Tokoro