Pedro da Rocha Pinto

According to our database, Pedro da Rocha Pinto authored at least 10 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A perspective on specifying and verifying concurrent modules.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Philippa Gardner

J. Log. Algebraic Methods Program., 2018

A Concurrent Specification of POSIX File Systems.

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Abstract Specifications for Concurrent Maps.

Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner

Proceedings of the Programming Languages and Systems, 2017

Caper - Automatic Verification for Fine-Grained Concurrency.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2017

2016

Reasoning with time and data abstractions.

Pedro da Rocha Pinto

PhD thesis, 2016

Modular Termination Verification for Non-blocking Concurrency.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland

Proceedings of the Programming Languages and Systems, 2016

2015

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper).

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Fault-Tolerant Resource Reasoning.

Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

TaDA: A Logic for Time and Data Abstraction.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2011

A simple abstraction for complex concurrent indexes.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011