Changeset 1c412aa for doc/theses/thierry_delisle_PhD/comp_II/local.bib

Timestamp:

Apr 16, 2020, 9:23:02 AM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

41af19c

Parents:

849f2c6b

Message:

final comments on Thierry's comp II

File:

• doc/theses/thierry_delisle_PhD/comp_II/local.bib (modified) (7 diffs)

doc/theses/thierry_delisle_PhD/comp_II/local.bib

@@ -76 +76 @@
 
 @article{finkel1987dib,
-  title={DIB—a distributed implementation of backtracking},
+  title={DIB-a distributed implementation of backtracking},
   author={Finkel, Raphael and Manber, Udi},
   journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
@@ -266 +266 @@
 % ===============================================================================
 @manual{open,
+  key        = "open",
   title      = "open(2) Linux User's Manual",
   year       = "2020",
@@ -272 +273 @@
 
 @manual{epoll,
+  key        = "epoll",
   title      = "epoll(7) Linux User's Manual",
   year       = "2019",
@@ -278 +280 @@
 
 @manual{select,
+  key        = "select",
   title      = "select(7) Linux User's Manual",
   year       = "2019",
@@ -289 +292 @@
   month   = "March",
   version = {0,4},
-  url     = {https://kernel.dk/io_uring.pdf}
+  howpublished = {\url{https://kernel.dk/io_uring.pdf}}
 }
 
 @misc{libuv,
+  key   = "libuv",
   title = {libuv},
-  url   = {https://github.com/libuv/libuv}
+  howpublished = {\url{https://github.com/libuv/libuv}}
 }
 
@@ -301 +305 @@
 % ===============================================================================
 
-% libfibre web server
-@article{karstenuser,
-  title={User-level Threading: Have Your Cake and Eat It Too},
-  author={KARSTEN, MARTIN and BARGHI, SAMAN}
-}
-
-% libfibre
-@misc{libfibre,
-  title={libfibre},
-  author={KARSTEN, MARTIN},
-  journal={URL: https://git.uwaterloo.ca/mkarsten/libfibre}
-}
-
 @misc{nginx-design,
-  title={Inside NGINX: How We Designed for Performance \& Scale},
-  url = "https://www.nginx.com/blog/inside-nginx-how-we-designed-for-performance-scale/",
-}
-
-@article{Delisle19,
-  keywords      = {concurrency, Cforall},
-  contributer   = {pabuhr@plg},
-  author        = {Thierry Delisle and Peter A. Buhr},
-  title = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$},
-  year  = 2019,
-  journal       = spe,
-  pages = {1-33},
-  note  = {submitted},
+  key   = "nginx",
+  title={Inside {NGINX}: How We Designed for Performance \& Scale},
+  howpublished= {\href{https://www.nginx.com/blog/inside-nginx-how-we-designed-for-performance-scale}
+                {https://\-www.nginx.com/\-blog/\-inside\--nginx\--how\--we\--designed\--for\--performance\--scale}},
 }
 
@@ -343 +325 @@
    title = "Thundering herd problem --- {W}ikipedia{,} The Free Encyclopedia",
    year = "2020",
-   url = "https://en.wikipedia.org/wiki/Thundering_herd_problem",
+   howpublished = {\href{https://en.wikipedia.org/wiki/Thundering_herd_problem}
+                  {https://\-en.wikipedia.org/\-wiki/\-Thundering\_herd\_problem}},},
    note = "[Online; accessed 14-April-2020]"
- }
-
- @misc{wiki:ubuntu-linux,
+}
+
+@misc{wiki:ubuntu-linux,
    author = "{Wikipedia contributors}",
    title = "Ubuntu version history : Table of versions --- {W}ikipedia{,} The Free Encyclopedia",
    year = "2020",
-   url = "https://en.wikipedia.org/wiki/Ubuntu_version_history#Table_of_versions",
+   howpublished = {\href{https://en.wikipedia.org/wiki/Ubuntu_version_history\#Table_of_versions}
+                  {https://\-en.wikipedia.org/\-wiki/\-Ubuntu\_version\_history\#Table\_of\_versions}},
    note = "[Online; accessed 15-April-2020]"
- }
+}