Photo of Pedro da Rocha Pinto
  Webpage   pmd09@doc.ic.ac.uk   GitHub Profile

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

  1. A Perspective on Specifying and Verifying Concurrent Modules

    Journal of Logical and Algebraic Methods in Programming 2018

  2. A Concurrent Specification of POSIX File Systems

    ECOOP 2018

  3. Reasoning with Time and Data Abstractions

    Ph.D. Thesis, Imperial College London, 2017

  4. Abstract Specifications for Concurrent Maps

    ESOP 2017

  5. Caper: Automatic Verification for Fine-grained Concurrency

    ESOP 2017

  6. Modular Termination Verification for Non-blocking Concurrency

    ESOP 2016

  7. Fault-tolerant Resource Reasoning

    Asian Symposium on Programming Languages and Systems (APLAS) 2015

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

    Mathematical Foundations of Programming Semantics (MFPS) 2015

  9. TaDA: A Logic for Time and Data Abstraction

    ECOOP 2014

  10. A Simple Abstraction for Complex Concurrent Indexes

    OOPSLA 2011