Vasco Thudichum Vasconcelos

According to our database1, Vasco Thudichum Vasconcelos authored at least 78 papers between 1991 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Dependent Types for Class-based Mutable Objects.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
Gradual session types.
PACMPL, 2017

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

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

Inferring Types for Parallel Programs.
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.
Mathematical Structures in Computer Science, 2016

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Context-free session types.
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).
J. Log. Algebr. Meth. Program., 2015

Modular Session Types for Objects
Logical Methods in Computer Science, 2015

Deductive Verification of Parallel Programs Using Why3.
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

Protocol-based verification of message-passing parallel programs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Imperative objects with dependent types.
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.
Formal Asp. Comput., 2014

Typing Liveness in Multiparty Communicating Systems.
Proceedings of the Coordination Models and Languages, 2014

Affine Sessions.
Proceedings of the Coordination Models and Languages, 2014

2013
Towards deductive verification of MPI programs against session types.
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.
Proceedings of the Software Engineering and Formal Methods, 2013

Typing Progress in Communication-Centred Systems.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Coordinating Phased Activities while Maintaining Progress.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Selected Papers from the Eleventh International Conference on Coordination Models and Languages.
Sci. Comput. Program., 2012

An Algebra of Behavioural Types.
Inf. Comput., 2012

Linearly Refined Session Types
Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

A Type System for Flexible Role Assignment in Multiparty Communicating Systems.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Verification of MPI Programs Using Session Types.
Proceedings of the Recent Advances in the Message Passing Interface, 2012

2011
Sessions, from Types to Programming Languages.
Bulletin of the EATCS, 2011

Session Typing for a Featherweight Erlang.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Core Calculi for Service-Oriented Computing.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Linear type theory for asynchronous session types.
J. Funct. Program., 2010

18th International Conference on Concurrency Theory.
Inf. Comput., 2010

Types for X10 Clocks
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
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.
Proceedings of the Formal Methods: Foundations and Applications, 2010

Modular session types for distributed object-oriented programming.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A Linear Account of Session Types in the Pi Calculus.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009

Type-Directed Compilation for Multicore Programming.
Electr. Notes Theor. Comput. Sci., 2009

Compiling the pi-calculus into a Multithreaded Typed Assembly Language.
Electr. Notes Theor. Comput. Sci., 2009

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Fundamentals of Session Types.
Proceedings of the Formal Methods for Web Services, 2009

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

Session types for linear multithreaded functional programming.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Session-Based Compilation Framework for Multicore Programming.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electr. Notes Theor. Comput. Sci., 2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.
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.
Theor. Comput. Sci., 2006

Typing the Behavior of Software Components using Session Types.
Fundam. Inform., 2006

SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Checking the Conformance of Java Classes Against Algebraic Specifications.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
Lambda and pi calculi, CAM and SECD machines.
J. Funct. Program., 2005

History-Based Access Control for Distributed Processes.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

MiKO - Mikado Koncurrent Objects.
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.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Session Types for Functional Multithreading.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Typing the Behavior of Objects and Component Using Session Types.
Electr. Notes Theor. Comput. Sci., 2003

Lexically scoped distribution: what you see is what you get.
Electr. Notes Theor. Comput. Sci., 2003

A Multi-threaded Asynchronous Language.
Proceedings of the Parallel Computing Technologies, 2003

2002
The Impact of Linearity Information on the Performance of TyCO.
Electr. Notes Theor. Comput. Sci., 2002

2001
Fine-Grained Multithreading with Process Calculi.
IEEE Trans. Computers, 2001

2000
Secure Information Flow as Typed Process Behaviour.
Proceedings of the Programming Languages and Systems, 2000

Typing Non-uniform Concurrent Objects.
Proceedings of the CONCUR 2000, 2000

A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.
Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000

Fine Grained Multithreading with Process Calculi.
Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), 2000

1999
Processes, Functions, and Datatypes.
TAPOS, 1999

Communication Errors in the pi-Calculus are Undecidable.
Inf. Process. Lett., 1999

A Virtual Machine for a Process Calculus.
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.
Electr. Notes Theor. Comput. Sci., 1998

Language Primitives and Type Discipline for Structured Communication-Based Programming.
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.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1995
Unification of Kinded Infinite Trees.
Inf. Process. Lett., 1995

1994
Predicative Polymorphism in Pi-Calculus.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Typed Concurrent Objects.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993
A Typing System for a Calculus of Objects.
Proceedings of the Object Technologies for Advanced Software, 1993

Principal Typing Schemes in a Polyadic pi-Calculus.
Proceedings of the CONCUR '93, 1993

1991
Traces Semantics for Actor Systems.
Proceedings of the Object-Based Concurrent Computing, 1991


  Loading...