Pedro Vasconcelos: research
I did my PhD at the University of
St. Andrews, Scotland. I am currently an Auxiliary Professor
at Computer Science Department of the Faculity of Science of the
University of Porto.
My research interests include:
- functional programming;
- teaching methodologies and tools;
- cost models for functional programs;
- type systems for resource analysis;
- property-based and automated testing.
Publications
- Haskelite: A Tracing Interpreter Based on Pattern Matching Calculus (2024). Pedro Vasconcelos and Rodrigo Marques. Haskell Symposium 2024.
https://dl.acm.org/doi/10.1145/3677999.3678274
- A Kumon-Inspired Approach to Teaching Programming Fundamentals (2024). Ivone Amorim, Pedro Vasconcelos, João Pedro Pedroso. ICPEC'2024.
- Haskelite: A Step-by-Step Interpreter for Teaching Functional Programming (2023). Pedro Vasconcelos. ICPEC'2023. https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.12
- 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
Haskelite
A web-based step-by-step evaluator for a subset of Haskell intended for teaching.
Github page: https://pbv.github.io/haskelite.
Codex
An automatic assement system for programming exercises. Github page: https://github.com/pbv/codex
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, pbvascon at fc dot up dot pt, 2024
Department of Computer Science
Faculty of Science, University of Porto