Index: doc/bibliography/pl.bib =================================================================== --- doc/bibliography/pl.bib (revision fc568163062dc14c2d5de7aa24dfe4d3f53f78fd) +++ doc/bibliography/pl.bib (revision f9bf142ef442d7af8e2d6db94b4a55098b694cfd) @@ -943,37 +943,4 @@ } -@misc{Cforall, - contributer = {pabuhr@plg}, - key = {Cforall}, - author = {{\textsf{C}{$\mathbf{\forall}$} Features}}, - howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}}, -} - -@misc{CforallBenchMarks, - contributer = {pabuhr@plg}, - key = {Cforall Benchmarks}, - author = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}}, - howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}}, -} - -@mastersthesis{Esteves04, - keywords = {Cforall, parametric polymorphism, overloading}, - contributer = {pabuhr@plg}, - author = {Rodolfo Gabriel Esteves}, - title = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages}, - school = {School of Computer Science, University of Waterloo}, - year = 2004, - address = {Waterloo, Ontario, Canada, N2L 3G1}, - note = {\href{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-EstevesThesis.pdf}}, -} - -@misc{CFAStackEvaluation, - contributer = {a3moss@plg}, - author = {Aaron Moss}, - title = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs}, - year = 2018, - howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}}, -} - @article{Moss18, keywords = {type systems, polymorphism, tuples, Cforall}, @@ -988,4 +955,47 @@ pages = {2111-2146}, note = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}}, +} + +@misc{CforallBenchMarks, + contributer = {pabuhr@plg}, + key = {Cforall Benchmarks}, + author = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}}, + howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}}, +} + +@misc{Cforall, + contributer = {pabuhr@plg}, + key = {Cforall}, + author = {{\textsf{C}{$\mathbf{\forall}$} Features}}, + howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}}, +} + +@misc{CFAStackEvaluation, + contributer = {a3moss@plg}, + author = {Aaron Moss}, + title = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs}, + year = 2018, + howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}}, +} + +@mastersthesis{Esteves04, + keywords = {Cforall, parametric polymorphism, overloading}, + contributer = {pabuhr@plg}, + author = {Rodolfo Gabriel Esteves}, + title = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages}, + school = {School of Computer Science, University of Waterloo}, + year = 2004, + address = {Waterloo, Ontario, Canada, N2L 3G1}, + note = {\href{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-EstevesThesis.pdf}}, +} + +@phdthesis{Moss19, + keywords = {type system, generic type, resolution algorithm, type environment, Cforall}, + author = {Aaron Moss}, + title = {\textsf{C}$\mathbf{\forall}$ Type System Implementation}, + school = {School of Computer Science, University of Waterloo}, + year = 2019, + optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, + note = {\href{https://uwspace.uwaterloo.ca/handle/10012/14584}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14584}}, } @@ -1101,10 +1111,10 @@ @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} + 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} } @@ -1158,8 +1168,8 @@ @phdthesis{Norrish98, - title={C formalised in HOL}, - author={Norrish, Michael}, - year={1998}, - school={University of Cambridge} + title = {C formalised in HOL}, + author = {Norrish, Michael}, + year = {1998}, + school = {University of Cambridge} } @@ -1170,8 +1180,8 @@ title = {Checked C: Making C Safe by Extension}, booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, + publisher = {IEEE}, year = {2018}, - month = {September}, + month = sep, pages = {53-60}, - publisher = {IEEE}, url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/}, } @@ -1285,20 +1295,20 @@ @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}, + 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}, } @@ -1693,14 +1703,14 @@ @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} + 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} } @@ -1729,12 +1739,12 @@ } -@article{Delisle18b, +@article{Delisle19, keywords = {concurrency, Cforall}, contributer = {pabuhr@plg}, author = {Thierry Delisle and Peter A. Buhr}, - title = {Concurrency in \textsf{C}$\mathbf{\forall}$}, - year = 2018, + title = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$}, + year = 2019, journal = spe, - pages = {1-32}, + pages = {1-33}, note = {submitted}, } @@ -2500,10 +2510,10 @@ @misc{Dotty-github, - keywords = {dotty,scala}, - contributer = {a3moss@uwaterloo.ca}, - author = {Martin Odersky}, - title = {Dotty}, - howpublished = {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}}, - note = {Acessed: 2019-02-22} + keywords = {dotty,scala}, + contributer = {a3moss@uwaterloo.ca}, + author = {Martin Odersky}, + title = {Dotty}, + howpublished= {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}}, + note = {Acessed: 2019-02-22} } @@ -2656,5 +2666,5 @@ volume = 10, number = 3, - pages = {120-123}, + pages = {120-123}, comment = { The ``two-pass'' algorithm. An upward pass over a parse tree @@ -3236,22 +3246,22 @@ @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}, + 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}, } @@ -4181,14 +4191,14 @@ @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} + 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} } @@ -4389,5 +4399,4 @@ } - @article{Liskov86, keywords = {synchronous communication, concurrency}, @@ -4448,23 +4457,23 @@ @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}, + 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}, } @@ -5449,20 +5458,20 @@ @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}, + 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}, } @@ -7531,11 +7540,11 @@ @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} + 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} } @@ -7764,8 +7773,8 @@ @techreport{Black90, - title={Typechecking polymorphism in {Emerald}}, - author={Black, Andrew P and Hutchinson, Norman C}, - year={1990}, - institution={Cambridge Research Laboratory, Digital Equipment Corporation} + title = {Typechecking polymorphism in {Emerald}}, + author = {Black, Andrew P and Hutchinson, Norman C}, + year = {1990}, + institution = {Cambridge Research Laboratory, Digital Equipment Corporation} }