Vasco Vasconcelos
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
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 |
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]
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]
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]
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, Electronic Proceedings in Theoretical Computer Science, 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]
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]
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]
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]
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]