Publications
Export 84 results:
Filters: Author is Vasconcelos, Vasco Thudichum [Clear All Filters]
"Dependent Types for Class-based Mutable Objects",
LIPIcs-Leibniz International Proceedings in Informatics, vol. 109: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
"Dependent Types for Class-based Mutable Objects (Artifact)",
DARTS-Dagstuhl Artifacts Series, vol. 4: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
"HeadREST: A Specification Language for RESTful APIs",
TYPES 2018, pp. 80, 2018.
10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface,
: OPEN PUBL ASSOC OPEN PUBL ASSOC, SYDNEY, 00000, AUSTRALIA, 2017.
"Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers",
Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA: ACM, pp. 103, 2017.
"Deductive Verification of MPI Protocols",
Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
"Gradual session types",
Proceedings of the ACM on Programming Languages, vol. 1, no. ICFP: ACM, pp. 38, 2017.
"Inferring Types for Parallel Programs",
arXiv preprint arXiv:1704.03096, 2017.
"Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)",
Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
"Behavioral types in programming languages",
Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
"Context-free session types",
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
"Design and Verification of Distributed Phasers",
European Conference on Parallel Processing: Springer, pp. 405–418, 2016.
"Foundations of session types and behavioural contracts",
ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
"Linearity, session types and the Pi calculus",
Mathematical Structures in Computer Science, vol. 26, no. 2: Cambridge University Press, pp. 206–237, 2016.
"Deductive Verification of Parallel Programs Using Why3",
Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
"Imperative objects with dependent types",
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015, 2015.
"Affine Sessions",
Coordination Models and Languages, 2014.
"A concurrent programming language with refined session types",
Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.
"Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software",
arXiv preprint arXiv:1406.3313, 2014.
"The stream-based service-centred calculus: a foundation for service-oriented programming",
Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
"Typing liveness in multiparty communicating systems",
Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.
"Coordinating phased activities while maintaining progress",
Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
"Especificação e Verificação de Protocolos para Programas MPI",
INFORUM, 2013.
"Linearity, session types and the pi calculus",
Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–32, 2013.
"Towards deductive verification of MPI programs against session types",
arXiv preprint arXiv:1312.2705, 2013.
"A type system for flexible role assignment in multiparty communicating systems",
Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
"Typing progress in communication-centred systems",
Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
"An algebra of behavioural types",
Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.
Dynamic Roles in Multiparty Communicating Systems,
: UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
"Fundamentals of session types",
Information and Computation, vol. 217: Academic Press, pp. 52–70, 2012.
"Linearly refined session types",
arXiv preprint arXiv:1211.4099, 2012.
"Modular session types for objects",
arXiv preprint arXiv:1205.5344, 2012.
"Selected Papers from the Eleventh International Conference on Coordination Models and Languages",
Science of Computer Programming, vol. 77, no. 6: Elsevier, pp. 661–662, 2012.
"Verification of MPI programs using session types",
Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
"Channels as objects in concurrent object-oriented programming",
arXiv preprint arXiv:1110.4157, 2011.
"Core calculi for service-oriented computing",
Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
"Linearity, session types and the pi calculus",
UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011.
"Runtime Verification for Generic Classes with ConGu 2",
Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
"Session typing for a featherweight Erlang",
Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
"Sessions, from types to programming languages",
Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
"Types for X10 Clocks",
arXiv preprint arXiv:1110.4165, 2011.
"18th International Conference on Concurrency Theory",
Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
"A linear account of session types in the pi calculus",
CONCUR 2010-Concurrency Theory: Springer Berlin Heidelberg, pp. 432–446, 2010.
"Linear type theory for asynchronous session types",
Journal of Functional Programming, vol. 20, no. 01: Cambridge University Press, pp. 19–50, 2010.
"Modular session types for distributed object-oriented programming",
ACM Sigplan Notices, vol. 45, no. 1: ACM, pp. 299–312, 2010.
"Type inference for deadlock detection in a multithreaded polymorphic typed assembly language",
arXiv preprint arXiv:1002.0942, 2010.
"Type safety without subject reduction for session types",
UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
Bridging the Gap between Algebraic Specification and Generic Programming,
: Runtime Verification, 9th International Workshop, 2009.
"Bridging the gap between algebraic specification and object-oriented generic programming",
Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
"Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language",
Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
"Compiling the $π$-calculus into a Multithreaded Typed Assembly Language",
Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
"Coordination Models and Languages",
Lecture Notes in Computer Science, vol. 5521, 2009.
Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings,
, vol. 5521: Springer Science & Business Media, 2009.
"Dynamic interfaces",
Proc. Foundations Object-Oriented Languages: Citeseer, 2009.
"Dynamic interfaces",
International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
"Fundamentals of session types",
Formal Methods for Web Services: Springer Berlin Heidelberg, pp. 158–186, 2009.
Fundamentals of Session Types, Formal Methods for Web Services,
: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 2009.
"Session types for linear multithreaded functional programming",
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming: ACM, pp. 1–6, 2009.
"Session-based compilation framework for multicore programming",
Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
"Session-based type discipline for pi calculus with matching",
In the preproceedings of PLACES, vol. 9, 2009.
Specifying and Monitoring Java Classes,
: DI-FCUL, 2009.
"Type-directed compilation for multicore programming",
Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
"Behavioural theory at work: program transformations in a service-centred calculus",
Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
"Monitoring java code using ConGu",
WADT 2008 Preliminary Proceedings, pp. 61, 2008.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software,
: Department of Informatics, University of Lisbon, 2008.
Runtime checking Java code using ConGu,
: International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
"Asynchronous functional session types",
Journal article, University of Glasgow, 2007.
The Automotive Case Study in the Sensoria Core Calculi,
: June, 2007.
Bisimulations in SSCC,
: Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Bisimulations in SSCC. DI,
: FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings,
, vol. 4703: Springer Science & Business Media, 2007.
Congu, Checking Java Classes Against Property-Driven Algebraic Specifications,
: Department of Informatics, University of Lisbon, 2007.
ConGu v. 1.50 Implementation Guide,
, 2007.
"Disciplining Orchestration and Conversation",
in Service-Oriented Computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, 2007.
"Disciplining orchestration and conversation in service-oriented computing",
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on: IEEE, pp. 305–314, 2007.
DI–FCUL TR–07–7,
: Citeseer, 2007.
"Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication",
Electronic Notes in Theoretical Computer Science, vol. 171, no. 4: Elsevier, pp. 73–93, 2007.