Publications

Export 84 results:
Filters: Author is Vasco T Vasconcelos  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
T
Vieira, H. Torres, and V. T. Vasconcelos, "Typing progress in communication-centred systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
Padovani, L., V. T. Vasconcelos, and H. Torres Vieira, "Typing liveness in multiparty communicating systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.
Baltazar, P., V. T. Vasconcelos, and H. Torres Vieira, Typing dynamic roles in multiparty interaction, , 2011.
Martins, F., V. T. Vasconcelos, and T. Cogumbreiro, "Types for X10 Clocks", arXiv preprint arXiv:1110.4165, 2011.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
Martins, F., and V. T. Vasconcelos, Type-based approach to multi-core programming, , 2008.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, "A type system for flexible role assignment in multiparty communicating systems", Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
Vasconcelos, V. T., F. Martins, and T. Cogumbreiro, "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language", arXiv preprint arXiv:1002.0942, 2010.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, N. Ng, and N. Dias Martins, "Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
S
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "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.
Lopes, A., I. Nunes, and V. T. Vasconcelos, Specifying and Monitoring Java Classes, : DI-FCUL, 2009.
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.
Vasconcelos, V. T., L. Aceto, and , "Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
Giunti, M., K. Honda, V. T. Vasconcelos, and N. Yoshida, "Session-based type discipline for pi calculus with matching", In the preproceedings of PLACES, vol. 9, 2009.
Yoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda, "Session-based compilation framework for multicore programming", Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Vasconcelos, V. T., "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.
Donaldson, A. F., and V. T. Vasconcelos, Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), , 2015.
Field, J., and V. T. Vasconcelos, "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.
R
Crispim, P., A. Lopes, and V. T. Vasconcelos, "Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, Runtime checking Java code using ConGu, : International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
L
Baltazar, P., D. Mostrous, and V. T. Vasconcelos, "Linearly refined session types", arXiv preprint arXiv:1211.4099, 2012.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–32, 2013.
Giunti, M., and V. Thudichum Vasconcelos, "Linearity, session types and the Pi calculus", Mathematical Structures in Computer Science, vol. 26, no. 2: Cambridge University Press, pp. 206–237, 2016.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011.
Gay, S. J., and V. T. Vasconcelos, "Linear type theory for asynchronous session types", Journal of Functional Programming, vol. 20, no. 01: Cambridge University Press, pp. 19–50, 2010.
Giunti, M., and V. T. Vasconcelos, "A linear account of session types in the pi calculus", CONCUR 2010-Concurrency Theory: Springer Berlin Heidelberg, pp. 432–446, 2010.
Yoshida, N., and V. T. Vasconcelos, "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.
I
Martins, F., V. Thudichum Vasconcelos, and H. Hüttel, "Inferring Types for Parallel Programs", arXiv preprint arXiv:1704.03096, 2017.
Campos, J., and V. T. Vasconcelos, "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.
G
Igarashi, A., P. Thiemann, V. T. Vasconcelos, and P. Wadler, "Gradual session types", Proceedings of the ACM on Programming Languages, vol. 1, no. ICFP: ACM, pp. 38, 2017.
F
Vasconcelos, V. T., 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.
Vasconcelos, V. T., "Fundamentals of session types", Information and Computation, vol. 217: Academic Press, pp. 52–70, 2012.
Vasconcelos, V. T., "Fundamentals of session types", Formal Methods for Web Services: Springer Berlin Heidelberg, pp. 158–186, 2009.
Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, et al., "Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
D
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
Vasconcelos, V. T., S. J. Gay, A. Ravara, N. Gesbert, and A. Z. Caldeira, "Dynamic interfaces", International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
Gay, S. J., A. Ravara, and V. T. Vasconcelos, "Dynamic interfaces", Proc. Foundations Object-Oriented Languages: Citeseer, 2009.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, DI–FCUL TR–07–7, : Citeseer, 2007.
Lanese, I., V. T. Vasconcelos, F. Martins, and A. Ravara, "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.
Lanese, I., V. T. Vasconcelos, F. Martins, and C. Gr, "Disciplining Orchestration and Conversation", in Service-Oriented Computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, 2007.
Murthy, K., S. Raj Paul, K. S. Meel, T. Cogumbreiro, J. Mellor-Crummey, and V. T. Vasconcelos, "Design and Verification of Distributed Phasers", European Conference on Parallel Processing: Springer, pp. 405–418, 2016.
Campos, J., and V. T. Vasconcelos, "Dependent Types for Class-based Mutable Objects (Artifact)", DARTS-Dagstuhl Artifacts Series, vol. 4: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Campos, J., and V. T. Vasconcelos, "Dependent Types for Class-based Mutable Objects", LIPIcs-Leibniz International Proceedings in Informatics, vol. 109: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
Santos, C., F. Martins, and V. T. Vasconcelos, "Deductive Verification of Parallel Programs Using Why3", Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng, "Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
Cogumbreiro, T., R. Surendran, F. Martins, V. Sarkar, V. T. Vasconcelos, and M. Grossman, "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.
C
Caires, L., R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro, "Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
Field, J., and V. T. Vasconcelos, Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings, , vol. 5521: Springer Science & Business Media, 2009.
Field, J., and V. T. Vasconcelos, "Coordination Models and Languages", Lecture Notes in Computer Science, vol. 5521, 2009.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
Thiemann, P., and V. T. Vasconcelos, "Context-free session types", Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
Abreu, J., L. S. Reis, and V. T. Vasconcelos, ConGu v. 1.50 Implementation Guide, , 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, Congu, Checking Java Classes Against Property-Driven Algebraic Specifications, : Department of Informatics, University of Lisbon, 2007.
Franco, J., and V. T. Vasconcelos, "A concurrent programming language with refined session types", Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.
Caires, L., and V. T. Vasconcelos, CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, , vol. 4703: Springer Science & Business Media, 2007.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Campos, J., and V. T. Vasconcelos, "Channels as objects in concurrent object-oriented programming", arXiv preprint arXiv:1110.4157, 2011.
B
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, Bridging the Gap between Algebraic Specification and Generic Programming, : Runtime Verification, 9th International Workshop, 2009.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "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.
Ancona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., "Behavioral types in programming languages", Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
A
Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
Gay, S., and V. T. Vasconcelos, "Asynchronous functional session types", Journal article, University of Glasgow, 2007.
Ravara, A., P. Resende, and V. T. Vasconcelos, "An algebra of behavioural types", Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.
Mostrous, D., and V. T. Vasconcelos, "Affine Sessions", Coordination Models and Languages, 2014.