Travelled to:1 × Sweden
1 × USA
Collaborated with:P.Gardner T.Dinsdale-Young J.Sutherland G.Ntzik K.J.Andersen L.Birkedal S.Xiong M.Dodds M.J.Wheelhouse
Talks about:concurr (5) abstract (3) specif (2) verif (2) modular (1) complex (1) automat (1) termin (1) system (1) simpl (1)
Person: Pedro da Rocha Pinto
DBLP: Pinto:Pedro_da_Rocha
Contributed to:
2014
2011
201620172018Wrote 6 papers:
- ECOOP-2014-PintoDG #abstraction #logic #named
- TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.
- OOPSLA-2011-PintoDDGW #abstraction #concurrent
- A simple abstraction for complex concurrent indexes (PdRP, TDY, MD, PG, MJW), pp. 845–864.
- ESOP-2016-PintoDGS #composition #concurrent #termination #verification
- Modular Termination Verification for Non-blocking Concurrency (PdRP, TDY, PG, JS), pp. 176–201.
- ESOP-2017-Dinsdale-YoungP #automation #concurrent #fine-grained #verification
- Caper - Automatic Verification for Fine-Grained Concurrency (TDY, PdRP, KJA, LB), pp. 420–447.
- ESOP-2017-XiongPNG #concurrent #specification
- Abstract Specifications for Concurrent Maps (SX, PdRP, GN, PG), pp. 964–990.
- ECOOP-2018-NtzikPSG #concurrent #file system #specification
- A Concurrent Specification of POSIX File Systems (GN, PdRP, JS, PG), p. 28.