Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    rf9bf142 r64dc36e  
    943943}
    944944
     945@misc{Cforall,
     946    contributer = {pabuhr@plg},
     947    key         = {Cforall},
     948    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
     949    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
     950}
     951
     952@misc{CforallBenchMarks,
     953    contributer = {pabuhr@plg},
     954    key         = {Cforall Benchmarks},
     955    author      = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}},
     956    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}},
     957}
     958
     959@mastersthesis{Esteves04,
     960    keywords    = {Cforall, parametric polymorphism, overloading},
     961    contributer = {pabuhr@plg},
     962    author      = {Rodolfo Gabriel Esteves},
     963    title       = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages},
     964    school      = {School of Computer Science, University of Waterloo},
     965    year        = 2004,
     966    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     967    note        = {\href{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-EstevesThesis.pdf}},
     968}
     969
     970@misc{CFAStackEvaluation,
     971    contributer = {a3moss@plg},
     972    author      = {Aaron Moss},
     973    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
     974    year        = 2018,
     975    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
     976}
     977
    945978@article{Moss18,
    946979    keywords    = {type systems, polymorphism, tuples, Cforall},
    … …  
    955988    pages       = {2111-2146},
    956989    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    957 }
    958 
    959 @misc{CforallBenchMarks,
    960     contributer = {pabuhr@plg},
    961     key         = {Cforall Benchmarks},
    962     author      = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}},
    963     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}},
    964 }
    965 
    966 @misc{Cforall,
    967     contributer = {pabuhr@plg},
    968     key         = {Cforall},
    969     author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    970     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
    971 }
    972 
    973 @misc{CFAStackEvaluation,
    974     contributer = {a3moss@plg},
    975     author      = {Aaron Moss},
    976     title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
    977     year        = 2018,
    978     howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
    979 }
    980 
    981 @mastersthesis{Esteves04,
    982     keywords    = {Cforall, parametric polymorphism, overloading},
    983     contributer = {pabuhr@plg},
    984     author      = {Rodolfo Gabriel Esteves},
    985     title       = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages},
    986     school      = {School of Computer Science, University of Waterloo},
    987     year        = 2004,
    988     address     = {Waterloo, Ontario, Canada, N2L 3G1},
    989     note        = {\href{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-EstevesThesis.pdf}},
    990 }
    991 
    992 @phdthesis{Moss19,
    993     keywords    = {type system, generic type, resolution algorithm, type environment, Cforall},
    994     author      = {Aaron Moss},
    995     title       = {\textsf{C}$\mathbf{\forall}$ Type System Implementation},
    996     school      = {School of Computer Science, University of Waterloo},
    997     year        = 2019,
    998     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    999     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/14584}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14584}},
    1000990}
    1001991
    … …  
    11111101
    11121102@techreport{Prokopec11,
    1113     keywords    = {ctrie, concurrent map},
    1114     contributer = {a3moss@uwaterloo.ca},
    1115     title       ={Cache-aware lock-free concurrent hash tries},
    1116     author      ={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
    1117     institution ={EPFL},
    1118     year        ={2011}
     1103  keywords = {ctrie, concurrent map},
     1104  contributer = {a3moss@uwaterloo.ca},
     1105  title={Cache-aware lock-free concurrent hash tries},
     1106  author={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
     1107  institution={EPFL},
     1108  year={2011}
    11191109}
    11201110
    … …  
    11681158
    11691159@phdthesis{Norrish98,
    1170     title       = {C formalised in HOL},
    1171     author      = {Norrish, Michael},
    1172     year        = {1998},
    1173     school      = {University of Cambridge}
     1160  title={C formalised in HOL},
     1161  author={Norrish, Michael},
     1162  year={1998},
     1163  school={University of Cambridge}
    11741164}
    11751165
    … …  
    11801170    title       = {Checked C: Making C Safe by Extension},
    11811171    booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
     1172    year        = {2018},
     1173    month       = {September},
     1174    pages       = {53-60},
    11821175    publisher   = {IEEE},
    1183     year        = {2018},
    1184     month       = sep,
    1185     pages       = {53-60},
    11861176    url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
    11871177}
    … …  
    12951285
    12961286@inproceedings{Odersky01,
    1297     keywords    = {Scala},
    1298     contributer = {a3moss@uwaterloo.ca},
    1299     author      = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
    1300     title       = {Colored Local Type Inference},
    1301     booktitle   = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    1302     series      = {POPL '01},
    1303     year        = {2001},
    1304     isbn        = {1-58113-336-7},
    1305     location    = {London, United Kingdom},
    1306     pages       = {41--53},
    1307     numpages    = {13},
    1308     url         = {http://doi.acm.org/10.1145/360204.360207},
    1309     doi         = {10.1145/360204.360207},
    1310     acmid       = {360207},
    1311     publisher   = {ACM},
    1312     address     = {New York, NY, USA},
     1287 keywords = {Scala},
     1288 contributer = {a3moss@uwaterloo.ca},
     1289 author = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
     1290 title = {Colored Local Type Inference},
     1291 booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     1292 series = {POPL '01},
     1293 year = {2001},
     1294 isbn = {1-58113-336-7},
     1295 location = {London, United Kingdom},
     1296 pages = {41--53},
     1297 numpages = {13},
     1298 url = {http://doi.acm.org/10.1145/360204.360207},
     1299 doi = {10.1145/360204.360207},
     1300 acmid = {360207},
     1301 publisher = {ACM},
     1302 address = {New York, NY, USA},
    13131303}
    13141304
    … …  
    17031693
    17041694@inproceedings{Prokopec12,
    1705     keywords    = {ctrie, hash trie, concurrent map},
    1706     contributer = {a3moss@uwaterloo.ca},
    1707     title       = {Concurrent tries with efficient non-blocking snapshots},
    1708     author      = {Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
    1709     booktitle   = {ACM SIGPLAN Notices},
    1710     volume      = {47},
    1711     number      = {8},
    1712     pages       = {151--160},
    1713     year        = {2012},
    1714     organization={ACM}
     1695  keywords={ctrie, hash trie, concurrent map},
     1696  contributer={a3moss@uwaterloo.ca},
     1697  title={Concurrent tries with efficient non-blocking snapshots},
     1698  author={Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
     1699  booktitle={ACM SIGPLAN Notices},
     1700  volume={47},
     1701  number={8},
     1702  pages={151--160},
     1703  year={2012},
     1704  organization={ACM}
    17151705}
    17161706
    … …  
    17391729}
    17401730
    1741 @article{Delisle19,
     1731@article{Delisle18b,
    17421732    keywords    = {concurrency, Cforall},
    17431733    contributer = {pabuhr@plg},
    17441734    author      = {Thierry Delisle and Peter A. Buhr},
    1745     title       = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$},
    1746     year        = 2019,
     1735    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     1736    year        = 2018,
    17471737    journal     = spe,
    1748     pages       = {1-33},
     1738    pages       = {1-32},
    17491739    note        = {submitted},
    17501740}
    … …  
    25102500
    25112501@misc{Dotty-github,
    2512     keywords    = {dotty,scala},
    2513     contributer = {a3moss@uwaterloo.ca},
    2514     author      = {Martin Odersky},
    2515     title       = {Dotty},
    2516     howpublished= {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
    2517     note        = {Acessed: 2019-02-22}
     2502    keywords = {dotty,scala},
     2503    contributer = {a3moss@uwaterloo.ca},
     2504    author = {Martin Odersky},
     2505    title = {Dotty},
     2506    howpublished = {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
     2507    note = {Acessed: 2019-02-22}
    25182508}
    25192509
    … …  
    26662656    volume      = 10,
    26672657    number      = 3,
    2668     pages       = {120-123},
     2658    pages        = {120-123},
    26692659    comment     = {
    26702660        The ``two-pass'' algorithm.  An upward pass over a parse tree
    … …  
    32463236
    32473237@article{Leroy09,
    3248     keywords    = {C formalization},
    3249     contributer = {a3moss@uwaterloo.ca},
    3250     author      = {Leroy, Xavier},
    3251     title       = {Formal Verification of a Realistic Compiler},
    3252     journal     = {Commun. ACM},
    3253     issue_date  = {July 2009},
    3254     volume      = {52},
    3255     number      = {7},
    3256     month       = jul,
    3257     year        = {2009},
    3258     issn        = {0001-0782},
    3259     pages       = {107--115},
    3260     numpages    = {9},
    3261     url         = {http://doi.acm.org/10.1145/1538788.1538814},
    3262     doi         = {10.1145/1538788.1538814},
    3263     acmid       = {1538814},
    3264     publisher   = {ACM},
    3265     address     = {New York, NY, USA},
     3238 keywords = {C formalization},
     3239 contributer = {a3moss@uwaterloo.ca},
     3240 author = {Leroy, Xavier},
     3241 title = {Formal Verification of a Realistic Compiler},
     3242 journal = {Commun. ACM},
     3243 issue_date = {July 2009},
     3244 volume = {52},
     3245 number = {7},
     3246 month = jul,
     3247 year = {2009},
     3248 issn = {0001-0782},
     3249 pages = {107--115},
     3250 numpages = {9},
     3251 url = {http://doi.acm.org/10.1145/1538788.1538814},
     3252 doi = {10.1145/1538788.1538814},
     3253 acmid = {1538814},
     3254 publisher = {ACM},
     3255 address = {New York, NY, USA},
    32663256}
    32673257
    … …  
    41914181
    41924182@article{Morgado13,
    4193     keywords    = {expression resolution},
    4194     contributer = {a3moss@uwaterloo.ca},
    4195     title       = {Iterative and core-guided {MaxSAT} solving: A survey and assessment},
    4196     author      = {Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
    4197     journal     = {Constraints},
    4198     volume      = {18},
    4199     number      = {4},
    4200     pages       = {478--534},
    4201     year        = {2013},
    4202     publisher   = {Springer}
     4183  keywords = {expression resolution},
     4184  contributer = {a3moss@uwaterloo.ca},
     4185  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
     4186  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
     4187  journal={Constraints},
     4188  volume={18},
     4189  number={4},
     4190  pages={478--534},
     4191  year={2013},
     4192  publisher={Springer}
    42034193}
    42044194
    … …  
    43994389}
    44004390
     4391
    44014392@article{Liskov86,
    44024393    keywords    = {synchronous communication, concurrency},
    … …  
    44574448
    44584449@article{Pierce00,
    4459     keywords    = {Scala},
    4460     contributer = {a3moss@uwaterloo.ca},
    4461     author      = {Pierce, Benjamin C. and Turner, David N.},
    4462     title       = {Local Type Inference},
    4463     journal     = {ACM Trans. Program. Lang. Syst.},
    4464     issue_date  = {Jan. 2000},
    4465     volume      = {22},
    4466     number      = {1},
    4467     month       = jan,
    4468     year        = {2000},
    4469     issn        = {0164-0925},
    4470     pages       = {1--44},
    4471     numpages    = {44},
    4472     url         = {http://doi.acm.org/10.1145/345099.345100},
    4473     doi         = {10.1145/345099.345100},
    4474     acmid       = {345100},
    4475     publisher   = {ACM},
    4476     address     = {New York, NY, USA},
    4477     keywords    = {polymorphism, subtyping, type inference},
     4450 keywords = {Scala},
     4451 contributer = {a3moss@uwaterloo.ca},
     4452 author = {Pierce, Benjamin C. and Turner, David N.},
     4453 title = {Local Type Inference},
     4454 journal = {ACM Trans. Program. Lang. Syst.},
     4455 issue_date = {Jan. 2000},
     4456 volume = {22},
     4457 number = {1},
     4458 month = jan,
     4459 year = {2000},
     4460 issn = {0164-0925},
     4461 pages = {1--44},
     4462 numpages = {44},
     4463 url = {http://doi.acm.org/10.1145/345099.345100},
     4464 doi = {10.1145/345099.345100},
     4465 acmid = {345100},
     4466 publisher = {ACM},
     4467 address = {New York, NY, USA},
     4468 keywords = {polymorphism, subtyping, type inference},
    44784469}
    44794470
    … …  
    54585449
    54595450@inproceedings{Krebbers14,
    5460     keywords    = {c formalization},
    5461     contributer = {a3moss@uwaterloo.ca},
    5462     author      = {Krebbers, Robbert},
    5463     title       = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
    5464     booktitle   = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    5465     series      = {POPL '14},
    5466     year        = {2014},
    5467     isbn        = {978-1-4503-2544-8},
    5468     location    = {San Diego, California, USA},
    5469     pages       = {101--112},
    5470     numpages    = {12},
    5471     url         = {http://doi.acm.org/10.1145/2535838.2535878},
    5472     doi         = {10.1145/2535838.2535878},
    5473     acmid       = {2535878},
    5474     publisher   = {ACM},
    5475     address     = {New York, NY, USA},
     5451 keywords = {c formalization},
     5452 contributer = {a3moss@uwaterloo.ca},
     5453 author = {Krebbers, Robbert},
     5454 title = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
     5455 booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     5456 series = {POPL '14},
     5457 year = {2014},
     5458 isbn = {978-1-4503-2544-8},
     5459 location = {San Diego, California, USA},
     5460 pages = {101--112},
     5461 numpages = {12},
     5462 url = {http://doi.acm.org/10.1145/2535838.2535878},
     5463 doi = {10.1145/2535838.2535878},
     5464 acmid = {2535878},
     5465 publisher = {ACM},
     5466 address = {New York, NY, USA},
    54765467}
    54775468
    … …  
    75407531
    75417532@article{SysVABI,
    7542     keywords    = {System V ABI},
    7543     contributer = {a3moss@uwaterloo.ca},
    7544     title       = {System {V} application binary interface},
    7545     author      = {Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
    7546     journal     = {AMD64 Architecture Processor Supplement, Draft v0},
    7547     volume      = {99},
    7548     year        = {2013}
     7533  keywords = {System V ABI},
     7534  contributer = {a3moss@uwaterloo.ca},
     7535  title={System {V} application binary interface},
     7536  author={Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
     7537  journal={AMD64 Architecture Processor Supplement, Draft v0},
     7538  volume={99},
     7539  year={2013}
    75497540}
    75507541
    … …  
    77737764
    77747765@techreport{Black90,
    7775     title       = {Typechecking polymorphism in {Emerald}},
    7776     author      = {Black, Andrew P and Hutchinson, Norman C},
    7777     year        = {1990},
    7778     institution = {Cambridge Research Laboratory, Digital Equipment Corporation}
     7766  title={Typechecking polymorphism in {Emerald}},
     7767  author={Black, Andrew P and Hutchinson, Norman C},
     7768  year={1990},
     7769  institution={Cambridge Research Laboratory, Digital Equipment Corporation}
    77797770}
    77807771
Note: See TracChangeset for help on using the changeset viewer.