citations.bib 9.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149
  1. @article{filecoin,
  2. author = "Protocol Labs",
  3. title = "Filecoin: A Decentralized Storage Network",
  4. url = {https://filecoin.io/filecoin.pdf}
  5. }
  6. @inproceedings{blockstack,
  7. author = {Muneeb Ali and Jude Nelson and Ryan Shea and Michael J. Freedman},
  8. title = {Blockstack: A Global Naming and Storage System Secured by Blockchains},
  9. booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)},
  10. year = {2016},
  11. isbn = {978-1-931971-30-0},
  12. address = {Denver, CO},
  13. pages = {181--194},
  14. url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/ali},
  15. publisher = {USENIX Association},
  16. month = jun,
  17. }
  18. @misc{tahoe,
  19. author = {Zooko Wilcox-O'Hearn and Brian Warner},
  20. title = {Tahoe – The Least-Authority Filesystem},
  21. howpublished = {Cryptology ePrint Archive, Paper 2012/524},
  22. year = {2012},
  23. note = {\url{https://eprint.iacr.org/2012/524}},
  24. url = {https://eprint.iacr.org/2012/524}
  25. }
  26. @misc{tpm,
  27. title = {TPM 2.0 Library},
  28. url = {https://trustedcomputinggroup.org/resource/tpm-library-specification/}
  29. }
  30. @inproceedings {raft,
  31. author = {Diego Ongaro and John Ousterhout},
  32. title = {In Search of an Understandable Consensus Algorithm},
  33. booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
  34. year = {2014},
  35. isbn = {978-1-931971-10-2},
  36. address = {Philadelphia, PA},
  37. pages = {305--319},
  38. url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/ongaro},
  39. publisher = {USENIX Association},
  40. month = jun,
  41. }
  42. @article{bitcoin,
  43. author = {Nakamoto, Satoshi},
  44. year = {2009},
  45. month = {03},
  46. pages = {},
  47. title = {Bitcoin: A Peer-to-Peer Electronic Cash System},
  48. journal = {Cryptography Mailing list at https://metzdowd.com},
  49. url = {https://bitcoin.org/bitcoin.pdf}
  50. }
  51. @misc{raptorq,
  52. series = {Request for Comments},
  53. number = 6330,
  54. howpublished = {RFC 6330},
  55. publisher = {RFC Editor},
  56. doi = {10.17487/RFC6330},
  57. url = {https://www.rfc-editor.org/info/rfc6330},
  58. author = {Lorenz Minder and Amin Shokrollahi and Mark Watson and Mike Luby and Thomas Stockhammer},
  59. title = {{RaptorQ Forward Error Correction Scheme for Object Delivery}},
  60. pagetotal = 69,
  61. year = 2011,
  62. month = aug,
  63. abstract = {This document describes a Fully-Specified Forward Error Correction (FEC) scheme, corresponding to FEC Encoding ID 6, for the RaptorQ FEC code and its application to reliable delivery of data objects. RaptorQ codes are a new family of codes that provide superior flexibility, support for larger source block sizes, and better coding efficiency than Raptor codes in RFC 5053. RaptorQ is also a fountain code, i.e., as many encoding symbols as needed can be generated on the fly by the encoder from the source symbols of a source block of data. The decoder is able to recover the source block from almost any set of encoding symbols of sufficient cardinality -- in most cases, a set of cardinality equal to the number of source symbols is sufficient; in rare cases, a set of cardinality slightly more than the number of source symbols is required. The RaptorQ code described here is a systematic code, meaning that all the source symbols are among the encoding symbols that can be generated. {[}STANDARDS-TRACK{]}},
  64. }
  65. @inproceedings{10.1145/3062341.3062363,
  66. author = {Haas, Andreas and Rossberg, Andreas and Schuff, Derek L. and Titzer, Ben L. and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
  67. title = {Bringing the Web up to Speed with WebAssembly},
  68. year = {2017},
  69. isbn = {9781450349888},
  70. publisher = {Association for Computing Machinery},
  71. address = {New York, NY, USA},
  72. url = {https://doi.org/10.1145/3062341.3062363},
  73. doi = {10.1145/3062341.3062363},
  74. abstract = { The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code on the Web has become more important than ever. Yet JavaScript as the only built-in language of the Web is not well-equipped to meet these requirements, especially as a compilation target. Engineers from the four major browser vendors have risen to the challenge and collaboratively designed a portable low-level bytecode called WebAssembly. It offers compact representation, efficient validation and compilation, and safe low to no-overhead execution. Rather than committing to a specific programming model, WebAssembly is an abstraction over modern hardware, making it language-, hardware-, and platform-independent, with use cases beyond just the Web. WebAssembly has been designed with a formal semantics from the start. We describe the motivation, design and formal semantics of WebAssembly and provide some preliminary experience with implementations. },
  75. booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  76. pages = {185–200},
  77. numpages = {16},
  78. keywords = {just-in-time compilers, type systems, assembly languages, programming languages, virtual machines},
  79. location = {Barcelona, Spain},
  80. series = {PLDI 2017}
  81. }
  82. @article{wasm,
  83. author = {Haas, Andreas and Rossberg, Andreas and Schuff, Derek L. and Titzer, Ben L. and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
  84. title = {Bringing the Web up to Speed with WebAssembly},
  85. year = {2017},
  86. issue_date = {June 2017},
  87. publisher = {Association for Computing Machinery},
  88. address = {New York, NY, USA},
  89. volume = {52},
  90. number = {6},
  91. issn = {0362-1340},
  92. url = {https://doi.org/10.1145/3140587.3062363},
  93. doi = {10.1145/3140587.3062363},
  94. abstract = { The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code on the Web has become more important than ever. Yet JavaScript as the only built-in language of the Web is not well-equipped to meet these requirements, especially as a compilation target. Engineers from the four major browser vendors have risen to the challenge and collaboratively designed a portable low-level bytecode called WebAssembly. It offers compact representation, efficient validation and compilation, and safe low to no-overhead execution. Rather than committing to a specific programming model, WebAssembly is an abstraction over modern hardware, making it language-, hardware-, and platform-independent, with use cases beyond just the Web. WebAssembly has been designed with a formal semantics from the start. We describe the motivation, design and formal semantics of WebAssembly and provide some preliminary experience with implementations. },
  95. journal = {SIGPLAN Not.},
  96. month = {6},
  97. pages = {185–200},
  98. numpages = {16},
  99. keywords = {assembly languages, type systems, virtual machines, just-in-time compilers, programming languages}
  100. }
  101. @phdthesis{armstrong,
  102. author = {Joe Armstrong},
  103. title = {Making reliable distributed systems in the presence of software errors},
  104. school = {Royal Institute of Technology, Stockholm, Sweden},
  105. year = {2003}
  106. }
  107. @techreport{orleans,
  108. author = {Bernstein, Phil and Bykov, Sergey and Geller, Alan and Kliot, Gabriel and Thelin, Jorgen},
  109. title = {Orleans: Distributed Virtual Actors for Programmability and Scalability},
  110. year = {2014},
  111. month = {3},
  112. abstract = {High-scale interactive services demand high throughput with low latency and high availability, difficult goals to meet with the traditional stateless 3-tier architecture. The actor model makes it natural to build a stateful middle tier and achieve the required performance. However, the popular actor model platforms still pass many distributed systems problems to the developers.
  113. The Orleans programming model introduces the novel abstraction of virtual actors that solves a number of the complex distributed systems problems, such as reliability and distributed resource management, liberating the developers from dealing with those concerns. At the same time, the Orleans runtime enables applications to attain high performance, reliability and scalability.
  114. This paper presents the design principles behind Orleans and demonstrates how Orleans achieves a simple programming model that meets these goals. We describe how Orleans simplified the development of several scalable production applications on Windows Azure, and report on the performance of those production systems.},
  115. url = {https://www.microsoft.com/en-us/research/publication/orleans-distributed-virtual-actors-for-programmability-and-scalability/},
  116. number = {MSR-TR-2014-41},
  117. }
  118. @inproceedings{sfs,
  119. author = {Mazi\`{e}res, David and Kaashoek, M. Frans},
  120. title = {Escaping the Evils of Centralized Control with Self-Certifying Pathnames},
  121. year = {1998},
  122. isbn = {9781450373173},
  123. publisher = {Association for Computing Machinery},
  124. address = {New York, NY, USA},
  125. url = {https://doi.org/10.1145/319195.319213},
  126. doi = {10.1145/319195.319213},
  127. booktitle = {Proceedings of the 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications},
  128. pages = {118–125},
  129. numpages = {8},
  130. location = {Sintra, Portugal},
  131. series = {EW 8}
  132. }
  133. @inproceedings{quic,
  134. title = {The QUIC Transport Protocol: Design and Internet-Scale Deployment},
  135. author = {Adam Langley and Al Riddoch and Alyssa Wilk and Antonio Vicente and Charles 'Buck' Krasic and Cherie Shi and Dan Zhang and Fan Yang and Feodor Kouranov and Ian Swett and Janardhan Iyengar and Jeff Bailey and Jeremy Christopher Dorfman and Jim Roskind and Joanna Kulik and Patrik Göran Westin and Raman Tenneti and Robbie Shade and Ryan Hamilton and Victor Vasiliev and Wan-Teh Chang},
  136. year = {2017}
  137. }