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:

Publications

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