Pedro da Rocha Pinto

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Topics

Mutual Exclusion

Concurrent Systems

Modular Architecture

Data Abstraction

Top Venues

J. Log. Algebraic Methods Program.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner
A Concurrent Specification of POSIX File Systems. ECOOP (2018)
Thomas Dinsdale-Young, Pedro da Rocha Pinto, Philippa Gardner
A perspective on specifying and verifying concurrent modules. J. Log. Algebraic Methods Program. 98 (2018)
Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner
Abstract Specifications for Concurrent Maps. ESOP (2017)
Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal
Caper - Automatic Verification for Fine-Grained Concurrency. ESOP (2017)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland
Modular Termination Verification for Non-blocking Concurrency. ESOP (2016)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper). MFPS (2015)
Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner
Fault-Tolerant Resource Reasoning. APLAS (2015)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner
TaDA: A Logic for Time and Data Abstraction. ECOOP (2014)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse
A simple abstraction for complex concurrent indexes. OOPSLA (2011)