Vasco Vasconcelos

2017
Vasconcelos, V. T., & Haller P. (2017).  10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface.
Cogumbreiro, T., Surendran R., Martins F., Sarkar V., Vasconcelos V. T., & Grossman M. (2017).  Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proceedings of the ACM on Programming Languages. 1, 103.
Vasconcelos, V. T., Martins F., Marques E. R. B., Yoshida N., & Ng N. (2017).  Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools. 353.
Igarashi, A., Thiemann P., Vasconcelos V. T., & Wadler P. (2017).  Gradual session types. Proceedings of the ACM on Programming Languages. 1, 38.
Martins, F., Vasconcelos V. Thudichum, & Hüttel H. (2017).  Inferring Types for Parallel Programs. arXiv preprint arXiv:1704.03096.
Gay, S., Vasconcelos V. T., Wadler P., & Yoshida N. (2017).  Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports. 7,
2016
Ancona, D., Bono V., Bravetti M., Campos J., Castagna G., Deniélou P-M., et al. (2016).  Behavioral types in programming languages. Foundations and Trends® in Programming Languages. 3, 95–230.
Thiemann, P., & Vasconcelos V. T. (2016).  Context-free session types. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. 462–475.
Murthy, K., Paul S. Raj, Meel K. S., Cogumbreiro T., Mellor-Crummey J., & Vasconcelos V. T. (2016).  Design and Verification of Distributed Phasers. European Conference on Parallel Processing. 405–418.
Hüttel, H., Lanese I., Vasconcelos V. T., Caires L., Carbone M., Deniélou P-M., et al. (2016).  Foundations of session types and behavioural contracts. ACM Computing Surveys (CSUR). 49, 3.
Giunti, M., & Vasconcelos V. Thudichum (2016).  Linearity, session types and the Pi calculus. Mathematical Structures in Computer Science. 26, 206–237.
2015
Santos, C., Martins F., & Vasconcelos V. T. (2015).  Deductive Verification of Parallel Programs Using Why3. Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015..
Campos, J., & Vasconcelos V. T. (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.
Donaldson, A. F., & Vasconcelos V. T. (2015).  Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014).
2014
Mostrous, D., & Vasconcelos V. T. (2014).  Affine Sessions. Coordination Models and Languages.
Franco, J., & Vasconcelos V. T. (2014).  A concurrent programming language with refined session types. Software Engineering and Formal Methods. 15–28.
Donaldson, A. F., & Vasconcelos V. T. (2014).  Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. arXiv preprint arXiv:1406.3313.
Marques, E. R. B., Martins F., Vasconcelos V. T., Santos C., Ng N., & Yoshida N. (2014).  Protocol-based verification of MPI programs.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2014).  The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing. 26, 865–918.
Vasconcelos, V. T., Martins F., Marques E. R. B., López H. A., Santos C., & Yoshida N. (2014).  Type-based verification of message-passing parallel programs.
Padovani, L., Vasconcelos V. T., & Vieira H. Torres (2014).  Typing liveness in multiparty communicating systems. Coordination Models and Languages. 147–162.
2013
Cogumbreiro, T., Martins F., & Vasconcelos V. T. (2013).  Coordinating phased activities while maintaining progress. Coordination Models and Languages. 31–44.
Martins, N. Dias, Santos C., Marques E. R. B., Martins F., & Vasconcelos V. T. (2013).  Especificação e Verificação de Protocolos para Programas MPI. INFORUM.
Giunti, M., & Vasconcelos V. T. (2013).  Linearity, session types and the pi calculus. Mathematical Structures in Computer Science. 1–32.
Marques, E. R. B., Martins F., Ng N., Santos C., Vasconcelos V. T., & Yoshida N. (2013).  Specification and Verification of Protocols for MPI Programs.

Pages