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.