diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 33 |
1 files changed, 1 insertions, 32 deletions
diff --git a/references.bib b/references.bib index 7df5cbe..c57bad9 100644 --- a/references.bib +++ b/references.bib @@ -335,15 +335,7 @@ year = {2008}, } -@inproceedings{loow19_formalise, - author = {Andreas L{\"{o}}{\"{o}}w and - Magnus O. Myreen}, - title = {A proof-producing translator for Verilog development in {HOL}}, - booktitle = {FormaliSE@ICSE}, - pages = {99--108}, - publisher = {{IEEE} / {ACM}}, - year = {2019} -} + @misc{slec_whitepaper, author = {Chauhan, Pankaj}, @@ -640,29 +632,6 @@ year = {2020}, pages = {7--es}, } -@inproceedings{loow19_verif_compil_verif_proces, - author = {L\"{o}\"{o}w, Andreas and Kumar, Ramana and Tan, Yong Kiam and - Myreen, Magnus O. and Norrish, Michael and Abrahamsson, Oskar - and Fox, Anthony}, - title = {Verified Compilation on a Verified Processor}, - tags = {verification}, - booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming - Language Design and Implementation}, - year = 2019, - pages = {1041--1053}, - doi = {10.1145/3314221.3314622}, - url = {https://doi.org/10.1145/3314221.3314622}, - acmid = 3314622, - address = {New York, NY, USA}, - isbn = {978-1-4503-6712-7}, - keywords = {compiler verification, hardware verification, program - verification, verified stack}, - location = {Phoenix, AZ, USA}, - numpages = 13, - publisher = {ACM}, - series = {PLDI 2019} -} - @inproceedings{loow19_proof_trans_veril_devel_hol, author = {L\"{o}\"{o}w, Andreas and Myreen, Magnus O.}, title = {A Proof-producing Translator for Verilog Development in HOL}, |