Commit fd2ce47e authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent a321375d
......@@ -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 = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
booktitle = {Proceedings of the 45\textsuperscript{th} {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages ({POPL'18})},
volume = {2},
number = {{POPL}},
pages = {50:1--50:33},
......@@ -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 = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
journal = {Proceedings of the 46\textsuperscript{th} {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages {(POPL'19)}},
volume = {3},
number = {{ POPL}},
year = {2019},
......@@ -1648,7 +1648,8 @@ 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 = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
journal = booktitle = {Proceedings of the 46\textsuperscript{th} {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages {(POPL'19)}},
volume = {3},
number = {{POPL}},
year = {2019},
......
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