From 81a60295189dfa76033d0f8db937e1f850c83348 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Wed, 3 Feb 2016 21:18:16 +0000
Subject: [PATCH] Fix linking of Pedro's name in publications
---
publications.bib | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/publications.bib b/publications.bib
index d5ab081..3b20c90 100644
--- a/publications.bib
+++ b/publications.bib
@@ -434,7 +434,7 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i
@InProceedings{Ntzik2015Fault,
Title = {{Fault-tolerant Resource Reasoning}},
- Author = {Gian Ntzik and Pedro da Rocha Pinto and Philippa Gardner},
+ Author = {Gian Ntzik and Pedro {da Rocha Pinto} and Philippa Gardner},
Booktitle = {Proceedings of the 13\textsuperscript{th} Asian Symposium on Programming Languages and Systems ({APLAS})},
Year = {2015},
Note = {(Awaiting Publication)$^*$},
@@ -485,7 +485,7 @@ We introduce a program logic for reasoning about a broad subset of JavaScript, i
@InProceedings{RochaPinto2011Simple,
Title = {{A Simple Abstraction for Complex Concurrent Indexes}},
- Author = {Pedro da Rocha Pinto and Thomas Dinsdale{-}Young and Mike Dodds and Philippa Gardner and Mark J. Wheelhouse},
+ Author = {Pedro {da Rocha Pinto} and Thomas Dinsdale{-}Young and Mike Dodds and Philippa Gardner and Mark J. Wheelhouse},
Booktitle = {Proceedings of the 26\textsuperscript{th} Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications ({OOPSLA})},
Year = {2011},
Pages = {845--864},
@@ -496,7 +496,7 @@ We present an abstract specification for concurrent indexes. We verify several r
@InProceedings{RochaPinto2014TaDA,
Title = {{TaDA: A Logic for Time and Data Abstraction}},
- Author = {Pedro da Rocha Pinto and Thomas Dinsdale{-}Young and Philippa Gardner},
+ Author = {Pedro {da Rocha Pinto} and Thomas Dinsdale{-}Young and Philippa Gardner},
Booktitle = {Proceedings of the 28\textsuperscript{th} European Conference on Object-Oriented Programming ({ECOOP})},
Year = {2014},
Pages = {207--231},
@@ -507,7 +507,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@InProceedings{RochaPinto2015Steps,
Title = {{Steps in Modular Specifications for Concurrent Modules}},
- Author = {Pedro da Rocha Pinto and Thomas Dinsdale-Young and Philippa Gardner},
+ Author = {Pedro {da Rocha Pinto} and Thomas Dinsdale-Young and Philippa Gardner},
Booktitle = {Proceedings of the 31\textsuperscript{st} Conference on the Mathematical Foundations of Programming Semantics},
Year = {2015},
@@ -516,7 +516,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@InProceedings{RochaPinto2016Modular,
Title = {Modular Termination Verification for Non-blocking Concurrency},
- Author = {Pedro da Rocha Pinto and Thomas Dinsdale-Young and Philippa Gardner and Julian Sutherland},
+ Author = {Pedro {da Rocha Pinto} and Thomas Dinsdale-Young and Philippa Gardner and Julian Sutherland},
Booktitle = {Proceedings of the 25\textsuperscript{th} European Symposium on Programming ({ESOP})},
Year = {2016},
--
GitLab