comments ms

[phd-thesis.git] / bib / other.bib

diff --git a/bib/other.bib b/bib/other.bib
index bedbf9d..2b7145c 100644 (file)
--- a/bib/other.bib
+++ b/bib/other.bib
@@ -2209,3 +2209,44 @@ Publisher: {ACM}},
        author = {Bender, Emily},
        year = {2019},
 }
+
+@inproceedings{radanne_eliom_2016,
+       location = {Cham},
+       title = {Eliom: A Core {ML} Language for Tierless Web Programming},
+       isbn = {978-3-319-47958-3},
+       abstract = {Eliom is a dialect of {OCaml} for Web programming in which server and client pieces of code can be mixed in the same file using syntactic annotations. This allows to build a whole application as a single distributed program, in which it is possible to define in a composable way reusable widgets with both server and client behaviors. Our language also enables simple and type-safe communication. Eliom matches the specificities of the Web by allowing the programmer to interleave client and server code while maintaining efficient one-way server-to-client communication. The Eliom language is both sufficiently small to be implemented on top of an existing language and sufficiently powerful to allow expressing many idioms of Web programming.},
+       pages = {377--397},
+       booktitle = {Programming Languages and Systems},
+       publisher = {Springer International Publishing},
+       author = {Radanne, Gabriel and Vouillon, Jérôme and Balat, Vincent},
+       editor = {Igarashi, Atsushi},
+       date = {2016},
+}
+
+@thesis{decker_tierless_2015,
+       location = {United States},
+       title = {Tierless Programming for the Internet of Things},
+       url = {https://www.osti.gov/biblio/1169934},
+       abstract = {The Internet of Things ({IoT}) is about Internet-addressability and connectivity for everyday devices. The goal of this project was to create a framework to allow developers to more easily control {IoT} devices and turn their interactions into meaningful applications. We leveraged a tierless approach for Software Defined Networking ({SDN}) to build this framework. We expanded Flowlog, a tierless programming language for {SDN} controllers, to support {IoT} devices developed by Spark {IO} to build this framework.},
+       pagetotal = {18},
+       institution = {Brown University},
+       type = {Master's Thesis},
+       author = {Decker, Brett},
+       date = {2015-02-01},
+       doi = {10.2172/1169934},
+       keywords = {97 {MATHEMATICS} {AND} {COMPUTING}},
+       file = {Decker - 2015 - Tierless Programming for the Internet of Things.pdf:/home/mrl/.local/share/zotero/storage/CZ9DV6SW/Decker - 2015 - Tierless Programming for the Internet of Things.pdf:application/pdf},
+}
+
+@inproceedings{nelson_tierless_2014,
+       location = {Seattle, {WA}},
+       title = {Tierless Programming and Reasoning for Software-Defined Networks},
+       isbn = {978-1-931971-09-6},
+       url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson},
+       pages = {519--531},
+       booktitle = {11th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 14)},
+       publisher = {{USENIX} Association},
+       author = {Nelson, Tim and Ferguson, Andrew D. and Scheer, Michael J. G. and Krishnamurthi, Shriram},
+       date = {2014-04},
+       file = {Nelson et al. - 2014 - Tierless Programming and Reasoning for Software-De.pdf:/home/mrl/.local/share/zotero/storage/3AXEWJ4I/Nelson et al. - 2014 - Tierless Programming and Reasoning for Software-De.pdf:application/pdf},
+}