MEMBER

Vasco Vasconcelos

Profile Picture of Vasco Vasconcelos

ONGOING

Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 29/02/2024
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/07/2022

PAST

Acronym Title Funding Entity Start Date End Date
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
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]
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. In Electronic Proceedings in Theoretical Computer Science, pages 12-23. Open Publishing Association, 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]
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]
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]
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]
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]
MARCO GIUNTI, VASCO THUDICHUM VASCONCELOS. Linearity, session types and the Pi calculus. Mathematical Structures in Computer Science, 26(2):206-237, Cambridge University Press (CUP), 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]
Simon Gay, Nils Gesbert, António Ravara, Vasco Vasconcelos. Modular session types for objects. Logical Methods in Computer Science, 11(4), Logical Methods in Computer Science e.V., 2015 [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]
Dimitris Mostrous, Vasco Thudichum Vasconcelos. Affine Sessions. Lecture Notes in Computer Science,Coordination Models and Languages, 115-130, Springer Berlin Heidelberg, 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]
Vasco T. Vasconcelos. Fundamentals of session types. Information and Computation, 217, Elsevier BV, 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]
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]
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]