Changeset f343c6b for doc/bibliography/pl.bib

Timestamp:

Apr 25, 2019, 2:43:23 PM (4 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

98b4b12

Parents:

ffaedcd (diff), 69c37cc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge remote-tracking branch 'origin/aaron-thesis'

File:

• doc/bibliography/pl.bib (modified) (12 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},
@@ -1139 +1148 @@
     year        = 1998,
     note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
+}
+
+@phdthesis{Norrish98,
+  title={C formalised in HOL},
+  author={Norrish, Michael},
+  year={1998},
+  school={University of Cambridge}
 }
 
@@ -1158 +1174 @@
     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}
+    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}
 }
 
@@ -1260 +1275 @@
     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},
 }
 
@@ -1651 +1685 @@
 }
 
+@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},
@@ -3132 +3179 @@
     year        = 2018,
 }
+
+@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,
@@ -4055 +4123 @@
     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}
 }
 
@@ -4300 +4381 @@
 }
 
+@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},
@@ -5270 +5373 @@
     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,
@@ -7334 +7456 @@
 }
 
+@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
 
@@ -7555 +7687 @@
         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}
 }