Linkedin

Member

Vasco Vasconcelos

ONGOING

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024

PAST

Acronym Title Funding Entity Start Date End Date
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
Pedro ÂngeloAtsushi IgarashiVasco T. VasconcelosLinear Contextual Metaprogramming and Session Types. In Electronic Proceedings in Theoretical Computer Science, pages 1-10. Open Publishing Association, 2024 [Biblios]
Gil SilvaAndreia MordidoVasco T. VasconcelosSubtyping Context-free Session Types. In International Conference on Concurrency Theory (CONCUR), 2023 [Biblios]
Andreia MordidoJanek SpadernaPeter ThiemannVasco T. VasconcelosParameterized Algebraic Protocols. In Proceedings of the ACM on Programming Languages, pages 1389-1413(PLDI). Association for Computing Machinery (ACM), 2023 [Biblios]
Diogo PoçasDiana CostaAndreia MordidoVasco T. VasconcelosSystem $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 AlmeidaAndreia MordidoVasco T. VasconcelosKind Inference for the FreeST Programming Language. In Electronic Proceedings in Theoretical Computer Science, pages 1-13. Open Publishing Association, 2023 [Biblios]
Vasco T. VasconcelosFrancisco MartinsHugo-Andrés LópezNobuko YoshidaA 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]
Simon J. GayDiogo PoçasVasco T. VasconcelosThe 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 CostaAndreia MordidoDiogo PoçasVasco T. VasconcelosHigher-order Context-free Session Types in System F. In Electronic Proceedings in Theoretical Computer Science, pages 24-35. Open Publishing Association, 2022 [Biblios]
Filipe CasalAndreia MordidoVasco T. VasconcelosMixed sessions. Theoretical Computer Science, 897, Elsevier BV, 2022 [Biblios]
Simon J. GayPeter ThiemannVasco T. VasconcelosDuality of Session Types: The Final Cut. In Electronic Proceedings in Theoretical Computer Science, pages 23-33. Open Publishing Association, 2020 [Biblios]
Filipe CasalAndreia MordidoVasco T. VasconcelosMixed Sessions: the Other Side of the Tape. In Electronic Proceedings in Theoretical Computer Science, pages 46-60. Open Publishing Association, 2020 [Biblios]
Peter ThiemannVasco T. VasconcelosLabel-dependent session types. Proceedings of the ACM on Programming Languages, 4(POPL):1-29, Association for Computing Machinery (ACM), 2020 [Biblios]
Nuno BurnayAntónia LopesVasco T. VasconcelosStatically Checking REST API Consumers. In Software Engineering and Formal Methods,Lecture Notes in Computer Science, pages 265-283. Springer International Publishing, 2020 [Biblios]
Bernardo AlmeidaAndreia MordidoVasco T. VasconcelosDeciding 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. VasconcelosFilipe CasalBernardo AlmeidaAndreia MordidoMixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblios]
ATSUSHI IGARASHIPETER THIEMANNYUYA TSUDAVASCO T. VASCONCELOSPHILIP WADLERGradual session types. Journal of Functional Programming, 29, Cambridge University Press (CUP), 2019 [Biblios]
Laura BocchiMaurizio MurgiaVasco Thudichum VasconcelosNobuko YoshidaAsynchronous Timed Session Types, In Programming Languages and Systems,Lecture Notes in Computer Science, pages 583 - 610. Springer International Publishing, 2019 [Biblios]
Vasco T. VasconcelosFrancisco MartinsAntónia LopesNuno BurnayHeadREST: 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. VasconcelosFrancisco MartinsAntónia LopesNuno BurnayHeadREST: 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]
Gilda FerreiraVasco T VasconcelosThe computational content of atomic polymorphism. Logic Journal of the IGPL, 27(5):625-638, Oxford University Press (OUP), 2018 [Biblios]
Dimitris MostrousVasco T. VasconcelosAffine Sessions. Logical Methods in Computer Science, 14(4), 2018 [Biblios]
Joana CamposVasco T. VasconcelosDependent Types for Class-based Mutable Objects. In 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018 [Biblios]
Tiago CogumbreiroRishi SurendranFrancisco MartinsVivek SarkarVasco T. VasconcelosMax GrossmanDeadlock 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 IgarashiPeter ThiemannVasco T. VasconcelosPhilip WadlerGradual session types. Proceedings of the ACM on Programming Languages, 1(ICFP):1-28, Association for Computing Machinery (ACM), 2017 [Biblios]
Francisco MartinsVasco Thudichum VasconcelosHans HüttelInferring Types for Parallel Programs. Electronic Proceedings in Theoretical Computer Science, 246, Open Publishing Association, 2017 [Biblios]
Peter ThiemannVasco T. VasconcelosContext-free session types. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016. ACM Press, 2016 [Biblios]
Hugo A. LópezEduardo R. B. MarquesFrancisco MartinsNicholas NgCésar SantosVasco Thudichum VasconcelosNobuko YoshidaProtocol-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 SantosFrancisco MartinsVasco Thudichum VasconcelosDeductive Verification of Parallel Programs Using Why3. In Electronic Proceedings in Theoretical Computer Science, pages 128-142. Open Publishing Association, 2015 [Biblios]
Joana CamposVasco T. VasconcelosImperative objects with dependent types. In Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15. ACM Press, 2015 [Biblios]
Dimitris MostrousVasco Thudichum VasconcelosAffine Sessions. Lecture Notes in Computer Science,Coordination Models and Languages, 115-130, Springer Berlin Heidelberg, 2014 [Biblios]
Luca PadovaniVasco VasconcelosHugo Torres VieiraTyping liveness in multiparty communicating systems. In 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION), pages 147-162, 2014 [Biblios]
Vasco T. VasconcelosFundamentals of session types. Information and Computation, 217, Elsevier BV, 2012 [Biblios]
António RavaraPedro ResendeVasco T. VasconcelosAn Algebra of Behavioural Types. Information and Computation, 212, Elsevier BV, 2012 [Biblios]
Kohei HondaEduardo R. B. MarquesFrancisco MartinsNicholas NgVasco T. VasconcelosNobuko YoshidaVerification 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]
Vasco VasconcelosFrancisco MartinsTiago CogumbreiroType 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 GayVasco VasconcelosAntónio RavaraNils GesbertAlexandre Z. CaldeiraModular 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]
Francisco MartinsTiago CogumbreiroVasco VasconcelosAn Investigation on Types for X10 Clocks. In Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’10), 2010 [Biblios]
Nobuko YoshidaVasco VasconcelosHervé PaulinoKohei HondaSession-Based Compilation Framework for Multicore Programming. In 7th International Symposium, FMCO 2008 - Formal Methods for Components and Objects, 2009 [Biblios]
Isabel NunesAntónia LopesVasco VasconcelosJoão AbreuLuís S. ReisChecking 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]