Pedro B. Vasconcelos

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 6

Top Venues

ICPEC

Sci. Comput. Program.

IFL

ESOP

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Pedro B. Vasconcelos
Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming. ICPEC (2023)
Sara Moreira, Pedro B. Vasconcelos, Mário Florido
Resource Analysis for Lazy Evaluation with Polynomial Potential. IFL (2020)
Pedro B. Vasconcelos, Rita P. Ribeiro
Using Property-Based Testing to Generate Feedback for C Programming Exercises. ICPEC (2020)
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. 59 (1) (2017)
Vitor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos
Certifying execution time in multicores. Sci. Comput. Program. 111 (2015)
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP (2015)
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP (2012)
Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES (2006)
Pedro B. Vasconcelos, Kevin Hammond
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL (2003)
Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
Cost Analysis Using Automatic Size and Time Inference. IFL (2002)

Pedro B. Vasconcelos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pedro B. Vasconcelos