default search action
Vasco Thudichum Vasconcelos
Vasco T. Vasconcelos
Person information
- affiliation: University of Lisbon, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j32]Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos:
Polymorphic higher-order context-free session types. Theor. Comput. Sci. 1001: 114582 (2024) - [c70]Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos:
Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS 2024: 1-10 - [c69]Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos:
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS 2024: 37-48 - [i13]Diogo Poças, Vasco T. Vasconcelos:
Simple grammar bisimilarity, with an application to session type equivalence. CoRR abs/2407.04063 (2024) - 2023
- [j31]Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7(PLDI): 1389-1413 (2023) - [c68]Gil Silva, Andreia Mordido, Vasco T. Vasconcelos:
Subtyping Context-Free Session Types. CONCUR 2023: 11:1-11:19 - [c67]Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos:
System Fμ ømega with Context-free Session Types. ESOP 2023: 392-420 - [c66]Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos:
Kind Inference for the FreeST Programming Language. PLACES@ETAPS 2023: 1-13 - [e7]Santiago Escobar, Vasco T. Vasconcelos:
International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM 2023 [contents] - [e6]Vasco Thudichum Vasconcelos:
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. ACM 2023 [contents] - [i12]Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos:
System Fμω with Context-free Session Types. CoRR abs/2301.08659 (2023) - [i11]Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. CoRR abs/2304.03764 (2023) - [i10]Gil Silva, Andreia Mordido, Vasco T. Vasconcelos:
Subtyping Context-Free Session Types. CoRR abs/2307.05661 (2023) - 2022
- [j30]Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289(Part): 104948 (2022) - [j29]Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos:
Mixed sessions. Theor. Comput. Sci. 897: 23-48 (2022) - [j28]Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida:
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44(4): 26:1-26:55 (2022) - [c65]Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos:
Protocol-Based Smart Contract Generation. Financial Cryptography Workshops 2022: 555-582 - [c64]Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos:
The Different Shades of Infinite Session Types. FoSSaCS 2022: 347-367 - [c63]Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos:
Higher-order Context-free Session Types in System F. PLACES@ETAPS 2022: 24-35 - [i9]Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos:
The Different Shades of Infinite Session Types. CoRR abs/2201.08275 (2022) - 2021
- [i8]Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic Context-free Session Types. CoRR abs/2106.06658 (2021) - [i7]Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos:
Protocol-based Smart Contract Generation. CoRR abs/2108.02672 (2021) - 2020
- [j27]Peter Thiemann, Vasco T. Vasconcelos:
Label-dependent session types. Proc. ACM Program. Lang. 4(POPL): 67:1-67:29 (2020) - [c62]Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido:
Mixed Sessions. ESOP 2020: 715-742 - [c61]Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos:
Statically Checking REST API Consumers. SEFM 2020: 265-283 - [c60]Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos:
Deciding the Bisimilarity of Context-Free Session Types. TACAS (2) 2020: 39-56 - [c59]Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos:
Duality of Session Types: The Final Cut. PLACES@ETAPS 2020: 23-33 - [c58]Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos:
Mixed Sessions: the Other Side of the Tape. PLACES@ETAPS 2020: 46-60 - [i6]Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos:
SafeRESTScript: Statically Checking REST API Consumers. CoRR abs/2007.08048 (2020)
2010 – 2019
- 2019
- [j26]Gilda Ferreira, Vasco T. Vasconcelos:
The computational content of atomic polymorphism. Log. J. IGPL 27(5): 625-638 (2019) - [j25]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019) - [j24]Philipp Haller, Vasco Thudichum Vasconcelos:
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. J. Log. Algebraic Methods Program. 106: 196-197 (2019) - [c57]Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay:
HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 428-434 - [c56]Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP 2019: 583-610 - [c55]Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos:
FreeST: Context-free Session Types in a Functional Language. PLACES@ETAPS 2019: 12-23 - [i5]Peter Thiemann, Vasco T. Vasconcelos:
Label-Dependent Session Types. CoRR abs/1911.00705 (2019) - 2018
- [j23]Joana Campos, Vasco T. Vasconcelos:
Dependent Types for Class-based Mutable Objects (Artifact). Dagstuhl Artifacts Ser. 4(3): 01:1-01:2 (2018) - [j22]Dimitris Mostrous, Vasco T. Vasconcelos:
Affine Sessions. Log. Methods Comput. Sci. 14(4) (2018) - [c54]Joana Campos, Vasco T. Vasconcelos:
Dependent Types for Class-based Mutable Objects. ECOOP 2018: 13:1-13:28 - [i4]Dimitris Mostrous, Vasco T. Vasconcelos:
Affine Sessions. CoRR abs/1809.02781 (2018) - [i3]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018) - 2017
- [j21]Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017) - [j20]Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman:
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proc. ACM Program. Lang. 1(OOPSLA): 103:1-103:26 (2017) - [c53]Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel:
Inferring Types for Parallel Programs. PLACES@ETAPS 2017: 28-36 - [e5]Vasco T. Vasconcelos, Philipp Haller:
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 246, 2017 [contents] - [i2]Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida:
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7(1): 158-189 (2017) - 2016
- [j19]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:
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [j18]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:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [j17]Marco Giunti, Vasco Thudichum Vasconcelos:
Linearity, session types and the Pi calculus. Math. Struct. Comput. Sci. 26(2): 206-237 (2016) - [c52]Peter Thiemann, Vasco T. Vasconcelos:
Context-free session types. ICFP 2016: 462-475 - 2015
- [j16]Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos:
Modular Session Types for Objects. Log. Methods Comput. Sci. 11(4) (2015) - [j15]Alastair F. Donaldson, Vasco T. Vasconcelos:
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). J. Log. Algebraic Methods Program. 84(5): 683 (2015) - [c51]Joana Campos, Vasco T. Vasconcelos:
Imperative objects with dependent types. FTfJP@ECOOP 2015: 2:1-2:6 - [c50]Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Protocol-based verification of message-passing parallel programs. OOPSLA 2015: 280-298 - [c49]César Santos, Francisco Martins, Vasco Thudichum Vasconcelos:
Deductive Verification of Parallel Programs Using Why3. ICE 2015: 128-142 - 2014
- [j14]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26(5): 865-918 (2014) - [c48]Dimitris Mostrous, Vasco Thudichum Vasconcelos:
Affine Sessions. COORDINATION 2014: 115-130 - [c47]Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira:
Typing Liveness in Multiparty Communicating Systems. COORDINATION 2014: 147-162 - [e4]Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents] - 2013
- [c46]Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos:
Coordinating Phased Activities while Maintaining Progress. COORDINATION 2013: 31-44 - [c45]Hugo Torres Vieira, Vasco Thudichum Vasconcelos:
Typing Progress in Communication-Centred Systems. COORDINATION 2013: 236-250 - [c44]Juliana Franco, Vasco Thudichum Vasconcelos:
A Concurrent Programming Language with Refined Session Types. SEFM Workshops 2013: 15-28 - [c43]Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins:
Towards deductive verification of MPI programs against session types. PLACES 2013: 103-113 - 2012
- [j13]António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos:
An Algebra of Behavioural Types. Inf. Comput. 212: 64-91 (2012) - [j12]Vasco T. Vasconcelos:
Fundamentals of session types. Inf. Comput. 217: 52-70 (2012) - [j11]John Field, Vasco Thudichum Vasconcelos:
Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. 77(6): 661-662 (2012) - [c42]Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293 - [c41]Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira:
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC 2012: 82-96 - [c40]Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos:
Linearly Refined Session Types. LINEARITY 2012: 38-49 - 2011
- [j10]Vasco T. Vasconcelos:
Sessions, from Types to Programming Languages. Bull. EATCS 103: 53-73 (2011) - [c39]Dimitris Mostrous, Vasco Thudichum Vasconcelos:
Session Typing for a Featherweight Erlang. COORDINATION 2011: 95-109 - [p1]Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - 2010
- [j9]Luís Caires, Vasco Thudichum Vasconcelos:
18th International Conference on Concurrency Theory. Inf. Comput. 208(6): 605 (2010) - [j8]Simon J. Gay, Vasco Thudichum Vasconcelos:
Linear type theory for asynchronous session types. J. Funct. Program. 20(1): 19-50 (2010) - [c38]Marco Giunti, Vasco Thudichum Vasconcelos:
A Linear Account of Session Types in the Pi Calculus. CONCUR 2010: 432-446 - [c37]Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira:
Modular session types for distributed object-oriented programming. POPL 2010: 299-312 - [c36]Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos:
Runtime Verification for Generic Classes with ConGu 2. SBMF 2010: 33-48 - [c35]Joana Campos, Vasco T. Vasconcelos:
Channels as Objects in Concurrent Object-Oriented Programming. PLACES 2010: 12-28 - [c34]Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro:
Types for X10 Clocks. PLACES 2010: 111-129
2000 – 2009
- 2009
- [c33]Vasco Thudichum Vasconcelos:
Session types for linear multithreaded functional programming. PPDP 2009: 1-6 - [c32]Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos:
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131 - [c31]Vasco Thudichum Vasconcelos:
Fundamentals of Session Types. SFM 2009: 158-186 - [c30]Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro:
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. PLACES 2009: 95-109 - [e3]John Field, Vasco Thudichum Vasconcelos:
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5521, Springer 2009, ISBN 978-3-642-02052-0 [contents] - [e2]Vasco T. Vasconcelos, Nobuko Yoshida:
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008. Electronic Notes in Theoretical Computer Science 241, Elsevier 2009 [contents] - 2008
- [c29]Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda:
Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246 - [c28]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77 - [c27]Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Preface. PLACES@DisCoTec 2008: 1-2 - [c26]Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos:
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. PLACES@DisCoTec 2008: 57-84 - [c25]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Type-Directed Compilation for Multicore Programming. PLACES@DisCoTec 2008: 101-111 - 2007
- [c24]Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314 - [e1]Luís Caires, Vasco Thudichum Vasconcelos:
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703, Springer 2007, ISBN 978-3-540-74406-1 [contents] - 2006
- [j7]Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara:
Typing the Behavior of Software Components using Session Types. Fundam. Informaticae 73(4): 583-598 (2006) - [j6]Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara:
Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2): 64-87 (2006) - [c23]Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis:
Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513 - [c22]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:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - [c21]Nobuko Yoshida, Vasco Thudichum Vasconcelos:
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. SecReT@ICALP 2006: 73-93 - 2005
- [j5]Vasco Thudichum Vasconcelos:
Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. 15(1): 101-127 (2005) - [c20]Francisco Martins, Vasco Thudichum Vasconcelos:
History-Based Access Control for Distributed Processes. TGC 2005: 98-115 - [i1]Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes:
MiKO - Mikado Koncurrent Objects. Foundations of Global Computing 2005 - 2004
- [c19]Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay:
Session Types for Functional Multithreading. CONCUR 2004: 497-511 - [c18]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos:
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207 - 2003
- [c17]Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva:
A Multi-threaded Asynchronous Language. PaCT 2003: 316-323 - [c16]António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes:
Lexically scoped distribution: what you see is what you get. FGC 2003: 61-79 - 2002
- [c15]Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos:
The Impact of Linearity Information on the Performance of TyCO. TIP@MPC 2002: 41-60 - [c14]Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara:
Typing the Behavior of Objects and Component Using Session Types. FOCLASA 2002: 439-456 - 2001
- [j4]Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva:
Fine-Grained Multithreading with Process Calculi. IEEE Trans. Computers 50(8): 852-862 (2001) - 2000
- [c13]Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos:
Fine Grained Multithreading with Process Calculi. IEEE PACT 2000: 217-226 - [c12]Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos:
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. CLUSTER 2000: 297- - [c11]António Ravara, Vasco Thudichum Vasconcelos:
Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488 - [c10]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199
1990 – 1999
- 1999
- [j3]Vasco Thudichum Vasconcelos, António Ravara:
Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999) - [j2]Vasco Thudichum Vasconcelos:
Processes, Functions, and Datatypes. Theory Pract. Object Syst. 5(2): 97-110 (1999) - [c9]Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos:
A Virtual Machine for a Process Calculus. PPDP 1999: 244-260 - 1998
- [c8]Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo:
Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138 - [c7]Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva:
Distribution and Mobility with Lexical Scoping in Process Calculi. HLCL 1998: 189-204 - 1997
- [c6]António Ravara, Vasco Thudichum Vasconcelos:
Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561 - 1995
- [j1]