- Timestamp:
- Aug 25, 2019, 8:48:11 AM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 330d933
- Parents:
- 0d92e5c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r0d92e5c rf9bf142 943 943 } 944 944 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 978 945 @article{Moss18, 979 946 keywords = {type systems, polymorphism, tuples, Cforall}, … … 988 955 pages = {2111-2146}, 989 956 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}}, 990 1000 } 991 1001 … … 1101 1111 1102 1112 @techreport{Prokopec11, 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}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} 1109 1119 } 1110 1120 … … 1158 1168 1159 1169 @phdthesis{Norrish98, 1160 title={C formalised in HOL},1161 author={Norrish, Michael},1162 year={1998},1163 school={University of Cambridge}1170 title = {C formalised in HOL}, 1171 author = {Norrish, Michael}, 1172 year = {1998}, 1173 school = {University of Cambridge} 1164 1174 } 1165 1175 … … 1170 1180 title = {Checked C: Making C Safe by Extension}, 1171 1181 booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, 1182 publisher = {IEEE}, 1172 1183 year = {2018}, 1173 month = {September},1184 month = sep, 1174 1185 pages = {53-60}, 1175 publisher = {IEEE},1176 1186 url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/}, 1177 1187 } … … 1285 1295 1286 1296 @inproceedings{Odersky01, 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},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}, 1303 1313 } 1304 1314 … … 1693 1703 1694 1704 @inproceedings{Prokopec12, 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}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} 1705 1715 } 1706 1716 … … 1729 1739 } 1730 1740 1731 @article{Delisle1 8b,1741 @article{Delisle19, 1732 1742 keywords = {concurrency, Cforall}, 1733 1743 contributer = {pabuhr@plg}, 1734 1744 author = {Thierry Delisle and Peter A. Buhr}, 1735 title = { Concurrency in \textsf{C}$\mathbf{\forall}$},1736 year = 201 8,1745 title = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$}, 1746 year = 2019, 1737 1747 journal = spe, 1738 pages = {1-3 2},1748 pages = {1-33}, 1739 1749 note = {submitted}, 1740 1750 } … … 2500 2510 2501 2511 @misc{Dotty-github, 2502 keywords 2503 contributer 2504 author 2505 title 2506 howpublished 2507 note 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} 2508 2518 } 2509 2519 … … 2656 2666 volume = 10, 2657 2667 number = 3, 2658 pages 2668 pages = {120-123}, 2659 2669 comment = { 2660 2670 The ``two-pass'' algorithm. An upward pass over a parse tree … … 3236 3246 3237 3247 @article{Leroy09, 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},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}, 3256 3266 } 3257 3267 … … 4181 4191 4182 4192 @article{Morgado13, 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}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} 4193 4203 } 4194 4204 … … 4389 4399 } 4390 4400 4391 4392 4401 @article{Liskov86, 4393 4402 keywords = {synchronous communication, concurrency}, … … 4448 4457 4449 4458 @article{Pierce00, 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},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}, 4469 4478 } 4470 4479 … … 5449 5458 5450 5459 @inproceedings{Krebbers14, 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},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}, 5467 5476 } 5468 5477 … … 7531 7540 7532 7541 @article{SysVABI, 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}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} 7540 7549 } 7541 7550 … … 7764 7773 7765 7774 @techreport{Black90, 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}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} 7770 7779 } 7771 7780
Note: See TracChangeset
for help on using the changeset viewer.