Vasco T. Vasconcelos

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 43

Top Topics

Grammatical Inference

Context Free Languages

Contractual Obligations

Programming Language

Top Venues

Proc. ACM Program. Lang.

Theor. Comput. Sci.

Publications

Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS (2024)
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos
Behavioural Types for Heterogeneous Systems (Position Paper). PLACES@ETAPS (2024)
Diogo Poças, Vasco T. Vasconcelos
Simple grammar bisimilarity, with an application to session type equivalence. CoRR (2024)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Polymorphic higher-order context-free session types. Theor. Comput. Sci. 1001 (2024)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Kind Inference for the FreeST Programming Language. CoRR (2023)
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Subtyping Context-Free Session Types. CoRR (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. CoRR (2023)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
with Context-free Session Types. CoRR (2023)
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Subtyping Context-Free Session Types. CONCUR (2023)
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos
with Context-free Session Types. ESOP (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
The Different Shades of Infinite Session Types. CoRR (2022)
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Mixed sessions. Theor. Comput. Sci. 897 (2022)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289 (Part) (2022)
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
The Different Shades of Infinite Session Types. FoSSaCS (2022)
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
Protocol-Based Smart Contract Generation. Financial Cryptography Workshops (2022)
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos
Higher-order Context-free Session Types in System F. PLACES@ETAPS (2022)
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) (2022)
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
Protocol-based Smart Contract Generation. CoRR (2021)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic Context-free Session Types. CoRR (2021)
Peter Thiemann, Vasco T. Vasconcelos
Label-dependent session types. Proc. ACM Program. Lang. 4 (POPL) (2020)
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
Statically Checking REST API Consumers. SEFM (2020)
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
SafeRESTScript: Statically Checking REST API Consumers. CoRR (2020)
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
Mixed Sessions. ESOP (2020)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Deciding the Bisimilarity of Context-Free Session Types. TACAS (2) (2020)
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Mixed Sessions: the Other Side of the Tape. PLACES@ETAPS (2020)
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality of Session Types: The Final Cut. PLACES@ETAPS (2020)
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
FreeST: Context-free Session Types in a Functional Language. PLACES@ETAPS (2019)
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)
Gilda Ferreira, Vasco T. Vasconcelos
The computational content of atomic polymorphism. Log. J. IGPL 27 (5) (2019)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. J. Funct. Program. 29 (2019)
Peter Thiemann, Vasco T. Vasconcelos
Label-Dependent Session Types. CoRR (2019)
Dimitris Mostrous, Vasco T. Vasconcelos
Affine Sessions. Log. Methods Comput. Sci. 14 (4) (2018)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual Session Types. CoRR (2018)
Joana Campos, Vasco T. Vasconcelos
Dependent Types for Class-based Mutable Objects (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Joana Campos, Vasco T. Vasconcelos
Dependent Types for Class-based Mutable Objects. ECOOP (2018)
Dimitris Mostrous, Vasco T. Vasconcelos
Affine Sessions. CoRR (2018)
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
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) (2017)
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7 (1) (2017)
Peter Thiemann, Vasco T. Vasconcelos
Context-free session types. ICFP (2016)
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) (2016)
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) (2016)
Joana Campos, Vasco T. Vasconcelos
Imperative objects with dependent types. FTfJP@ECOOP (2015)
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) (2015)
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Towards deductive verification of MPI programs against session types. PLACES (2013)
Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. TGC (2012)
Vasco T. Vasconcelos
Fundamentals of session types. Inf. Comput. 217 (2012)
Vasco T. Vasconcelos
Sessions, from Types to Programming Languages. Bull. EATCS 103 (2011)
Joana Campos, Vasco T. Vasconcelos
Channels as Objects in Concurrent Object-Oriented Programming PLACES (2010)