Pedro B. Vasconcelos

16 papers A 2C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Exploring Mutation Testing for Teaching Introductory Programming.
ICPEC
Pedro B. Vasconcelos
2024 C conf
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus.
Haskell
Pedro B. Vasconcelos, Rodrigo Marques
2024 J jnl
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus.
CoRR
Pedro B. Vasconcelos, Rodrigo Marques
2024 — conf
Kumon-Inspired Approach to Teaching Programming Fundamentals.
ICPEC
Ivone Amorim, Pedro B. Vasconcelos, João Pedro Pedroso
2024 J jnl
Towards Algebraic Subtyping for Extensible Records.
CoRR
Rodrigo Marques, Mário Florido, Pedro B. Vasconcelos
2023 — conf
Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming.
ICPEC
Pedro B. Vasconcelos
2020 — conf
Resource Analysis for Lazy Evaluation with Polynomial Potential.
IFL
Sara Moreira, Pedro B. Vasconcelos, Mário Florido
2020 — conf
Using Property-Based Testing to Generate Feedback for C Programming Exercises.
ICPEC
Pedro B. Vasconcelos, Rita P. Ribeiro
2017 J jnl
Type-Based Cost Analysis for Lazy Functional Languages.
J. Autom. Reason.
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
2015 J jnl
Certifying execution time in multicores.
Sci. Comput. Program.
Vítor Rodrigues, Benny Akesson, Mário Florido, Simão Melo de Sousa, João Pedro Pedroso, Pedro B. Vasconcelos
2015 A conf
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
ESOP
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
2012 A conf
Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
ICFP
Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
2008 — —
Space cost analysis using sized types.
Pedro B. Vasconcelos
2006 — conf
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
TYPES
Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
2003 — conf
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.
IFL
Pedro B. Vasconcelos, Kevin Hammond
2002 — conf
Cost Analysis Using Automatic Size and Time Inference.
IFL
Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos