Ignore:
Timestamp:
Apr 25, 2019, 2:43:23 PM (3 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
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:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    rffaedcd rf343c6b  
    973973    contributer = {pabuhr@plg},
    974974    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    975     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     975    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to {C}},
    976976    journal     = spe,
    977977    volume      = 48,
     
    10931093}
    10941094
     1095@techreport{Prokopec11,
     1096  keywords = {ctrie, concurrent map},
     1097  contributer = {a3moss@uwaterloo.ca},
     1098  title={Cache-aware lock-free concurrent hash tries},
     1099  author={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
     1100  institution={EPFL},
     1101  year={2011}
     1102}
     1103
    10951104@article{Buhr85,
    10961105    keywords    = {goto, multi-exit loop},
     
    11391148    year        = 1998,
    11401149    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
     1150}
     1151
     1152@phdthesis{Norrish98,
     1153  title={C formalised in HOL},
     1154  author={Norrish, Michael},
     1155  year={1998},
     1156  school={University of Cambridge}
    11411157}
    11421158
     
    11581174    contributer = {a3moss@uwaterloo.ca},
    11591175    title       = {Clang: a {C} language family frontend for {LLVM}},
    1160     howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
    1161     note        = {Accessed 2019-02-22}
     1176    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}
    11621177}
    11631178
     
    12601275    number      = 11,
    12611276    pages       = {853-860},
     1277}
     1278
     1279@inproceedings{Odersky01,
     1280 keywords = {Scala},
     1281 contributer = {a3moss@uwaterloo.ca},
     1282 author = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
     1283 title = {Colored Local Type Inference},
     1284 booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     1285 series = {POPL '01},
     1286 year = {2001},
     1287 isbn = {1-58113-336-7},
     1288 location = {London, United Kingdom},
     1289 pages = {41--53},
     1290 numpages = {13},
     1291 url = {http://doi.acm.org/10.1145/360204.360207},
     1292 doi = {10.1145/360204.360207},
     1293 acmid = {360207},
     1294 publisher = {ACM},
     1295 address = {New York, NY, USA},
    12621296}
    12631297
     
    16511685}
    16521686
     1687@inproceedings{Prokopec12,
     1688  keywords={ctrie, hash trie, concurrent map},
     1689  contributer={a3moss@uwaterloo.ca},
     1690  title={Concurrent tries with efficient non-blocking snapshots},
     1691  author={Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
     1692  booktitle={ACM SIGPLAN Notices},
     1693  volume={47},
     1694  number={8},
     1695  pages={151--160},
     1696  year={2012},
     1697  organization={ACM}
     1698}
     1699
    16531700@article{Buhr05a,
    16541701    keywords    = {concurrency, myths},
     
    31323179    year        = 2018,
    31333180}
     3181
     3182@article{Leroy09,
     3183 keywords = {C formalization},
     3184 contributer = {a3moss@uwaterloo.ca},
     3185 author = {Leroy, Xavier},
     3186 title = {Formal Verification of a Realistic Compiler},
     3187 journal = {Commun. ACM},
     3188 issue_date = {July 2009},
     3189 volume = {52},
     3190 number = {7},
     3191 month = jul,
     3192 year = {2009},
     3193 issn = {0001-0782},
     3194 pages = {107--115},
     3195 numpages = {9},
     3196 url = {http://doi.acm.org/10.1145/1538788.1538814},
     3197 doi = {10.1145/1538788.1538814},
     3198 acmid = {1538814},
     3199 publisher = {ACM},
     3200 address = {New York, NY, USA},
     3201}
    31343202
    31353203@manual{Fortran95,
     
    40554123    number      = 1,
    40564124    pages       = {1-15},
     4125}
     4126
     4127@article{Morgado13,
     4128  keywords = {expression resolution},
     4129  contributer = {a3moss@uwaterloo.ca},
     4130  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
     4131  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
     4132  journal={Constraints},
     4133  volume={18},
     4134  number={4},
     4135  pages={478--534},
     4136  year={2013},
     4137  publisher={Springer}
    40574138}
    40584139
     
    43004381}
    43014382
     4383@article{Pierce00,
     4384 keywords = {Scala},
     4385 contributer = {a3moss@uwaterloo.ca},
     4386 author = {Pierce, Benjamin C. and Turner, David N.},
     4387 title = {Local Type Inference},
     4388 journal = {ACM Trans. Program. Lang. Syst.},
     4389 issue_date = {Jan. 2000},
     4390 volume = {22},
     4391 number = {1},
     4392 month = jan,
     4393 year = {2000},
     4394 issn = {0164-0925},
     4395 pages = {1--44},
     4396 numpages = {44},
     4397 url = {http://doi.acm.org/10.1145/345099.345100},
     4398 doi = {10.1145/345099.345100},
     4399 acmid = {345100},
     4400 publisher = {ACM},
     4401 address = {New York, NY, USA},
     4402 keywords = {polymorphism, subtyping, type inference},
     4403}
     4404
    43024405@article{Sundell08,
    43034406    keywords    = {lock free, deque},
     
    52705373    note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
    52715374}
     5375
     5376@inproceedings{Krebbers14,
     5377 keywords = {c formalization},
     5378 contributer = {a3moss@uwaterloo.ca},
     5379 author = {Krebbers, Robbert},
     5380 title = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
     5381 booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     5382 series = {POPL '14},
     5383 year = {2014},
     5384 isbn = {978-1-4503-2544-8},
     5385 location = {San Diego, California, USA},
     5386 pages = {101--112},
     5387 numpages = {12},
     5388 url = {http://doi.acm.org/10.1145/2535838.2535878},
     5389 doi = {10.1145/2535838.2535878},
     5390 acmid = {2535878},
     5391 publisher = {ACM},
     5392 address = {New York, NY, USA},
     5393}
    52725394
    52735395@book{Deitel04,
     
    73347456}
    73357457
     7458@article{SysVABI,
     7459  keywords = {System V ABI},
     7460  contributer = {a3moss@uwaterloo.ca},
     7461  title={System {V} application binary interface},
     7462  author={Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
     7463  journal={AMD64 Architecture Processor Supplement, Draft v0},
     7464  volume={99},
     7465  year={2013}
     7466}
     7467
    73367468% T
    73377469
     
    75557687        Argues against declaring exceptions on routine definitions.
    75567688    },
     7689}
     7690
     7691@techreport{Black90,
     7692  title={Typechecking polymorphism in {Emerald}},
     7693  author={Black, Andrew P and Hutchinson, Norman C},
     7694  year={1990},
     7695  institution={Cambridge Research Laboratory, Digital Equipment Corporation}
    75577696}
    75587697
Note: See TracChangeset for help on using the changeset viewer.