Changes in doc/bibliography/pl.bib [ec92b48:9be2b60]

File:

• doc/bibliography/pl.bib (modified) (15 diffs)

doc/bibliography/pl.bib

@@ -973 +973 @@
     contributer = {pabuhr@plg},
     author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
-    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to {C}},
+    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     journal     = spe,
     volume      = 48,
@@ -1093 +1093 @@
 }
 
-@techreport{Prokopec11,
-  keywords = {ctrie, concurrent map},
-  contributer = {a3moss@uwaterloo.ca}, 
-  title={Cache-aware lock-free concurrent hash tries},
-  author={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
-  institution={EPFL},
-  year={2011}
-}
-
 @article{Buhr85,
     keywords    = {goto, multi-exit loop},
@@ -1150 +1141 @@
 }
 
-@phdthesis{Norrish98,
-  title={C formalised in HOL},
-  author={Norrish, Michael},
-  year={1998},
-  school={University of Cambridge}
-}
-
 @inproceedings{Tarditi18,
     keywords    = {Checked C},
@@ -1163 +1147 @@
     title       = {Checked C: Making C Safe by Extension},
     booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
-    year = {2018},
-    month = {September},
-    pages = {53-60},
-    publisher = {IEEE},
-    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
+    year        = {2018},
+    month       = {September},
+    pages       = {53-60},
+    publisher   = {IEEE},
+    url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
 }
 
 @misc{Clang,
-    keywords = {clang},
-    contributer = {a3moss@uwaterloo.ca},
-    title = {Clang: a {C} language family frontend for {LLVM}},
-    howpublished = {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}
+    keywords    = {clang},
+    contributer = {a3moss@uwaterloo.ca},
+    title       = {Clang: a {C} language family frontend for {LLVM}},
+    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
+    note        = {Accessed 2019-02-22}
 }
 
@@ -1275 +1260 @@
     number      = 11,
     pages       = {853-860},
-}
-
-@inproceedings{Odersky01,
- keywords = {Scala},
- contributer = {a3moss@uwaterloo.ca},
- author = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
- title = {Colored Local Type Inference},
- booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
- series = {POPL '01},
- year = {2001},
- isbn = {1-58113-336-7},
- location = {London, United Kingdom},
- pages = {41--53},
- numpages = {13},
- url = {http://doi.acm.org/10.1145/360204.360207},
- doi = {10.1145/360204.360207},
- acmid = {360207},
- publisher = {ACM},
- address = {New York, NY, USA},
 }
 
@@ -1685 +1651 @@
 }
 
-@inproceedings{Prokopec12,
-  keywords={ctrie, hash trie, concurrent map},
-  contributer={a3moss@uwaterloo.ca},
-  title={Concurrent tries with efficient non-blocking snapshots},
-  author={Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
-  booktitle={ACM SIGPLAN Notices},
-  volume={47},
-  number={8},
-  pages={151--160},
-  year={2012},
-  organization={ACM}
-}
-
 @article{Buhr05a,
     keywords    = {concurrency, myths},
@@ -2347 +2300 @@
 }
 
+@article{Ritchie93,
+    keywords    = {C, history},
+    contributer = {pabuhr@plg},
+    author      = {Ritchie, Dennis M.},
+    title       = {The Development of the {C} Language},
+    journal     = sigplan,
+    volume      = 28,
+    number      = 3,
+    month       = mar,
+    year        = 1993,
+    pages       = {201--208},
+    url         = {http://doi.acm.org/10.1145/155360.155580},
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
+} 
+
 @article{design,
     keywords    = {Smalltalk, designing classes},
@@ -2354 +2323 @@
     journal     = joop,
     year        = 1988,
-    volume      = 1, number = 2, pages = {22-35},
+    volume      = 1,
+    number      = 2,
+    pages       = {22-35},
     comment     = {
         Abstract classes represent standard protocols.  ``It is better to
@@ -3162 +3133 @@
 }
 
-@article{Leroy09,
- keywords = {C formalization},
- contributer = {a3moss@uwaterloo.ca},
- author = {Leroy, Xavier},
- title = {Formal Verification of a Realistic Compiler},
- journal = {Commun. ACM},
- issue_date = {July 2009},
- volume = {52},
- number = {7},
- month = jul,
- year = {2009},
- issn = {0001-0782},
- pages = {107--115},
- numpages = {9},
- url = {http://doi.acm.org/10.1145/1538788.1538814},
- doi = {10.1145/1538788.1538814},
- acmid = {1538814},
- publisher = {ACM},
- address = {New York, NY, USA},
-} 
-
 @manual{Fortran95,
     keywords    = {Fortran 95},
@@ -3789 +3739 @@
     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
+}
+
+@article{Swift05,
+   contributer  = {pabuhr@plg},
+   author       = {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
+   title        = {Improving the Reliability of Commodity Operating Systems},
+   journal      = tocs,
+   volume       = 23,
+   number       = 1,
+   month        = feb,
+   year         = 2005,
+   pages        = {77-110},
 }
 
@@ -4093 +4055 @@
     number      = 1,
     pages       = {1-15},
-}
-
-@article{Morgado13,
-  keywords = {expression resolution},
-  contributer = {a3moss@uwaterloo.ca},
-  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
-  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
-  journal={Constraints},
-  volume={18},
-  number={4},
-  pages={478--534},
-  year={2013},
-  publisher={Springer}
 }
 
@@ -4351 +4300 @@
 }
 
-@article{Pierce00,
- keywords = {Scala},
- contributer = {a3moss@uwaterloo.ca},
- author = {Pierce, Benjamin C. and Turner, David N.},
- title = {Local Type Inference},
- journal = {ACM Trans. Program. Lang. Syst.},
- issue_date = {Jan. 2000},
- volume = {22},
- number = {1},
- month = jan,
- year = {2000},
- issn = {0164-0925},
- pages = {1--44},
- numpages = {44},
- url = {http://doi.acm.org/10.1145/345099.345100},
- doi = {10.1145/345099.345100},
- acmid = {345100},
- publisher = {ACM},
- address = {New York, NY, USA},
- keywords = {polymorphism, subtyping, type inference},
-} 
-
 @article{Sundell08,
     keywords    = {lock free, deque},
@@ -5343 +5270 @@
     note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
 }
-
-@inproceedings{Krebbers14,
- keywords = {c formalization},
- contributer = {a3moss@uwaterloo.ca},
- author = {Krebbers, Robbert},
- title = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
- booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
- series = {POPL '14},
- year = {2014},
- isbn = {978-1-4503-2544-8},
- location = {San Diego, California, USA},
- pages = {101--112},
- numpages = {12},
- url = {http://doi.acm.org/10.1145/2535838.2535878},
- doi = {10.1145/2535838.2535878},
- acmid = {2535878},
- publisher = {ACM},
- address = {New York, NY, USA},
-} 
 
 @book{Deitel04,
@@ -7426 +7334 @@
 }
 
-@article{SysVABI,
-  keywords = {System V ABI},
-  contributer = {a3moss@uwaterloo.ca},
-  title={System {V} application binary interface},
-  author={Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
-  journal={AMD64 Architecture Processor Supplement, Draft v0},
-  volume={99},
-  year={2013}
-}
-
 % T
 
@@ -7657 +7555 @@
         Argues against declaring exceptions on routine definitions.
     },
-}
-
-@techreport{Black90,
-  title={Typechecking polymorphism in {Emerald}},
-  author={Black, Andrew P and Hutchinson, Norman C},
-  year={1990},
-  institution={Cambridge Research Laboratory, Digital Equipment Corporation}
 }