diff --git a/publications.bib b/publications.bib
index 5d419abaf5c1a17564e821f03171f1190e23ce0d..c25ca15c8ae6bb943750fdecca41da347abbf847 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1434,7 +1434,7 @@ the JavaScript variable store.},
@article{FragosoSantos2018JaVerT,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovic and Daiva Naudziuniene and Thomas Wood and Philippa Gardner},
title = {JaVerT: JavaScript Verification Toolchain},
- journal = {{PACMPL}},
+ journal = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
volume = {2},
number = {{POPL}},
pages = {50:1--50:33},
@@ -1463,7 +1463,7 @@ more complex code using JaVerT is feasible.
Tamara Rezk and
Ana Almeida Matos},
title = {Modular Monitor Extensions for Information Flow Security in JavaScript},
- booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
+ booktitle = {Trustworthy Global Computing - 10\textsuperscript{th} International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
pages = {47--62},
@@ -1494,7 +1494,7 @@ more complex code using JaVerT is feasible.
Tamara Rezk and
Alan Schmitt},
title = {Hybrid Typing of Secure Information Flow in a JavaScript-Like Language},
- booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
+ booktitle = {Trustworthy Global Computing - 10\textsuperscript{th}h International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
pages = {63--78},
@@ -1585,7 +1585,7 @@ exhibit the desired behaviour.},
@InProceedings{Ntzik2018Concurrent,
author = {Gian Ntzik and Pedro {da Rocha Pinto} and Julian Sutherland and Philippa Gardner},
title = {A Concurrent Specification of POSIX File Systems },
- booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018).},
+ booktitle = {Proceedings of the 32\textsuperscript{nd} European Conference on Object-Oriented Programming (ECOOP 2018).},
year = {2018},
month = jul,
abstract = {POSIX is a standard for operating systems, with a substantial part devoted to specifying
@@ -1625,7 +1625,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
@InProceedings{FragosoSantos2019JaVerT,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovic and Gabriela Sampaio and Philippa Gardner},
title = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript},
- journal = {{PACMPL}},
+ journal = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
volume = {3},
number = {{ POPL}},
year = {2019},
@@ -1648,9 +1648,9 @@ in JavaScript verification; and the feasibility of automatic compositional testi
@InProceedings{Bodin2019Skeletal,
author = {Martin Bodin and Philippa Gardner and Thomas Jensen and Alan Schmitt},
title = {Skeletal Semantics and their Interpretations},
- journal = {{PACMPL}},
+ journal = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
volume = {3},
- number = {{ POPL}},
+ number = {{POPL}},
year = {2019},
project = { web },
doi = {10.1145/3290357},
@@ -1669,7 +1669,7 @@ only on simple language-dependent lemmas. We illustrate our ideas using a simple
@InProceedings{Gardner2018JaVerT,
author = {Philippa Gardner},
title = {JaVerT: JavaScript Verification and Testing Framework: Invited Talk},
- booktitle = {Proceedings of the 20th International Symposium on Principles and
+ booktitle = {Proceedings of the 20\textsuperscript{th}h International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {1:1--1:4},
@@ -1689,7 +1689,7 @@ testing, and automatic compositional testing based on bi-abduction.},
@InProceedings{Watt2019Program,
author = {Conrad Watt and Petar Maksimovic and Neelakantan R. Krishnaswami and Philippa Gardner},
title = {{A Program Logic for First-Order Encapsulated WebAssembly}},
- booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
+ booktitle = {Proceedings of the 33\textsuperscript{rd} European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {9:1--9:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
@@ -1714,17 +1714,17 @@ tools for WebAssembly.},
annote = {Keywords: WebAssembly, program logic, separation logic, soundness, mechanisation},
}
-@Article{ Dinsdale-Young2010Locality,
-author = { Thomas Dinsdale-Young and Philippa Gardner and Mark Wheelhouse},
+@Article{Dinsdale-Young2010Locality,
+author = {Thomas Dinsdale-Young and Philippa Gardner and Mark Wheelhouse},
year = {2011},
month = {05},
-file = { Dinsdale-Young2010Locality.techreport.pdf:PDF},
+file = {Dinsdale-Young2010Locality.techreport.pdf:PDF},
}
@InProceedings{FragosoSantos2020Gillian,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovic and Sacha{-}{\'{E}}lie Ayoun and Philippa Gardner},
title = { Gillian, Part I: A Multi-language Platform for Symbolic Execution },
-booktitle = { Proceedings of the 41st ACM SIGPLAN
+booktitle = { Proceedings of the 41\textsuperscript{st} ACM SIGPLAN
International Conference on Programming Language Design and Implementation
(PLDI ’20), June 15–20, 2020, London, UK },
year = {2020},
@@ -1784,7 +1784,7 @@ author = {Shale Xiong and
Azalea Raad and
Philippa Gardner},
title = {Data Consistency in Transactional Storage Systems: a Centralised Approach},
-booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
+booktitle = {Proceedings of the 34\textsuperscript{th} European Conference on Object-Oriented Programming (ECOOP 2020)},
project = {concurrency},
year = {2020},
abstract = {We introduce an interleaving operational semantics for describing the
@@ -1804,7 +1804,7 @@ author = {Gabriela Sampaio and
Petar Maksimovic
and Philippa Gardner},
title = {A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications},
-booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
+booktitle = {Proceedings of the 34\textsuperscript{th} European Conference on Object-Oriented Programming (ECOOP 2020)},
project = { web },
year = {2020},
abstract = {We introduce a trusted infrastructure for symbolic analysis of modern
@@ -1852,7 +1852,7 @@ editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
with Unbounded Sessions},
-booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
+booktitle = {Proceedings of the 31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
@@ -1881,8 +1881,8 @@ author = {Petar Maksimovic and
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Gillian, Part {II:} Real-World Verification for JavaScript and {C}},
-booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
- 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
+booktitle = {Proceedings of the 33\textsuperscript{rd} Computer Aided Verification International Conference, {CAV}
+ 2021, Virtual Event, July 20-23, 2021, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {827--850},
@@ -1907,7 +1907,7 @@ author = {Conrad Watt and
Martin Bodin and
Philippa Gardner},
title = {Two Mechanisations of WebAssembly 1.0},
-booktitle = {Proceedings of the 24th international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021},
+booktitle = {Proceedings of the 24\textsuperscript{th} international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021},
year = {2021},
abstract = {WebAssembly (Wasm) is a new bytecode language supported
by all major Web browsers, designed primarily to be an efficient compilation