Pedro Vasconcelos: research

My research interests are in functional programming and program analysis, particularly sized type analysis, type and effect systems and cost analysis.

My PhD was done at the University of St. Andrews under supervision by Kevin Hammond on space cost analysis for Hume, a functionally-inspired language targeting resource-constrained systems such as embedded and critical systems.

Recent publications

• 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.

Past publications

• 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

Space cost analysis using sized types

I have put up a web interface to a type-based analysis for approximating size and space costs of of a core subset of the Hume language. This work is described in my PhD thesis (see publications 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.