Pedro da Rocha Pinto

A simple abstraction for complex concurrent indexes

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds et al. · 2011 · 24 citations · Full text

Computing, Computer Science, Algorithms +14

Caper: automatic verification for fine-grained concurrency

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Arndal Andersen et al. · 2017 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +13

A Concurrent Specification of POSIX File Systems

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 14 citations · Full text

Computing, Computer Science, Computer Systems +16