Pedro Vasconcelos: research
My PhD was done at the University of
St. Andrews.
My research interests include:
- functional programming;
- cost models for functional programs;
- type systems for resource analysis;
- property-based and automated testing.
Publications
- Using Property-based Testing to Generate Feedback for C Programming Exercises (2020). Pedro Vasconcelos and Rita Ribeiro. ICPEC'2020.
https://core.ac.uk/display/326319782 PDF
- Resource Analysis for Lazy Evaluation with Polynomial Potential (2020)
Sara Moreira, Pedro Vasconcelos, Mário Florido. IFL'2020. doi/abs/10.1145/3462172.3462196, PDF
- Type-Based Cost Analysis for Lazy Functional Languages Jost, S., Vasconcelos, P., Florido, M. et al. J Autom Reasoning (2016). doi:10.1007/s10817-016-9398-9
Springer, PDF draft.
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
Vasconcelos P., Jost S., Florido M., Hammond K. (2015) . In: Vitek J. (eds) Programming Languages and Systems. ESOP 2015. Lecture Notes in Computer Science, vol 9032. Springer, Berlin, Heidelberg.
PDF
- Automatic Amortised Analysis of Dynamic Memory Allocation
for Lazy Functional Programs.
H. Simões, S. Jost, P. Vasconcelos, K. Hammond and M. Florido.
Proceedings of the 2012 ACM
SIGPLAN Int. Conf. on Functional Programming (ICFP). PDF
- Space cost analysis using sized types. PhD thesis,
School of Computer Science,
University of St Andrews, 2008. PDF
- Using Intersection Types for Cost-analysis of Higher-Order
Polymorphic Functional Programs.
Hugo Simoes, Kevin Hammond, Mário Florido and Pedro Vasconcelos.
Types for Proofs and Programs,
TYPES 2006 (Revised Selected Papers), LNCS 4502, Springer Verlag 2007.
- Inferring Cost Equations for Recursive, Higher-Order and Polymorphic Functional Programs. Pedro Vasconcelos and Kevin Hammond.
Proceedings of the 14th International Workshop on Implementation of Functional Languages, 2004, LNCS 3145, Springer.
PDF
- Cost Analysis using Automatic Size and Time Inference.
Álvaro R. Portillo, Kevin Hammond, Hans-Wolfgang Loidl and Pedro Vasconcelos.
Proceedings of the 13th International Workshop on Implementation of Functional Languages, 2003, LNCS 2670, Springer.
gzipped PS
- Implementação de uma linguagem funcional usando combinadores
compactos (in portuguese), Master's thesis, Universidade do Porto, 1998.
gzipped PS
Software
Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs
I have put up
a web interface
to a prototype implementation of the type-based amortised analysis
resource bounds of a small lazy functional language.
This work is described in our JAR 2017 paper above.
Using the Parma Polyhedra Library from Haskell
The Parma Polyhedra Library is
a modern and
complete C++ library providing numerical abstractions useful
in program analysis including (but not limited to)
convex polyhedra.
This page describes the problems I encountered
with interfacing the PPL from Haskell and a work-around solution.
Pedro Vasconcelos, pbv at dcc dot fc dot up dot pt, 2019
Department of Computer Science
Faculty of Science, University of Porto