Linkedin

Member

Vasco Vasconcelos

Vasco Vasconcelos Serves as Program Chair at INForum 2026
Diana Costa delivers Invited Talk at LSFA 2026
Vasco Vasconcelos lecturer at the FoPSS 2026
Distinguished Publications @ LASIGE Workshop 2026
LASIGE and the World Logic Day
Vasco T. Vasconcelos publishes in PACMPL journal
LASIGE researchers featured on 2025 Stanford's University top 2% most-cited authors
LASIGE researchers featured on 2024 Stanford's University top 2% most-cited authors
LASIGE research published in Theoretical Computer Science
Vasco Vasconcelos @ Kyoto University
LASIGE researchers featured on 2023 Stanford's University top 2% most-cited authors
LASIGE hosts SPLASH'2023
LASIGE @ INForum 2023
LASIGE’s MSc student Gil Silva's paper accepted at CONCUR 2023
Andreia Mordido and Vasco Vasconcelos' research published @ PLDI 2023
LASIGE Workshop on Project Proposal Writing: Lessons Learned from Succesful PIs
LASIGE researchers featured on Stanford's University top 2% most-cited scientists list
LASIGE @ Ciências Research Day 2022
Invited talk @ DCC
LASIGE at INForum 2022 organization
LASIGE distinguished @ the 111st Ciências ULisboa anniversary
LASIGE's Executive Committee Elected (2022/2023)
LASIGE at the Portuguese Society of Logic
LASIGE researchers at Stanford University's list world's top 2% scientists
Vasco Vasconcelos at EHEVF 2020
LASIGE projects selected by FCT at the Call 2020
New LASIGE Executive Committee Elected (2020/2021)
LASIGE members have been selected to host prestigious conferences in their fields
Talks@DI: Edwin Brady, "Type-driven Development with Idris"
Invited Seminar @ Imperial College London
PLACES 2017 organization
Dagstuhl Seminar co-organisation
Lecture at BETTY Summer School 2016
PTDC 2014 | SR&TD 2014 Project Grants results
LaSIGE researchers congratulated with a Notable Article @ Computing Reviews' 19th Annual Best of Computing list

PAST

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
Static Verification of Safe Parallelism Static Verification of Safe Parallelism FLAD 01/01/2016 31/12/2016
BETTY BETTY - Behavioural types for reliable large-scale software systems COST ACTION 26/10/2012 25/10/2016
LIVENESS LIVENESS - Liveness, statically FCT 20/03/2012 19/09/2015
MULTICORE MULTICORE - Advanced Type Systems for Multicore Programming FCT 01/01/2012 31/12/2014
QUEST A Quest for Reliability in Generic Software Components FCT 01/01/2010 31/12/2012
AssertionTypes Assertion Types for Object-Oriented Programming FCT 01/01/2010 31/12/2011
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers EU FP6 01/09/2005 28/02/2010
to
Paula Lopes, Diana Costa, Vasco T. Vasconcelos. Integrating Type Operators into the FreeST Programming Language. In Proceedings INFORUM 2024, 2024 [Biblios]
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Polymorphic higher-order context-free session types. Theoretical Computer Science, 1001, Elsevier BV, 2024 [Biblios]
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos. Linear Contextual Metaprogramming and Session Types. In Electronic Proceedings in Theoretical Computer Science, pages 1-10. Open Publishing Association, 2024 [Biblios]
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos. Behavioural Types for Heterogeneous Systems (Position Paper). In Electronic Proceedings in Theoretical Computer Science, pages 37-48. Open Publishing Association, 2024 [Biblios]
Lopes, Guilherme João Correia, Rodrigues, Andreia Filipa Torcato Mordido, Vasconcelos, Vasco Thudichum. Improving parallel and concurrent programming in FreeST. Master's dissertation, 2024 [Biblios]
Vasco T. Vasconcelos. Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, ACM, 2023 [Biblios]
Santiago Escobar, Vasco T. Vasconcelos. International Symposium on Principles and Practice of Declarative Programming, ACM, 2023 [Biblios]
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos. Subtyping Context-free Session Types. In International Conference on Concurrency Theory (CONCUR), 2023 [Biblios]
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos. Parameterized Algebraic Protocols. In Proceedings of the ACM on Programming Languages, pages 1389-1413(PLDI). Association for Computing Machinery (ACM), 2023 [Biblios]
Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos. System $F^\mu _\omega$ with Context-free Session Types. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 392-420. Springer Nature Switzerland, 2023 [Biblios]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Kind Inference for the FreeST Programming Language. In Electronic Proceedings in Theoretical Computer Science, pages 1-13. Open Publishing Association, 2023 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida. A Type Discipline for Message Passing Parallel Programs. ACM Transactions on Programming Languages and Systems, 44(4):1-55, Association for Computing Machinery (ACM), 2022 [Biblios]
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos. Polymorphic lambda calculus with context-free session types. Information and Computation, 289, Elsevier BV, 2022 [Biblios]
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos. The Different Shades of Infinite Session Types. In Lecture Notes in Computer Science,Foundations of Software Science and Computation Structures, pages 347-367. Springer International Publishing, 2022 [Biblios]
Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos. Higher-order Context-free Session Types in System F. In Electronic Proceedings in Theoretical Computer Science, pages 24-35. Open Publishing Association, 2022 [Biblios]
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos. Mixed sessions. Theoretical Computer Science, 897, Elsevier BV, 2022 [Biblios]
Monteiro, Alexandre de Alegria Junceiro Mascarenhas, Mordido, Andreia Filipa Torcato, Vasconcelos, Vasco Thudichum. SmartScribble, a protocol language for Plutus smart contracts. Master's dissertation, 2022 [Biblios]
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos. Protocol-based Smart Contract Generation. In Workshop on Trusted Smart Contracts, 2022 [Biblios]
Sardinha, Inês Maria Caldeira, Poças, Diogo Miguel Ferreira, Vasconcelos, Vasco Thudichum. Algorithms for infinite session types. Master's dissertation, 2022 [Biblios]
Barros, Diogo Filipe da Paz de, Vasconcelos, Vasco Thudichum, Mordido, Andreia. Shared Channels on Context-free Session Types. Master's dissertation, 2022 [Biblios]
Afonso Neves Ribeiro Freire Falcão, Andreia Filipa Torcato Mordido, Vasco Manuel Thudichum de Serpa Vasconcelos. A protocol language for smart contracts. Master's dissertation, 2021 [Biblios]
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos. Duality of Session Types: The Final Cut. In Electronic Proceedings in Theoretical Computer Science, pages 23-33. Open Publishing Association, 2020 [Biblios]
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos. Mixed Sessions: the Other Side of the Tape. In Electronic Proceedings in Theoretical Computer Science, pages 46-60. Open Publishing Association, 2020 [Biblios]
Peter Thiemann, Vasco T. Vasconcelos. Label-dependent session types. Proceedings of the ACM on Programming Languages, 4(POPL):1-29, Association for Computing Machinery (ACM), 2020 [Biblios]
Francisco Robalinho Medeiros, Vasco Manuel Thudichum de Serpa Vasconcelos, Maria Antónia Bacelar da Costa Lopes. Security and Usability in the HeadREST Language. Master's dissertation, 2020 [Biblios]
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos. Statically Checking REST API Consumers. In Software Engineering and Formal Methods,Lecture Notes in Computer Science, pages 265-283. Springer International Publishing, 2020 [Biblios]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Deciding the Bisimilarity of Context-Free Session Types. In Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, pages 39-56. Springer International Publishing, 2020 [Biblios]
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido. Mixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblios]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. FreeST: Context-free Session Types in a Functional Language, Electronic Proceedings in Theoretical Computer Science, 2019 [Biblios]
Burnay, Nuno Miguel Pereira, Vasconcelos, Vasco Thudichum, Lopes, Maria Antónia Bacelar da Costa. Types to the rescue: verification of REST APIs consumer code. Master's dissertation, 2019 [Biblios]
ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER. Gradual session types. Journal of Functional Programming, 29, Cambridge University Press (CUP), 2019 [Biblios]
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida. Asynchronous Timed Session Types, In Programming Languages and Systems,Lecture Notes in Computer Science, pages 583 - 610. Springer International Publishing, 2019 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. HeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. HeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Bernardo Pinto de Almeida, Vasco Manuel Thudichum de Serpa Vasconcelos. Uma linguagem de programação com tipos de sessão independentes do contexto. Master's dissertation, 2018 [Biblios]
Gilda Ferreira, Vasco T Vasconcelos. The computational content of atomic polymorphism. Logic Journal of the IGPL, 27(5):625-638, Oxford University Press (OUP), 2018 [Biblios]
Dimitris Mostrous, Vasco T. Vasconcelos. Affine Sessions. Logical Methods in Computer Science, 14(4), 2018 [Biblios]
Telmo da Silva Santos, Maria Antónia Bacelar da Costa Lopes, Vasco Manuel Thudichum de Serpa Vasconcelos. Code Generation for RESTful APIs REST in HeadREST. Master's dissertation, 2018 [Biblios]
Joana Correia Campos, Vasco Manuel Thudichum de Serpa Vasconcelos. Adding Dependent Types to Class-based Mutable Objects. PhD thesis, 2018 [Biblios]
Joana Campos, Vasco T. Vasconcelos. Dependent Types for Class-based Mutable Objects. In 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018 [Biblios]
Fábio Alexandre Canada Ferreira, Martins, Francisco Cipriano da Cunha, Vasconcelos, Vasco Thudichum. Automatic tests generation for Restful Apis. Master's dissertation, 2017 [Biblios]
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. Proceedings of the ACM on Programming Languages, 1(OOPSLA):1-26, Association for Computing Machinery (ACM), 2017 [Biblios]
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler. Gradual session types. Proceedings of the ACM on Programming Languages, 1(ICFP):1-28, Association for Computing Machinery (ACM), 2017 [Biblios]
Vasco T. Vasconcelos, Philipp Haller. Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Electronic Proceedings in Theoretical Computer Science, 2017 [Biblios]
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel. Inferring Types for Parallel Programs. Electronic Proceedings in Theoretical Computer Science, 246, Open Publishing Association, 2017 [Biblios]
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida. Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports, 1(7):158-189, 2017 [Biblios]
Hans Hüttel, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara. Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49(1):1-36, Association for Computing Machinery (ACM), 2016 [Biblios]
Peter Thiemann, Vasco T. Vasconcelos. Context-free session types. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016. ACM Press, 2016 [Biblios]
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 Bono, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends® in Programming Languages, 3(2-3):95-230, Now Publishers, 2016 [Biblios]
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. In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM, 2015 [Biblios]
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos. Deductive Verification of Parallel Programs Using Why3. In Electronic Proceedings in Theoretical Computer Science, pages 128-142. Open Publishing Association, 2015 [Biblios]
Joana Campos, Vasco T. Vasconcelos. Imperative objects with dependent types. In Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15. ACM Press, 2015 [Biblios]
Alastair Donaldson, Vasco Vasconcelos. Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014) Preface, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015 [Biblios]
Vasco T. Vasconcelos. Alastair F. Donaldson, Vasco T. Vasconcelos: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, 2014 [Biblios]
Dimitris Mostrous, Vasco Thudichum Vasconcelos. Affine Sessions. Lecture Notes in Computer Science,Coordination Models and Languages, 115-130, Springer Berlin Heidelberg, 2014 [Biblios]
Camacho, André Filipe Marinhas Henriques da Silva, Vasconcelos, Vasco Thudichum, Vieira, Hugo Filipe Mendes Torres. Tools and techniques for the static verification of progress in communication-centred systems. Master's dissertation, 2014 [Biblios]
Henriques, Daniela Pedro, Vasconcelos, Vasco Thudichum, Bessani, Alysson Neves. Uma linguagem de protocolos para descrever Sistemas Distribuídos tolerantes a falhas. Master's dissertation, 2014 [Biblios]
Lemos, Filipe Emanuel Ventura Pires de Matos, Vasconcelos, Vasco Thudichum, Marques, Eduardo Resende Brandão. Synthesis of correct-by-construction MPI programs. Master's dissertation, 2014 [Biblios]
Santos, César Augusto Ribeiro dos, Martins, Francisco Cipriano da Cunha, Vasconcelos, Vasco Thudichum. Protocol based programming of concurrent systems. Master's dissertation, 2014 [Biblios]
Luca Padovani, Vasco Vasconcelos, Hugo Torres Vieira. Typing liveness in multiparty communicating systems. In 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION), pages 147-162, 2014 [Biblios]
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 of Computing, 26(5):865-918, Springer Science and Business Media LLC, 2013 [Biblios]
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 of Computing, 26(5):865-918, Springer Science and Business Media LLC, 2013 [Biblios]
Franco, Juliana Patrícia Vicente, Vasconcelos, Vasco Thudichum, Martins, Francisco Cipriano da Cunha. A concurrent programming language with session types. Master's dissertation, 2013 [Biblios]
tSilva, Roberto Rosa da, Martins, Francisco Cipriano da Cunha, Vasconcelos, Vasco Thudichum. Uma máquina virtual para uma linguagem concorrente intermédia. Master's dissertation, 2013 [Biblios]
Martins, Nuno Alexandre Dias, Marques, Eduardo Resende Brandão, Vasconcelos, Vasco Thudichum. Formal Verification of Parallel C+MPI Programs. Master's dissertation, 2013 [Biblios]
Vasco T. Vasconcelos. Fundamentals of session types. Information and Computation, 217, Elsevier BV, 2012 [Biblios]
John Field, Vasco T. Vasconcelos. Selected Papers from the Eleventh International Conference on Coordination Models and Languages, Elsevier BV, Science of Computer Programming, 2012 [Biblios]
António Ravara, Pedro Resende, Vasco T. Vasconcelos. An Algebra of Behavioural Types. Information and Computation, 212, Elsevier BV, 2012 [Biblios]
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, Nobuko Yoshida. Verification of MPI Programs Using Session Types, In Recent Advances in the Message Passing Interface,Lecture Notes in Computer Science, pages 291 - 293. Springer Berlin Heidelberg, 2012 [Biblios]
Pedro Crispim, Antónia Lopes, Vasco Vasconcelos. Monitorização da Correcçãode Classes Genéricas. In INFORUM - Simpósio deInformática, 2010 [Biblios]
Vasco Vasconcelos, Francisco Martins, Tiago Cogumbreiro. Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. In In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), , pages 95–10, 2010 [Biblios]
Simon Gay, Vasco Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira. Modular Session Types for Distributed Object-Oriented Programming. In POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 299-312, 2010 [Biblios]
Pedro Crispim, Antónia Lopes, Vasco Vasconcelos. Runtime Verification for Generic Classes with ConGu2. In Proceedings of SBFM 2010, 2010 [Biblios]
Francisco Martins, Tiago Cogumbreiro, Vasco Vasconcelos. An Investigation on Types for X10 Clocks. In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), 2010 [Biblios]
Nobuko Yoshida, Vasco Vasconcelos, Hervé Paulino, Kohei Honda. Session-Based Compilation Framework for Multicore Programming. In 7th International Symposium, FMCO 2008 - Formal Methods for Components and Objects, 2009 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis. Checking the Conformance of Java Classes Against Algebraic Specifications, In Formal Methods and Software Engineering,Lecture Notes in Computer Science, pages 494 - 513. Springer Berlin Heidelberg, 2006 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Rei. Testing Implementations of Algebraic Specifications with Design-By-Contract Tools, 2005 [Biblios]