Update on Overleaf.

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},