Pedro da Rocha Pinto PhD Student
Pedro was a PhD student and a Post Doc in the group, working on developing logics for verification of fine-grained concurrent programs.
Pedro defended his PhD thesis, Reasoning with Time and Data Abstractions in January 2017. He is currently working for Collage.com, Inc. a Michigan-based photo products e-commerce company.
Group Publications
-
A Perspective on Specifying and Verifying Concurrent Modules
- Thomas Dinsdale-Young
- Pedro da Rocha Pinto
- Philippa Gardner
Journal of Logical and Algebraic Methods in Programming, vol. 98, pp. 1–25
-
A Concurrent Specification of POSIX File Systems
Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018).
-
Reasoning with Time and Data Abstractions
Ph.D. Thesis, Imperial College London
-
Caper: Automatic Verification for Fine-grained Concurrency
- Thomas Dinsdale-Young
- Pedro da Rocha Pinto
- Kristoffer Just Andersen
- Lars Birkedal
Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 420–447
-
Abstract Specifications for Concurrent Maps
Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 964–990
-
Modular Termination Verification for Non-blocking Concurrency
- Pedro da Rocha Pinto
- Thomas Dinsdale-Young
- Philippa Gardner
- Julian Sutherland
Proceedings of the 25th European Symposium on Programming (ESOP’16), pp. 176–201
-
Fault-tolerant Resource Reasoning
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’15), pp. 169–188
-
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
- Pedro da Rocha Pinto
- Thomas Dinsdale-Young
- Philippa Gardner
Electr. Notes Theor. Comput. Sci., vol. 319, pp. 3–18
-
TaDA: A Logic for Time and Data Abstraction
- Pedro da Rocha Pinto
- Thomas Dinsdale-Young
- Philippa Gardner
Proceedings of the 28th European Conference on Object-Oriented Programming (ECOOP’14), pp. 207–231
-
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, Systems, Languages, and Applications (OOPSLA’11), pp. 845–864