Commit fa434237 authored by pmaksimo's avatar pmaksimo
Browse files

accents

parent eef82ef3
% Encoding: UTF-8
@InProceedings{Bodin2014Trusted,
author = {Martin Bodin and Arthur Chargu{\'{e}}raud and Daniele Filaretti and Philippa Gardner and Sergio Maffeis and Daiva Naud\v{z}i\={u}nien\.{e} and Alan Schmitt and Gareth Smith},
author = {Martin Bodin and Arthur Chargu{\'{e}}raud and Daniele Filaretti and Philippa Gardner and Sergio Maffeis and Daiva Naudziuniene and Alan Schmitt and Gareth Smith},
title = {{A Trusted Mechanised {JavaScript} Specification}},
booktitle = {Proceedings of the 41\textsuperscript{st} Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages ({POPL'14})},
year = {2014},
......@@ -91,7 +91,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
}
@InProceedings{FragosoSantos2017Towards,
author = {Jos{\'{e}} {Fragoso Santos} and Philippa Gardner and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e}},
author = {Jos{\'{e}} {Fragoso Santos} and Philippa Gardner and Petar Maksimovic and Daiva Naudziuniene},
title = {{Towards Logic-based Verification of JavaScript Programs}},
booktitle = {Proceedings of 26\textsuperscript{th} Conference on Automated Deduction {(CADE 26)}},
year = {2017},
......@@ -1420,7 +1420,7 @@ demonstrate our reasoning using a software installer example.},
}
@InProceedings{Gardner2013JuS,
author = {Philipa Gardner and Daiva Naudžiűnienė and Gareth Smith},
author = {Philipa Gardner and Daiva Naudziuniene and Gareth Smith},
title = {{JuS}: Squeezing the Sense out of {J}ava{S}cript Programs},
booktitle = {2nd Annual Workshop on Tools for JavaScript Analysis (JSTools '13)},
year = {2013},
......@@ -1437,7 +1437,7 @@ the JavaScript variable store.},
file = {:Gardner2013JuS.pdf:PDF},
}
@article{FragosoSantos2018JaVerT,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e} and Thomas Wood and Philippa Gardner},
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovic and Daiva Naudziuniene and Thomas Wood and Philippa Gardner},
title = {JaVerT: JavaScript Verification Toolchain},
journal = {{PACMPL}},
volume = {2},
......@@ -1538,7 +1538,7 @@ for the specification of JavaScript.},
}
@PhdThesis{Naudziuniene2018Infrastructure,
author = {Daiva Naud\v{z}i\={u}nien\.{e}},
author = {Daiva Naudziuniene},
title = {An Infrastructure for Tractable Verification of JavaScript Programs},
school = {Imperial College London},
year = {2018},
......@@ -1612,7 +1612,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
@inproceedings{FragosoSantos2018Symbolic,
author = {Jos{\'{e}} {Fragoso Santos} and
Petar Maksimovi\'{c} and
Petar Maksimovic and
Th{\'{e}}otime Grohens and
Julian Dolby and
Philippa Gardner},
......@@ -1628,7 +1628,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
}
@InProceedings{FragosoSantos2019JaVerT,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Gabriela Sampaio and Philippa Gardner},
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}},
volume = {3},
......@@ -1692,7 +1692,7 @@ testing, and automatic compositional testing based on bi-abduction.},
}
@InProceedings{Watt2019Program,
author = {Conrad Watt and Petar Maksimovi\'{c} and Neelakantan R. Krishnaswami and Philippa Gardner},
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)},
pages = {9:1--9:30},
......@@ -1727,7 +1727,7 @@ file = { Dinsdale-Young2010Locality.techreport.pdf:PDF},
}
@InProceedings{FragosoSantos2020Gillian,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Sacha{-}{\'{E}}lie Ayoun and Philippa Gardner},
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
International Conference on Programming Language Design and Implementation
......@@ -1803,7 +1803,7 @@ and proving invariant properties of client programs.},
@InProceedings{Sampaio2020Trusted,
author = {Gabriela Sampaio and
Jos{\'{e}} {Fragoso Santos} and
Petar Maksimovi\'{c}
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)},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment