Pedro da Rocha Pinto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2011–2018
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ECOOP | A Concurrent Specification of POSIX File Systems. | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
| 2017 | ESOP | Caper - Automatic Verification for Fine-Grained Concurrency. | Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal |
| 2017 | ESOP | Abstract Specifications for Concurrent Maps. | Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner |
| 2016 | ESOP | Modular Termination Verification for Non-blocking Concurrency. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland |
| 2015 | APLAS | Fault-Tolerant Resource Reasoning. | Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner |
| 2014 | ECOOP | TaDA: A Logic for Time and Data Abstraction. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner |
| 2011 | OOPSLA | A simple abstraction for complex concurrent indexes. | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse |