Fix many citations, actually use biblatex now

Author: jacobmischka

src/proof-assistants.bib

@@ -1,29 +1,29 @@
 @online{IsabelleOverview,
 	title = {Overview},
-	author = {{Tobias Nipkow and Lawrence Paulson and Makarius Wenzel and Gerwin Klein and Florian Haftmann and Tjark Weber and Johannes Hölzl}},
+	author = {{Nipkow, Tobias and Paulson, Lawrence and Wenzel, Makarius and Klein, Gerwin and Haftmann, Florian and Weber, Tjark and Hölzl, Johannes}},
 	publisher = {{Technische Universität München}},
 	url = {https://isabelle.in.tum.de/overview.html},
 	urldate = {2020-06-19}
 }
 
 @online{AboutCoq,
-	title = {{What is Coq? The Coq Proof Assistant}},
+	title = {{What is {Coq}? The {Coq} Proof Assistant}},
 	publisher = {{Institut national de recherche en sciences et technologies du numérique}},
 	url = {https://coq.inria.fr/about-coq},
 	urldate = {2019-09-07}
 }
 
 @online{Iris,
 	title = {Iris Project},
-	publisher = {Aarhus University},
+	publisher = {{Aarhus University}},
 	year = {2020},
 	url = {https://iris-project.org/},
 	urldate = {2020-07-15}
 }
 
 @inproceedings{SASyLF,
 	author = {Aldrich, Jonathan and Simmons, Robert J. and Shin, Key},
-	title = {SASyLF: An Educational Proof Assistant for Language Theory},
+	title = {{SASyLF}: An Educational Proof Assistant for Language Theory},
 	year = {2008},
 	isbn = {9781605580685},
 	publisher = {Association for Computing Machinery},
@@ -40,7 +40,7 @@ @inproceedings{SASyLF
 
 @article{LeanProver,
 	author = {de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob},
-	title = {The Lean Theorem Prover},
+	title = {The {Lean} Theorem Prover},
 	location = {Berlin, Germany},
 	year = {2015},
 	booktitle = {25th International Conference on Automated Deduction (CADE-25)},
@@ -50,7 +50,7 @@ @article{LeanProver
 
 @article{Alloy,
 	author = {Jackson, Daniel},
-	title = {Alloy: A Lightweight Object Modelling Notation},
+	title = {{Alloy}: A Lightweight Object Modelling Notation},
 	year = {2002},
 	issue_date = {April 2002},
 	publisher = {Association for Computing Machinery},
@@ -75,7 +75,7 @@ @manual{ProgProve
 }
 
 @manual{IsarRef,
-	title = {The Isabelle/Isar Reference Manual},
+	title = {The {Isabelle/Isar} Reference Manual},
 	author = {Wenzel, Makarius},
 	year = {2020},
 	date = {2020-04-15}

src/thesis.bib

@@ -8,7 +8,7 @@ @online{WasmIsabelle
 
 @inproceedings{WattMechanizing,
 	author = {Watt, Conrad},
-	title = {Mechanising and Verifying the WebAssembly Specification},
+	title = {Mechanising and Verifying the {WebAssembly} Specification},
 	year = {2018},
 	isbn = {9781450355865},
 	publisher = {Association for Computing Machinery},
@@ -25,7 +25,7 @@ @inproceedings{WattMechanizing
 
 @article{WeakeningWasm,
 	author = {Watt, Conrad and Rossberg, Andreas and Pichon-Pharabod, Jean},
-	title = {Weakening WebAssembly},
+	title = {Weakening {WebAssembly}},
 	year = {2019},
 	issue_date = {October 2019},
 	publisher = {Association for Computing Machinery},
@@ -43,7 +43,7 @@ @article{WeakeningWasm
 
 @article{UpToSpeed,
 	author = {Haas, Andreas and Rossberg, Andreas and Schuff, Derek L. and Titzer, Ben L. and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
-	title = {Bringing the Web up to Speed with WebAssembly},
+	title = {Bringing the Web up to Speed with {WebAssembly}},
 	year = {2017},
 	issue_date = {September 2017},
 	publisher = {Association for Computing Machinery},
@@ -62,7 +62,7 @@ @article{UpToSpeed
 
 @inproceedings{10.1145/3062341.3062363,
 	author = {Haas, Andreas and Rossberg, Andreas and Schuff, Derek L. and Titzer, Ben L. and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
-	title = {Bringing the Web up to Speed with WebAssembly},
+	title = {Bringing the Web up to Speed with {WebAssembly}},
 	year = {2017},
 	isbn = {9781450349888},
 	publisher = {Association for Computing Machinery},
@@ -88,14 +88,14 @@ @online{Isabelle
 }
 
 @online{AsmJs,
-	title = {asm.js - frequently asked questions},
+	title = {{asm.js} - frequently asked questions},
 	date = {2013},
 	url = {http://asmjs.org/faq.html},
 	urldate = {2020-04-12}
 }
 
 @manual{AsmJsSpec,
-	title = {asm.js},
+	title = {{asm.js}},
 	subtitle = {Working Draft},
 	year = {2014},
 	date = {2014-08-18},
@@ -104,35 +104,35 @@ @manual{AsmJsSpec
 }
 
 @misc{AsmJsResig,
-	title = {Asm.js: The JavaScript Compile Target},
-	author = {John Resig},
+	title = {{Asm.js}: The {JavaScript} Compile Target},
+	author = {Resig, John},
 	year = {2013},
 	date = {2013-04-03},
 	url = {https://johnresig.com/blog/asmjs-javascript-compile-target/},
 	urldate = {2020-04-12}
 }
 
 @misc{AboutEmscripten,
-	title = {About Emscripten},
-	author = {The Emscripten Project},
+	title = {About {Emscripten}},
+	author = {{The Emscripten Project}},
 	year = {2020},
 	url = {https://emscripten.org/docs/introducing_emscripten/about_emscripten.html},
 	urldate = {2020-04-12}
 }
 
 @misc{HistoryWasmTalk,
-	title = {History of WebAssembly},
+	title = {History of {WebAssembly}},
 	subtitle = {Chrome University 2019},
-	author = {Alon Zakai},
+	author = {Zakai, Alon},
 	year = {2020},
 	date = {2020-02-07},
 	url = {https://www.youtube.com/watch?v=6r0NKEQqkz0},
 	urldate = {2020-04-12}
 }
 
 @misc{WasiTalk,
-	title = {Bringing WebAssembly outside the web with WASI},
-	author = {Lin Clark},
+	title = {Bringing {WebAssembly} outside the web with WASI},
+	author = {Clark, Lin},
 	year = {2019},
 	date = {2019-09-06},
 	url = {https://www.youtube.com/watch?v=fh9WXPu0hw8},
@@ -141,42 +141,42 @@ @misc{WasiTalk
 
 @misc{LightbeamTalk,
 	title = {Lightbeam Wasm Compiler},
-	author = {Jack Fransham},
+	author = {Fransham, Jack},
 	year = {2019},
 	date = {2019-06-24},
 	url = {https://www.youtube.com/watch?v=q8c5n_1dQm4},
 	urldate = {2020-04-12}
 }
 
 @misc{IntroducingLightbeam,
-	title = {{Introducing Lightbeam: An Optimising Streaming WebAssembly Compiler}},
-	author = {Jack Fransham},
+	title = {{Introducing Lightbeam: An Optimising Streaming {WebAssembly} Compiler}},
+	author = {Fransham, Jack},
 	year = {2019},
 	date = {2019-05-04},
 	url = {http://troubles.md/lightbeam/},
 	urldate = {2020-04-19}
 }
 
 @misc{WasmNotStackMachine,
-	title = {{WebAssembly Troubles part 1: WebAssembly Is Not a Stack Machine}},
-	author = {Jack Fransham},
+	title = {{WebAssembly} Troubles part 1: {WebAssembly} Is Not a Stack Machine},
+	author = {Fransham, Jack},
 	year = {2019},
 	date = {2019-01-30},
 	url = {http://troubles.md/posts/wasm-is-not-a-stack-machine/},
 	urldate = {2020-04-19}
 }
 
 @book{pfpl2,
-	author = {Robert Harper},
+	author = {Harper, Robert},
 	title = {Practical Foundations for Programming Languages, 2nd edition},
 	publisher = {Cambridge University Press},
 	year = {2016},
 	isbn = {9781107150300}
 }
 
 @online{ReturnJavaFlash,
-	title = {Is WebAssembly the return of Java Applets \& Flash?},
-	author = {Steve Klabnik},
+	title = {Is {WebAssembly} the return of {Java Applets} \& {Flash}?},
+	author = {Klabnik, Steve},
 	year = {2018},
 	date = {2018-07-25},
 	url = {https://words.steveklabnik.com/is-webassembly-the-return-of-java-applets-flash},
@@ -185,7 +185,7 @@ @online{ReturnJavaFlash
 
 @misc{FlashFuture,
 	title = {Flash \& The Future of Interactive Content},
-	author = {Adobe Corporate Communications},
+	author = {{Adobe Corporate Communications}},
 	publisher = {Adobe},
 	year = {2017},
 	date = {2017-07-25},
@@ -195,16 +195,16 @@ @misc{FlashFuture
 
 @online{FlashEOLInfo,
 	title = {Adobe Flash Player EOL General Information Page},
-	author = {Adobe},
+	author = {{Adobe}},
 	year = {2020},
 	date = {2020-05-22},
 	url = {https://www.adobe.com/products/flashplayer/end-of-life.html},
 	urldate = {2020-06-19}
 }
 
 @misc{FlashKilledOff,
-	title = {Adobe Flash to be killed off by 2020, killed off by the iPhone and new web technologies},
-	author = {Andrew Griffin},
+	title = {{Adobe Flash} to be killed off by 2020, killed off by the {iPhone} and new web technologies},
+	author = {Griffin, Andrew},
 	publisher = {The Independent},
 	year = {2017},
 	date = {2017-07-26},
@@ -213,26 +213,26 @@ @misc{FlashKilledOff
 }
 
 @misc{ThoughtsOnFlash,
-	title = {Thoughts on Flash},
-	author = {Steve Jobs},
+	title = {Thoughts on {Flash}},
+	author = {Jobs, Steve},
 	year = {2010},
 	month = {4},
 	url = {https://www.apple.com/hotnews/thoughts-on-flash/},
 	urldate = {2020-06-03}
 }
 
 @online{WasiOverview,
-	title = {{WASI}: WebAssembly System Interface},
-	author = {Bytecode Alliance},
+	title = {{WASI}: {WebAssembly} System Interface},
+	author = {{Bytecode Alliance}},
 	year = {2019},
 	date = {2019-11-12},
 	url = {https://github.com/WebAssembly/meetings/blob/master/process/phases.md},
 	urldate = {2020-04-19}
 }
 
 @online{StandardizingWasi,
-	title = {{Standardizing WASI: A system interface to run WebAssembly outside the web}},
-	author = {Lin Clark},
+	title = {{Standardizing {WASI}: A system interface to run {WebAssembly} outside the web}},
+	author = {Clark, Lin},
 	publisher = {Mozilla Hacks},
 	year = {2019},
 	date = {2019-03-27},
@@ -242,7 +242,7 @@ @online{StandardizingWasi
 
 @misc{CraneliftInSpiderMonkey,
 	title = {{Cranelift in SpiderMonkey}},
-	author = {Dan Gohman},
+	author = {Gohman, Dan},
 	year = {2018},
 	date = {2018-07-17},
 	url = {https://github.com/bytecodealliance/wasmtime/blob/main/cranelift/spidermonkey.md},
@@ -258,7 +258,6 @@ @online{SpiderMonkeyDevBlog
 
 @misc{SpiderMonkeyNewsletter3,
 	title = {{SpiderMonkey Newsletter 3 (Firefox 74-75)}},
-	author = {},
 	publisher = {SpiderMonkey Team},
 	year = {2020},
 	date = {2020-03-12},
@@ -268,7 +267,7 @@ @misc{SpiderMonkeyNewsletter3
 
 @online{V8,
 	title = {{V8 JavaScript engine}},
-	author = {Mathias Bynens},
+	author = {Bynens, Mathias},
 	publisher = {V8 Team},
 	year = {2019},
 	date = {2019-10-25},
@@ -277,8 +276,8 @@ @online{V8
 }
 
 @misc{V8WasmExperimental,
-	title = {{Experimental support for WebAssembly in V8}},
-	author = {Seth Thompson},
+	title = {Experimental support for {WebAssembly} in {V8}},
+	author = {Thompson, Seth},
 	publisher = {V8 Team},
 	year = {2016},
 	date = {2016-03-15},
@@ -287,8 +286,8 @@ @misc{V8WasmExperimental
 }
 
 @online{WebkitAssemblingWebAssembly,
-	title = {{Assembling WebAssembly}},
-	author = {JF Bastien and Keith Miller and Saam Barati},
+	title = {Assembling {WebAssembly}},
+	author = {Bastien, JF and Miller, Keith and Barati, Saam},
 	publisher = {WebKit},
 	year = {2017},
 	date = {2017-06-06},
@@ -297,7 +296,7 @@ @online{WebkitAssemblingWebAssembly
 }
 
 @article{LehmannEverything,
-	title = {Everything Old is New Again: Binary Security of WebAssembly},
+	title = {Everything Old is New Again: Binary Security of {WebAssembly}},
 	author = {Lehmann, Daniel and Kinder, Johannes and Pradel, Michael},
 	booktitle = {29th {USENIX} Security Symposium ({USENIX} Security 20)},
 	publisher = {{USENIX} Association},
@@ -357,8 +356,8 @@ @article{RustBeltRelaxed
 }
 
 @online{Pwn2OwnMillerInterview,
-	title = {Pwn2Own 2010: interview with Charlie Miller},
-	author = {Matteo Campofiorito},
+	title = {{Pwn2Own} 2010: interview with {Charlie Miller}},
+	author = {Campofiorito, Matteo},
 	year = {2010},
 	date = {2010-03-01},
 	url = {https://web.archive.org/web/20110424022058/http://www.oneitsecurity.it/01/03/2010/interview-with-charlie-miller-pwn2own/},
@@ -373,8 +372,8 @@ @online{CISASecuringWebBrowser
 }
 
 @online{JRECveDetails,
-	title = {Oracle JRE: List of security vulnerabilities},
-	author = {CVE Details},
+	title = {Oracle {JRE}: List of security vulnerabilities},
+	author = {{CVE Details}},
 	year = {2019},
 	date = {2019-07-30},
 	url = {https://www.cvedetails.com/vulnerability-list/vendor_id-93/product_id-19117/Oracle-JRE.html},
@@ -383,17 +382,17 @@ @online{JRECveDetails
 
 
 @online{FlashSecurityUpdates,
-	title = {Security updates for Adobe Flash Player},
-	author = {Adobe},
+	title = {Security updates for {Adobe Flash} Player},
+	author = {{Adobe}},
 	year = {2020},
 	date = {2020-06-09},
 	url = {https://helpx.adobe.com/security/products/flash-player.html},
 	urldate = {2020-07-14}
 }
 
 @report{WasmCoqMechanization,
-	title = {A Mechanized Formalization of the WebAssembly Specification in Coq},
-	author = {Xuan Huang},
+	title = {A Mechanized Formalization of the {WebAssembly} Specification in {Coq}},
+	author = {Huang, Xuan},
 	publisher = {Rochester Institute of Technology},
 	address = {Rochester, NY 14586},
 	year = {2019},
@@ -438,8 +437,8 @@ @inproceedings{JSCertInp
 }
 
 @article{WebAssembly-AFP,
-	author = {Conrad Watt},
-	title = {WebAssembly},
+	author = {Watt, Conrad},
+	title = {{WebAssembly}},
 	journal = {Archive of Formal Proofs},
 	month = apr,
 	year = 2018,
@@ -448,7 +447,7 @@ @article{WebAssembly-AFP
 }
 
 @online{CoffeeScript,
-	title = {CoffeeScript},
+	title = {{CoffeeScript}},
 	author = {Booth, Geoffrey},
 	year = {2020},
 	date = {2020-05-25},