Pedro da Rocha Pinto
Pedro da Rocha Pinto
Verified email at doc.ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
TaDA: A Logic for Time and Data Abstraction
P da Rocha Pinto, T Dinsdale-Young, P Gardner
ECOOP 2014–Object-Oriented Programming, 207-231, 2014
1142014
Modular Termination Verification for Non-blocking Concurrency
P da Rocha Pinto, T Dinsdale-Young, P Gardner, J Sutherland
European Symposium on Programming Languages and Systems, 176-201, 2016
302016
Caper: Automatic Verification for Fine-Grained Concurrency
T Dinsdale-Young, P da Rocha Pinto, KJ Andersen, L Birkedal
European Symposium on Programming, 420-447, 2017
282017
A Simple Abstraction for Complex Concurrent Indexes
P da Rocha Pinto, T Dinsdale-Young, M Dodds, P Gardner, ...
ACM SIGPLAN Notices 46 (10), 845-864, 2011
272011
Fault-tolerant resource reasoning
G Ntzik, P da Rocha Pinto, P Gardner
Asian Symposium on Programming Languages and Systems, 169-188, 2015
202015
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
P da Rocha Pinto, T Dinsdale-Young, P Gardner
Electronic Notes in Theoretical Computer Science 319, 3-18, 2015
152015
Reasoning with Time and Data Abstractions
P da Rocha Pinto
PhD Thesis, Imperial College London, 2016
112016
A concurrent specification of POSIX file systems
G Ntzik, P da Rocha Pinto, J Sutherland, P Gardner
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
92018
A perspective on specifying and verifying concurrent modules
T Dinsdale-Young, P da Rocha Pinto, P Gardner
Journal of Logical and Algebraic Methods in Programming 98, 1-25, 2018
62018
Abstract Specifications for Concurrent Maps
S Xiong, P da Rocha Pinto, G Ntzik, P Gardner
European Symposium on Programming, 964-990, 2017
62017
Reasoning about Concurrent Indexes
P da Rocha Pinto
Master's Thesis, Imperial College London, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–11