Personal information

Other IDs

AuthenticusID: R-000-EPD
Ciência ID: A11C-C47F-98B7

Activities

Collapse all

Employment (1)

Universidade do Porto: Porto, PT

2008 to present | Professor Auxiliar (Faculdade de Ciências)
Employment
Source: Self-asserted source
Pedro Vasconcelos

Education and qualifications (3)

Universidade do Porto: Porto, PT

Master (Faculdade de Ciências)
Education
Source: Self-asserted source
Pedro Vasconcelos

University of St Andrews: St Andrews, UK, GB

2008 | PhD (Computer Science)
Education
Source: Self-asserted source
Pedro Vasconcelos

Universidade do Porto: Porto, PT

1989 to 1992 | Licenciatura (Faculdade de Ciências)
Education
Source: Self-asserted source
Pedro Vasconcelos

Funding (1)

RESCUE, REliable and Safe Code execUtion for Embedded systems

2008-01 to 2011 | Contract
Fundação para a Ciência e a Tecnologia (Lisboa, PT)
GRANT_NUMBER: info:eu-repo/grantAgreement/FCT/5876-PPCDTI/65862/PT
Source: check_circle
CIÊNCIAVITAE

Works (10)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus

2024-08-29 | Conference paper
DOI: 10.1145/3677999.3678274
Contributors: Pedro Vasconcelos; Rodrigo Marques
Source: check_circle
Crossref

Resource Analysis for Lazy Evaluation with Polynomial Potential

IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020
2020 | Conference paper
DOI: 10.1145/3462172.3462196
AUTHENTICUSID: P-00V-9FD
EID:

2-s2.0-85112224033

OTHER-ID:

dblp:conf/ifl/MoreiraVF20
Contributors: Moreira, S; Vasconcelos, PB; Florido, M
Source: check_circle
Authenticus

Using Property-Based Testing to Generate Feedback for C Programming Exercises

First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference).
2020 | Conference paper
DOI: 10.4230/oasics.icpec.2020.28
Part of ISSN: 2190-6807
AUTHENTICUSID: P-00S-DD7
EID:

2-s2.0-85087389201

OTHER-ID:

dblp:conf/icpec/VasconcelosR20
Contributors: Vasconcelos, PB; Ribeiro, RP
Source: check_circle
Authenticus

Type-Based Cost Analysis for Lazy Functional Languages

JOURNAL OF AUTOMATED REASONING
2017 | Journal article
DOI: 10.1007/s10817-016-9398-9
Part of ISSN: 0168-7433
AUTHENTICUSID: P-00M-BG3
WOSUID:

WOS:000400853700004

EID:

2-s2.0-85008462179

OTHER-ID:

dblp:journals/jar/JostVFH17
Contributors: Jost, S; Vasconcelos, P; Florido, M; Hammond, K
Source: check_circle
Authenticus
grade
Preferred source (of 3)‎

Certifying execution time in multicores

SCIENCE OF COMPUTER PROGRAMMING
2015 | Journal article
DOI: 10.1016/j.scico.2015.06.006
Part of ISSN: 0167-6423
AUTHENTICUSID: P-00G-NEA
WOSUID:

WOS:000368556800007

EID:

2-s2.0-84940954804

OTHER-ID:

dblp:journals/scp/RodriguesAFSPV15
Contributors: Rodrigues, V; Akesson, B; Florido, M; de Sousa, SM; Pedroso, JP; Vasconcelos, P
Source: check_circle
Authenticus
grade
Preferred source (of 2)‎

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

PROGRAMMING LANGUAGES AND SYSTEMS
2015 | Conference paper
DOI: 10.1007/978-3-662-46669-8_32
Part of ISSN: 0302-9743
AUTHENTICUSID: P-00A-AWP
WOSUID:

WOS:000361751400032

EID:

2-s2.0-84926654576

OTHER-ID:

dblp:conf/esop/VasconcelosJFH15
Contributors: Vasconcelos, P; Jost, S; Florido, M; Hammond, K
Source: check_circle
Authenticus
grade
Preferred source (of 2)‎

Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs

ACM SIGPLAN NOTICES
2012 | Journal article
DOI: 10.1145/2398856.2364575
Part of ISSN: 0362-1340
AUTHENTICUSID: P-002-5N6
WOSUID:

WOS:000311296000017

EID:

2-s2.0-84870475857

OTHER-ID:

dblp:conf/icfp/SimoesVFJH12
Contributors: Simoes, H; Vasconcelos, P; Florido, M; Jost, S; Hammond, K
Source: check_circle
Authenticus
grade
Preferred source (of 2)‎

Using intersection types for cost-analysis of higher-order polymorphic functional programs

TYPES FOR PROOFS AND PROGRAMS
2007 | Conference paper
Part of ISSN: 0302-9743
AUTHENTICUSID: P-005-618
WOSUID:

WOS:000251388800015

EID:

2-s2.0-38049171024
Contributors: Simoes, HR; Hammond, K; Florido, M; Vasconcelos, P
Source: check_circle
Authenticus
grade
Preferred source (of 2)‎

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs

Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
2006 | Conference paper
AUTHENTICUSID: P-00S-6NX
OTHER-ID:

dblp:conf/types/SimoesHFV06
Contributors: Simões, HR; Hammond, K; Florido, M; Vasconcelos, PB
Source: check_circle
Authenticus

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs

2004 | Book chapter
DOI: 10.1007/978-3-540-27861-0_6
SOURCE-WORK-ID:

cv-prod-id-687967

AUTHENTICUSID: P-00K-A34
AUTHENTICUSID: P-007-JHS
EID:

2-s2.0-35048887202

Part of ISSN: 0302-9743
Contributors: Vasconcelos, PB; Hammond, K
Source: check_circle
CIÊNCIAVITAE
grade
Preferred source (of 2)‎
How many people are using ORCID?