ci: generate pages at ad6bfe5 [ci skip]

Author: tatsuya6502

public/1.9/book/bibliography.html

@@ -186,7 +186,8 @@ <h1 class="title">関連書目</h1>
 
 <!-- Rust, as well as publications about Rust. -->
 
-<p>これはRustに関連した読書一覧です。これらの中には（ある時点での）Rustの設計に影響を与えたものもあればRustについての出版物もあります。</p>
+<p>これはRustに関連した読書一覧です。
+これらの中には（ある時点での）Rustの設計に影響を与えたものもあれば、Rustについての出版物もあります。</p>
 
 <!-- ### Type system -->
 
@@ -215,7 +216,8 @@ <h3 id='型システム' class='section-header'><a href='#型システム'>型
 <li><a href="http://www.ps.uni-sb.de/courses/typen-ws99/class.ps.gz">Typeclasses: making ad-hoc polymorphism less ad hoc</a></li>
 <li><a href="https://www.cs.utah.edu/plt/publications/jfp12-draft-fcdf.pdf">Macros that work together</a></li>
 <li><a href="http://scg.unibe.ch/archive/papers/Scha03aTraits.pdf">Traits: composable units of behavior</a></li>
-<li><a href="http://www.cs.uwm.edu/faculty/boyland/papers/unique-preprint.ps">Alias burying</a> - 似たようなことをしようとしましたがやめました。</li>
+<li><a href="http://www.cs.uwm.edu/faculty/boyland/papers/unique-preprint.ps">Alias burying</a>
+&mdash; 似たようなことをしようとしましたがやめました</li>
 <li><a href="http://www.cs.uu.nl/research/techreps/UU-CS-2002-048.html">External uniqueness is unique enough</a></li>
 <li><a href="https://research.microsoft.com/pubs/170528/msr-tr-2012-79.pdf">Uniqueness and Reference Immutability for Safe Parallelism</a></li>
 <li><a href="http://www.cs.ucla.edu/%7Epalsberg/tba/papers/tofte-talpin-iandc97.pdf">Region Based Memory Management</a></li>
@@ -254,25 +256,28 @@ <h3 id='並行性' class='section-header'><a href='#並行性'>並行性</a></h3
 
 <!-- * [Algorithms for scalable synchronization of shared-memory multiprocessors](https://www.cs.rochester.edu/u/scott/papers/1991_TOCS_synch.pdf) -->
 
-<!-- * [Epoc-based reclamation](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf). -->
+<!-- * [Epoch-based reclamation](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf). -->
 
 <ul>
 <li><a href="https://research.microsoft.com/pubs/69431/osr2007_rethinkingsoftwarestack.pdf">Singularity: rethinking the software stack</a></li>
 <li><a href="https://research.microsoft.com/pubs/67482/singsharp.pdf">Language support for fast and reliable message passing in singularity OS</a></li>
 <li><a href="http://supertech.csail.mit.edu/papers/steal.pdf">Scheduling multithreaded computations by work stealing</a></li>
 <li><a href="http://www.eecis.udel.edu/%7Ecavazos/cisc879-spring2008/papers/arora98thread.pdf">Thread scheduling for multiprogramming multiprocessors</a></li>
 <li><a href="http://www.aladdin.cs.cmu.edu/papers/pdfs/y2000/locality_spaa00.pdf">The data locality of work stealing</a></li>
-<li><a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.170.1097&amp;rep=rep1&amp;type=pdf">Dynamic circular work stealing deque</a> - ChaseとLevのdeque</li>
-<li><a href="http://www.cs.rice.edu/%7Eyguo/pubs/PID824943.pdf">Work-first and help-first scheduling policies for async-finish task parallelism</a> - 完全正格(fully-strict)なワークスティーリング(work stealing)より一般的</li>
-<li><a href="http://www.coopsoft.com/ar/CalamityArticle.html">A Java fork/join calamity</a> - Javaの fork/joinライブラリについての評価。特にワークスティーリングの非正格な計算への応用。</li>
+<li><a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.170.1097&amp;rep=rep1&amp;type=pdf">Dynamic circular work stealing deque</a>
+&mdash; ChaseとLevのdeque</li>
+<li><a href="http://www.cs.rice.edu/%7Eyguo/pubs/PID824943.pdf">Work-first and help-first scheduling policies for async-finish task parallelism</a>
+&mdash; 完全正格(fully-strict)なワークスティーリング(work stealing)より一般的</li>
+<li><a href="http://www.coopsoft.com/ar/CalamityArticle.html">A Java fork/join calamity</a>
+&mdash; Javaの fork/joinライブラリについての評価。特にワークスティーリングの非正格な計算への応用</li>
 <li><a href="http://www.stanford.edu/%7Eouster/cgi-bin/papers/coscheduling.pdf">Scheduling techniques for concurrent systems</a></li>
 <li><a href="http://www.blagodurov.net/files/a8-blagodurov.pdf">Contention aware scheduling</a></li>
 <li><a href="http://www.cse.ohio-state.edu/hpcs/WWW/HTML/publications/papers/TR-12-1.pdf">Balanced work stealing for time-sharing multicores</a></li>
 <li><a href="http://dl.acm.org/citation.cfm?id=1953616&amp;dl=ACM&amp;coll=DL&amp;CFID=524387192&amp;CFTOKEN=44362705">Three layer cake for shared-memory programming</a></li>
 <li><a href="http://www.cs.bgu.ac.il/%7Ehendlerd/papers/p280-hendler.pdf">Non-blocking steal-half work queues</a></li>
 <li><a href="http://www.mpi-sws.org/%7Eturon/reagents.pdf">Reagents: expressing and composing fine-grained concurrency</a></li>
 <li><a href="https://www.cs.rochester.edu/u/scott/papers/1991_TOCS_synch.pdf">Algorithms for scalable synchronization of shared-memory multiprocessors</a></li>
-<li><a href="https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf">Epoc-based reclamation</a>.</li>
+<li><a href="https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-579.pdf">Epoch-based reclamation</a></li>
 </ul>
 
 <!-- ### Others -->
@@ -361,38 +366,36 @@ <h3 id='rust-についての-論文' class='section-header'><a href='#rust-に
 
 <!-- * [Ownership is Theft: Experiences Building an Embedded OS in Rust - Amit Levy, et. al.](http://amitlevy.com/papers/tock-plos2015.pdf) -->
 
-<ul>
-<li><a href="http://www.cs.indiana.edu/%7Eeholk/papers/hips2013.pdf">GPU Programming in Rust: Implementing High Level Abstractions in a
-Systems Level
-Language</a>。 Eric Holkによる初期のGPU研究。</li>
-<li><a href="https://www.usenix.org/conference/hotpar12/parallel-closures-new-twist-old-idea">Parallel closures: a new twist on an old
-idea</a>
+<!-- * [You can't spell trust without Rust](https://raw.githubusercontent.com/Gankro/thesis/master/thesis.pdf). Alexis Beingessner's master's thesis. -->
 
 <ul>
-<li>正確にはRustについてではないが、nmatsakisによるもの（訳注: nmatsakisはmozillaのデベロッパ）</li>
-</ul></li>
-<li><a href="ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf">Patina: A Formalization of the Rust Programming
-Language</a>。 Eric Reedによる初期の型システムのサブセットの形式化</li>
-<li><a href="http://arxiv.org/abs/1505.07383">Experience Report: Developing the Servo Web Browser Engine using
-Rust</a>。 Lars Bergstromによるもの</li>
-<li><a href="https://michaelsproul.github.io/rust_radix_paper/rust-radix-sproul.pdf">Implementing a Generic Radix Trie in
-Rust</a>。 Michael Sproulの学部論文</li>
-<li><a href="http://scialex.github.io/reenix.pdf">Reenix: Implementing a Unix-Like Operating System in
-Rust</a>。 Alex Lightの学部論文。</li>
-<li><a href="http://octarineparrot.com/assets/mrfloya-thesis-ba.pdf">Evaluation of performance and productivity metrics of potential
-programming languages in the HPC environment</a>。
-Florian Wilkensの卒業論文。 C、 Go Rustを比較する</li>
-<li><a href="http://spw15.langsec.org/papers/couprie-nom.pdf">Nom, a byte oriented, streaming, zero copy, parser combinators library
-in Rust</a>。 Geoffroy CouprieによるVLCのための研究</li>
-<li><a href="http://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf">Graph-Based Higher-Order Intermediate
-Representation</a>。 Rustに似た言語、Impalaで実装された実験的中間表現</li>
-<li><a href="http://compilers.cs.uni-saarland.de/papers/ppl14_web.pdf">Code Refinement of Stencil
-Codes</a>。 Impalaを使った別の論文</li>
-<li><a href="http://publications.lib.chalmers.se/records/fulltext/219016/219016.pdf">Parallelization in Rust with fork-join and
-friends</a>。 Linus Farnstrandの修士論文</li>
-<li><a href="http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf">Session Types for
-Rust</a>。 Philip Munksgaardの修士論文。Servoのための研究。</li>
+<li><a href="http://www.cs.indiana.edu/%7Eeholk/papers/hips2013.pdf">GPU Programming in Rust: Implementing High Level Abstractions in a Systems Level Language</a>
+&mdash; Eric Holkによる初期のGPU研究</li>
+<li><a href="https://www.usenix.org/conference/hotpar12/parallel-closures-new-twist-old-idea">Parallel closures: a new twist on an old idea</a>
+&mdash; 正確にはRustについてではないが、nmatsakisによるもの（訳注: nmatsakisはmozillaのデベロッパ）</li>
+<li><a href="ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf">Patina: A Formalization of the Rust Programming Language</a>
+&mdash; Eric Reedによる初期の型システムのサブセットの形式化</li>
+<li><a href="http://arxiv.org/abs/1505.07383">Experience Report: Developing the Servo Web Browser Engine using Rust</a>
+&mdash; Lars Bergstromによるもの</li>
+<li><a href="https://michaelsproul.github.io/rust_radix_paper/rust-radix-sproul.pdf">Implementing a Generic Radix Trie in Rust</a>
+&mdash; Michael Sproulの学部論文</li>
+<li><a href="http://scialex.github.io/reenix.pdf">Reenix: Implementing a Unix-Like Operating System in Rust</a>
+&mdash; Alex Lightの学部論文</li>
+<li><a href="http://octarineparrot.com/assets/mrfloya-thesis-ba.pdf">Evaluation of performance and productivity metrics of potential programming languages in the HPC environment</a>
+&mdash; Florian Wilkensの卒業論文。C、Go、Rustを比較する</li>
+<li><a href="http://spw15.langsec.org/papers/couprie-nom.pdf">Nom, a byte oriented, streaming, zero copy, parser combinators library in Rust</a>
+&mdash; Geoffroy CouprieによるVLCのための研究</li>
+<li><a href="http://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf">Graph-Based Higher-Order Intermediate Representation</a>
+&mdash; Rustに似た言語、Impalaで実装された実験的中間表現</li>
+<li><a href="http://compilers.cs.uni-saarland.de/papers/ppl14_web.pdf">Code Refinement of Stencil Codes</a>
+&mdash; Impalaを使った別の論文</li>
+<li><a href="http://publications.lib.chalmers.se/records/fulltext/219016/219016.pdf">Parallelization in Rust with fork-join and friends</a>
+&mdash; Linus Farnstrandの修士論文</li>
+<li><a href="http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf">Session Types for Rust</a>
+&mdash; Philip Munksgaardの修士論文。Servoのための研究</li>
 <li><a href="http://amitlevy.com/papers/tock-plos2015.pdf">Ownership is Theft: Experiences Building an Embedded OS in Rust - Amit Levy, et. al.</a></li>
+<li><a href="https://raw.githubusercontent.com/Gankro/thesis/master/thesis.pdf">You can&#39;t spell trust without Rust</a>
+&mdash; Alexis Beingessnerの修士論文</li>
 </ul>
 
     <script type="text/javascript">