4306693d384936396341c9f49941a1b0cf58ee09
[barrelfish] / doc / style / barrelfish.bib
1 @comment{{Suggested rules for editing the bib file, so we all stay sane and
2 have pretty bibliographies in our papers:
3
4   0. for any new entries, construct the key as either:
5      <name of system>:<venue>
6      or:
7      <first author's surname>:<venue>
8      or:
9      <first author's surname>:<most significant word from title>:<venue>
10   1. keep entries in alphabetical order, sorted by key
11   2. for any venue from which we have more than one entry, define a string
12      for the booktitle or journal, and place it in the accompanying defs.bib
13   3. use the location field rather than the address for conferences
14   4. for the month field, use the unquoted strings jan/feb/mar/etc.
15      -- this allows abbreviating bib styles to easily abbreviate them
16   5. if importing bib entries from IEEE Xplore, ACM DL, DBLP, Citeseer etc.
17      PLEASE clean them up to match these guidelines, in particular:
18       * remove the publisher field unless it really isn't obvious
19       * remove the useless New York address that ACM DL always puts on bib entries
20       * check for and {Protect} any words in the title that should be
21         capitalised
22
23 Note that this file will not compile without defs.bib; ie. you need to do:
24   \bibliography{defs,thisfile}
25 }}
26
27 @article{Liedtke_GPT,
28   author =       "Jochen Liedtke",
29   title =        "Page Table Structures For Fine-Grain Virtual Memory",
30   journal =      "IEEE Technical Committee on Computer Architecture
31                   Newsletter",
32   year =         1994,
33   keywords =     "GPT"
34 }
35
36 @Manual{intelsa,
37   title =        {Intel 64 and IA-32 Architectures Software
38                   Developer's Manual},
39   organization = {Intel Corporation},
40   month =        sep,
41   year =         2008
42 }
43
44 @Manual{amdsa,
45   title =        {AMD64 Architecture Programmer's Manual},
46   organization = {Advanced Micro Devices},
47   month =        sep,
48   year =         2007
49 }
50
51 @techreport{arm:aa64pcs,
52   author = {ARM},
53   title = {Procedure Call Standard for the {ARM} 64-bit Architecture ({AArch64})},
54   number = {ARM-IHI-0055B},
55   version = {1.0},
56   year = {2013},
57   month = may,
58   url = {http://infocenter.arm.com/help/topic/com.arm.doc.ihi0055b/IHI0055B_aapcs64.pdf}
59 }
60
61 @techreport{arm:sbsa,
62   author = {ARM},
63   title = {Server Base System Architecture},
64   number = {ARM-DEN-0029},
65   version = {3.0},
66   year = {2016},
67   month = feb,
68   url = {http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.den0029/index.html}
69 }
70
71 @techreport{acpi,
72   author = {UEFI},
73   title = {Advanced Configuration and Power Interface Specification},
74   version = {6.1},
75   year = {2016},
76   month = jan,
77   url = {http://www.uefi.org/sites/default/files/resources/ACPI_6_1.pdf}
78 }
79
80 @techreport{uefi,
81   author = {UEFI},
82   title = {Unified Extensible Firmware Interface Specification},
83   version = {2.6},
84   year = {2016},
85   month = jan,
86   url = {http://www.uefi.org/sites/default/files/resources/UEFI%20Spec%202_6.pdf}
87 }
88
89 @TechReport{rockcreek_core_eas,
90   author =       {Michael Konow},
91   title =        {{Rock Creek Core}},
92   institution =  {Intel Microprocessor Technology Laboratories (MTL)},
93   year =         2010,
94   type =         {External-architecture Specification (EAS)},
95   number =       {Revision 0.7},
96   month =        {January 5}}
97
98 @TechReport{rockcreek_l2_eas,
99   author =       {Bibiche Geuskens and Saurabh Dighe},
100   title =        {{Rock Creek L2}},
101   institution =  {Intel Microprocessor Technology Laboratories (MTL)},
102   year =         2010,
103   type =         {External-architecture Specification (EAS)},
104   number =       {Revision 0},
105   month =        {January 5}}
106
107 @TechReport{rockcreek_eas,
108   author =       {Yatin Hoskote and Greg Ruhl},
109   title =        {{Rock Creek}},
110   institution =  {Intel Microprocessor Technology Laboratories (MTL)},
111   year =         2009,
112   type =         {External-architecture Specification (EAS)},
113   number =       {Revision 0.91},
114   month =        {September 16}}
115
116 @TechReport{rockcreek_lut_eas,
117   author =       {Jason Howard},
118   title =        {{Rock Creek System Address Look up Table \& Configuration Registers}},
119   institution =  {Intel Microprocessor Technology Laboratories (MTL)},
120   year =         2010,
121   type =         {External-architecture Specification (EAS)},
122   number =       {Revision 0.1},
123   month =        {January 5}}
124
125 @TechReport{rockcreek_fpga_mas,
126   author =       {Mattias Steidl and Michael Kauschke},
127   title =        {{Rock Creek System FPGA}},
128   institution =  {Intel Microprocessor Technology Laboratories (MTL)},
129   year =         2009,
130   type =         {Micro Architecture Specification (MAS)},
131   number =       {Revision 0.21},
132   month =        {October}}
133
134 @inproceedings{adya:stackripping:usenix02,
135   author = {Atul Adya and John Howell and Marvin Theimer and William J. Bolosky
136             and John R. Douceur},
137   title = {Cooperative task management without manual stack management},
138   booktitle = usenixatc02,
139   month = jun,
140   year = 2002
141 }
142
143 @article{ball:rig:ieeetse76,
144  author = {Ball, J. E. and Feldman, J. and Low, J. R. and Rashid, R. and Rovner,
145 P.},
146  title = {{RIG}, {Rochester}'s Intelligent Gateway: System Overview},
147  journal = {IEEE Trans. Softw. Eng.},
148  volume = {2},
149  number = {4},
150  year = 1976,
151  issn = {0098-5589},
152  pages = {321--328},
153  doi = {http://dx.doi.org/10.1109/TSE.1976.229890},
154 }
155
156 @inproceedings{barrelfish:sosp09,
157   title = {The multikernel: a new {OS} architecture for scalable
158                   multicore systems},
159   author = {Andrew Baumann and Paul Barham and Pierre-Evariste Dagand
160                   and Tim Harris and Rebecca Isaacs and Simon Peter
161                   and Timothy Roscoe and Adrian Sch\"{u}pbach and
162                   Akhilesh Singhania},
163   booktitle = sosp09,
164   year = 2009,
165   month = oct
166 }
167
168 @inproceedings{baumann:hotos09,
169   title = {Your computer is already a distributed system. {Why} isn't your
170            {OS}?},
171   author = {Andrew Baumann and Simon Peter and Adrian Sch\"{u}pbach and Akhilesh
172 Singhania and Timothy Roscoe and Paul Barham and Rebecca Isaacs},
173   booktitle = hotos09,
174   year = {2009},
175   month = may,
176   location = {Monte Verita, Switzerland}
177 }
178
179 @manual{beehive:hwman,
180   title = {Beehive: A many-core computer for {FPGA}s (v5)},
181   author = {Chuck Thacker},
182   organization = {MSR Silicon Valley},
183   month = jan,
184   year = 2010,
185   note = {\url{http://projects.csail.mit.edu/beehive/BeehiveV5.pdf}},
186   annote = {unpublished (in principle!). available (to licensees only?) at
187     http://research.microsoft.com/en-us/um/people/birrell/beehive/BeehiveV5.pdf}
188 }
189
190 @article{birrell:rpc:tocs84,
191   author = {Andrew D. Birrell and Bruce Jay Nelson},
192   title = {Implementing Remote Procedure Calls},
193   journal = tocs,
194   year = 1984,
195   volume = 2,
196   pages = {39--59},
197   keywords = {RPC}
198 }
199
200 @inproceedings{cellular_disco:sosp99,
201   author = {Govil,, Kinshuk and Teodosiu,, Dan and Huang,, Yongqiang and
202 Rosenblum,, Mendel},
203   title = {{Cellular Disco}: resource management using virtual clusters on
204 shared-memory multiprocessors},
205   booktitle = sosp99,
206   year = {1999},
207   isbn = {1-58113-140-2},
208   pages = {154--169},
209   location = {Charleston, SC, USA},
210   doi = {http://doi.acm.org/10.1145/319151.319162}
211 }
212
213 @inproceedings{chapin:hive:sosp95,
214   author = {John Chapin and Mendel Rosenblum and Scott Devine and Tirthankar Lahiri and Dan Teodosiu and Anoop Gupta},
215   title = {{Hive}: Fault Containment for Shared-Memory Multiprocessors},
216   booktitle = sosp95,
217   year = 1995,
218   month = dec
219 }
220
221 @inproceedings{charles:x10,
222  author = {Charles, Philippe and Grothoff, Christian and Saraswat, Vijay and Donawa, Christopher and Kielstra, Allan and Ebcioglu, Kemal and von Praun, Christoph and Sarkar, Vivek},
223  title = {{X10}: an object-oriented approach to non-uniform cluster computing},
224  booktitle = oopsla05,
225  year = 2005,
226  isbn = {1-59593-031-0},
227  pages = {519--538},
228 }
229
230 @manual{corba,
231   title =        "{CORBA} 3.1 Specification",
232   organization = "Object Management Group, Inc.",
233   year =         2008,
234   month =        jan,
235   howpublished = "{\url{http://www.omg.org/spec/CORBA/3.1/}}"
236 }
237
238 @inproceedings{corbato:multics,
239   author = {F. J. Corbato and V. A. Vyssotsky},
240   title = {Introduction and Overview of the {Multics} System},
241   booktitle = {Proceedings of the Fall Joint Computer Conference, part {I}},
242   year = 1965
243 }
244
245
246 @inproceedings{corey:osdi08,
247   author = {Silas Boyd-Wickizer and Haibo Chen and Rong Chen and Yandong
248 Mao and Frans Kaashoek and Robert Morris and Aleksey Pesterev and Lex Stein and
249 Ming Wu and Yuehua Dai and Yang Zhang and Zheng Zhang},
250   title = {{Corey}: An Operating System for Many Cores},
251   booktitle = osdi08,
252   year = 2008,
253   pages = {43--57},
254   month = dec
255 }
256
257 @inproceedings{dagand:fof:plos09,
258   title = {{Filet-o-Fish}: practical and dependable domain-specific languages
259            for {OS} development},
260   author = {Pierre-Evariste Dagand and Andrew Baumann and Timothy Roscoe},
261   booktitle = proc # {5th Workshop on Programming Languages and Operating Systems (PLOS)},
262   year = {2009},
263   month = oct,
264   doi = {http://doi.acm.org/10.1145/1713254.1713263},
265   location = {Big Sky, MT, USA},
266   note = {}
267 }
268
269 @TechReport{davis:bee3,
270   author =       {John D.Davis and Charles P.Thacker and Chen Chang},
271   title =        {{BEE3}: Revitalizing Computer Architecture Research},
272   institution =  {Microsoft Research},
273   year =         2009,
274   type =         {Technical Report},
275   number =       {MSR-TR-2009-45}
276 }
277
278 @manual{dcom,
279   title =        "Distributed Component Object Model (DCOM) Remote Protocol Specification",
280   organization = "Microsoft Corporation",
281   year =         2010,
282   month =        mar,
283   annote = "unstable url: http://msdn.microsoft.com/en-us/library/cc226801(PROT.13).aspx"
284 }
285
286 @inproceedings{dice:tlrw:transact09,
287   author = {Dice, David and Shavit, Nir},
288   title = {{TLRW}: Return of the Read-Write Lock},
289   booktitle = proc # {4th ACM SIGPLAN Workshop on
290                   Transactional Computing},
291   pdf = {http://research.sun.com/scalable/pubs/TRANSACT2009-TLRW.pdf},
292   year = 2009,
293   month = feb
294 }
295
296 @article{disco:tocs97,
297   author = {Edouard Bugnion and Scott Devine and Kinshuk Govil and Mendel
298 Rosenblum},
299   title = {Disco: running commodity operating systems on scalable
300 multiprocessors},
301   journal = tocs,
302   volume = {15},
303   number = {4},
304   year = {1997},
305   issn = {0734-2071},
306   pages = {412--447},
307   doi = {http://doi.acm.org/10.1145/265924.265930}
308 }
309
310 @book{eclipse,
311   author = {Krzysztof R. Apt and Marg G. Wallace},
312   title = {Constraint Logic Programming using
313            ECL\textsuperscript{i}PS\textsuperscript{e}},
314   publisher = {Cambridge University Press},
315   year = 2007
316 }
317
318 @inproceedings{eide:flick:pldi97,
319   author = {Eric Eide and Kevin Frei and Bryan Ford and Jay Lepreau
320                   and Gary Lindstrom},
321   title = {Flick: A Flexible, Optimizing {IDL} Compiler},
322   booktitle = pldi97,
323   year = 1997,
324   location = {Las Vegas, NV, USA},
325   month = jun
326 }
327
328 @inproceedings{fahndrich:messages:eurosys06,
329   author = { Manuel F\"{a}hndrich and Mark Aiken and Chris Hawblitzel
330              and Orion Hodson and Galen Hunt and James R. Larus
331              and Steven Levi },
332   title = { Language Support for Fast and Reliable Message-based Communication
333             in {Singularity} {OS} },
334   booktitle = eurosys06,
335   year = 2006,
336   location = Leuven,
337   month = apr
338 }
339
340 @article{feitelson:gangscheduling:JPDC92,
341   author = {Dror G. Feitelson and Larry Rudolph},
342   title = {Gang scheduling performance benefits for fine-grain synchronization},
343   journal = {Journal of Parallel and Distributed Computing},
344   volume = 16,
345   pages = {306--318},
346   year = 1992
347 }
348
349 @inproceedings{flash-ossup:asplos96,
350   author = {Ben Verghese and Scott Devine and Anoop Gupta and Mendel Rosenblum},
351   title = {Operating system support for improving data locality on {CC-NUMA}
352 compute servers},
353   booktitle = asplos96,
354   year = {1996},
355   pages = {279--289}
356 }
357
358 @inproceedings{fluet:manticore,
359  author = {Fluet, Matthew and Rainey, Mike and Reppy, John and Shaw, Adam and Xiao, Yingqi},
360  title = {Manticore: a heterogeneous parallel language},
361  booktitle = proc # {2007 Workshop on Declarative Aspects of Multicore
362                      Programming (DAMP'07)},
363  year = 2007,
364  isbn = {978-1-59593-690-5},
365  pages = {37--44},
366  doi = {http://doi.acm.org/10.1145/1248648.1248656},
367 }
368
369 @inproceedings{ford:inheritance:osdi96,
370   author = {Bryan Ford and Sai R. Susarla},
371   title = {{CPU} Inheritance Scheduling},
372   pages = {91--106},
373   isbn = {1-880446-82-0},
374   booktitle = osdi96,
375   month = oct,
376   location = {Berkeley, CA, USA},
377   year = 1996
378 }
379
380 @article{fos:osr09,
381   author = {Wentzlaff, David and Agarwal, Anant},
382   title = {Factored operating systems (fos): the case for a scalable operating system for multicores},
383   journal = osr,
384   volume = {43},
385   number = {2},
386   year = {2009},
387   issn = {0163-5980},
388   pages = {76--85},
389   doi = {http://doi.acm.org/10.1145/1531793.1531805}
390 }
391
392 @inproceedings{fos:socc10,
393   author = {David Wentzlaff and Charles {Gruenwald III} and
394            Nathan Beckmann and Kevin Modzelewski and Adam Belay and
395            Lamia Youseff and Jason Miller and Anant Agarwal},
396   title = {An Operating System for Multicore and Clouds: Mechanisms
397           and Implementation},
398   booktitle = {ACM Symposium on Cloud Computing (SOCC)},
399   year = 2010,
400   month = jun,
401   location = {Indianapolis, IN, USA}
402 }
403
404 @inproceedings{frigo:cilk,
405  author = {Frigo, Matteo and Leiserson, Charles E. and Randall, Keith H.},
406  title = {The implementation of the {Cilk-5} multithreaded language},
407  booktitle = pldi98,
408  year = {1998},
409  isbn = {0-89791-987-4},
410  pages = {212--223},
411  doi = {http://doi.acm.org/10.1145/277650.277725},
412 }
413
414 @inproceedings{haeberlen:idl4:weiss00,
415   author = {Andreas Haeberlen and Jochen Liedtke and Yoonho Park
416                   and Lars Reuther and Volkmar Uhlig},
417   title = {Stub-code Performance is Becoming Important},
418   booktitle = proc # {USENIX Workshop on Industrial Experiences with
419                   Systems Software (WEISS)},
420   year = 2000,
421   location = {San Diego, CA, USA},
422   month = oct
423 }
424
425 @inproceedings{he:preemption:hpc05,
426   author = {He, Bijun and
427                {Scherer III}, William N. and
428                Scott, Michael L.},
429   title = {Preemption Adaptivity in Time-Published Queue-Based Spin Locks},
430   booktitle = proc # {12th International Conference on High Performance Computing},
431   year = {2005},
432   pages = {7-18},
433   doi = {http://dx.doi.org/10.1007/11602569_6}
434 }
435
436 @inproceedings{helios:sosp09,
437   author = {Nightingale, Edmund B. and Hodson, Orion and McIlroy, Ross and Hawblitzel, Chris and Hunt, Galen},
438   title = {Helios: heterogeneous multiprocessing with satellite kernels},
439   booktitle = sosp09,
440   year = 2009,
441   isbn = {978-1-60558-752-3},
442   pages = {221--234},
443   location = {Big Sky, MT, USA},
444   doi = {http://doi.acm.org/10.1145/1629575.1629597}
445 }
446
447 @article{hillmarty:amdahl:2008,
448   author = {Mark D. Hill and Michael R. Marty},
449   title = {Amdahl's Law in the Multicore Era},
450   journal = {{IEEE} Computer},
451   month = jul,
452   year = 2008
453 }
454
455 @Manual{hp:espeak:2001,
456   title =        {e-speak Architectural Specification},
457   author =       {{Hewlett-Packard Company}},
458   edition =      {Release A.03.14.00},
459   month =        {August},
460   year =         2001,
461   note =
462 {\url{http://www.hpl.hp.com/personal/Alan_Karp/espeak/Architecture.pdf},
463 retrieved May 2010}}
464
465 @manual{intel:rcce,
466   author = {Tim Mattson and van der Wijngaart, Rob},
467   organization = {{Intel Corporation}},
468   title = {{RCCE}: a Small Library for Many-Core Communication},
469   month = mar,
470   year = 2010,
471   note = {Version 1.05},
472   url = "http://techresearch.intel.com/UserFiles/en-us/Media/RCCE_Specification_033010_1.pdf"
473 }
474
475 @misc{intel:scc:2009,
476   author = {{Intel Corporation}},
477   title = {Single-chip Cloud Computer},
478   howpublished = {\url{http://techresearch.intel.com/articles/Tera-Scale/1826.htm}},
479   month = dec,
480   year = 2009
481 }
482
483 @inproceedings{intel:scc:isscc10,
484   author = {Jason Howard and Saurabh Dighe and Yatin Hoskote and
485             Sriram Vangal and David Finan and Gregory Ruhl and
486             David Jenkins and Howard Wilson and Nitin Borkar and
487             Gerhard Schrom and Fabrice Pailet and Shailendra Jain and
488             Tiju Jacob and Satish Yada and Sraven Marella and
489             Praveen Salihundam and Vasantha Erraguntla and
490             Michael Konow and Michael Riepen and Guido Droege and
491             Joerg Lindemann and Matthias Gries and Thomas Apel and
492             Kersten Henriss and Tor Lund-Larsen and Sebastian Steibl and
493             Shekhar Borkar and Vivek De and Van Der Wijngaart, Rob and
494             Timothy Mattson},
495   title = {A 48-Core {IA}-32 Message-Passing Processor with {DVFS} in 45nm
496            {CMOS}},
497   booktitle = {International Solid-State Circuits Conference},
498   doi = {http://dx.doi.org/10.1109/ISSCC.2010.5434077},
499   pages = {108--109},
500   year = {2010},
501   month = feb
502 }
503
504 @inproceedings{isard:ame,
505  author = {Isard, Michael and Birrell, Andrew},
506  title = {Automatic mutual exclusion},
507  booktitle = hotos07,
508  year = 2007,
509  pages = {1--6},
510  location = {San Diego, CA},
511  }
512
513 @inproceedings{jones:parallelizing:hotpar09,
514   title = {Parallelizing the Web Browser},
515   author = {Christopher Grant Jones and Rose Liu and Leo Meyerovich and Krste Asanovi\'{c} and Rastislav Bodik},
516   booktitle = hotpar09,
517   year = 2009,
518   month = mar
519 }
520
521 @manual{k42:scheduling,
522   author = {{IBM K42 Team}},
523   title = {Scheduling in {K42}},
524   month = aug,
525   year = 2002,
526   note = {Available from \url{http://www.research.ibm.com/K42/}},
527   url = {http://www.research.ibm.com/K42/white-papers/Scheduling.pdf}
528 }
529
530 @article{k42:tocs07,
531   author = {Jonathan Appavoo and Dilma {Da Silva} and Orran Krieger and Marc
532 Auslander and Michal Ostrowski and Bryan Rosenburg and Amos Waterland and Robert
533 W. Wisniewski and Jimi Xenidis and Michael Stumm and Livio Soares},
534   title = {Experience distributing objects in an {SMMP} {OS}},
535   journal = tocs,
536   volume = {25},
537   number = {3},
538   year = {2007},
539   issn = {0734-2071},
540   doi = {http://doi.acm.org/10.1145/1275517.1275518}
541 }
542
543 @article{karp:espeak:cacm03,
544  author = {Karp, Alan H.},
545  title = {E-speak e-xplained},
546  journal = cacm,
547  volume = {46},
548  number = {7},
549  year = {2003},
550  issn = {0001-0782},
551  pages = {112--118},
552  doi = {http://doi.acm.org/10.1145/792704.792708},
553  }
554
555 @TechReport{katcher:postmark,
556   author =       {Jeffrey Katcher},
557   title =        {{PostMark}: A New File System Benchmark},
558   institution =  {Network Appliance},
559   year =         1997,
560   type =         {Technical Report},
561   number =       {TR3022}
562 }
563
564 @article{krantz:rig:ieeecs82,
565 author = {K. A. Lantz and K. D. Gradischnig and J. A. Feldman and R. F. Rashid},
566 title = {Rochester's Intelligent Gateway},
567 journal ={IEEE Computer},
568 volume = {15},
569 issn = {0018-9162},
570 year = {1982},
571 pages = {54-68},
572 doi = {http://doi.ieeecomputersociety.org/10.1109/MC.1982.1653859},
573 }
574
575 @inproceedings{krohn:events,
576  title = {Events Can Make Sense},
577  author = {Maxwell Krohn and Eddie Kohler and {M. Frans} Kaashoek},
578  booktitle = usenixatc07,
579  pages = {87--100},
580  year = 2007,
581 }
582
583 @inproceedings{levin:hydra:sosp75,
584   author = {R. Levin and E. Cohen and W. Corwin and F. Pollack and W. Wulf},
585   title = {Policy/Mechanism separation in {Hydra}},
586   booktitle = sosp75,
587   year = 1975,
588   month = nov
589 }
590 @inproceedings{Liedtke:1993:IIK:168619.168633,
591  author = {Liedtke, Jochen},
592  title = {Improving {IPC} by Kernel Design},
593  booktitle = {Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles},
594  series = {SOSP '93},
595  year = {1993},
596  isbn = {0-89791-632-8},
597  location = {Asheville, North Carolina, USA},
598  pages = {175--188},
599  numpages = {14},
600  url = {http://doi.acm.org/10.1145/168619.168633},
601  doi = {10.1145/168619.168633},
602  acmid = {168633},
603  publisher = {ACM},
604  address = {New York, NY, USA},
605 }
606
607 @inproceedings{lithe:pldi10,
608   author = {Heidi Pan and Benjamin Hindman and Krste Asanovi\'{c}},
609   title = {Composing Parallel Software Efficiently with Lithe},
610   booktitle = pldi10,
611   year = 2010,
612   location = {Toronto, ON, Canada},
613   month = jun
614 }
615
616 @inproceedings{logp:ppopp93,
617   author = {Culler, David and Karp, Richard and Patterson, David and Sahay, Abhijit and Schauser, Klaus Erik and Santos, Eunice and Subramonian, Ramesh and von Eicken, Thorsten},
618   title = {{LogP}: towards a realistic model of parallel computation},
619   booktitle = ppopp93,
620   year = 1993,
621   isbn = {0-89791-589-5},
622   location = {San Diego, CA, USA},
623   pages = {1--12},
624   numpages = 12,
625   url = {http://portal.acm.org/citation.cfm?id=155332.155333},
626   doi = {10.1145/155332.155333},
627   acmid = 155333,
628   keywords = {PRAM, complexity analysis, massively parallel processors, parallel algorithms, parallel models}
629 }
630
631 @article{lrpc:tocs90,
632   author = {Brian N. Bershad and Thomas E. Anderson and Edward D. Lazowska and
633 Henry M. Levy},
634   title = {Lightweight Remote Procedure Call},
635   journal = tocs,
636   volume = {8},
637   number = {1},
638   year = {1990},
639   issn = {0734-2071},
640   pages = {37--55}
641 }
642
643 @misc{lwip,
644   title = {{lwIP}},
645   key = {lwIP},
646   note = {\url{http://savannah.nongnu.org/projects/lwip/}}
647 }
648
649 @Book{hank:capabilities,
650   author =       {Henry M. Levy},
651   title =        {Capability-based Computer Systems},
652   publisher =    {Digital Press},
653   year =         1984}
654
655 @inproceedings{Clark:1985:SSU:323647.323645,
656  author = {Clark, David D.},
657  title = {The Structuring of Systems Using Upcalls},
658  booktitle = {Proceedings of the Tenth ACM Symposium on Operating Systems Principles},
659  series = {SOSP '85},
660  year = {1985},
661  isbn = {0-89791-174-1},
662  location = {Orcas Island, Washington, USA},
663  pages = {171--180},
664  numpages = {10},
665  url = {http://doi.acm.org/10.1145/323647.323645},
666  doi = {10.1145/323647.323645},
667  acmid = {323645},
668  publisher = {ACM},
669  address = {New York, NY, USA},
670
671 @inproceedings{marlow:runtime,
672  author = {Marlow, Simon and Peyton Jones, Simon and Singh, Satnam},
673  title = {Runtime support for multicore {H}askell},
674  booktitle = icfp09,
675  year = {2009},
676  isbn = {978-1-60558-332-7},
677  pages = {65--78},
678  doi = {http://doi.acm.org/10.1145/1596550.1596563},
679 }
680
681
682 @inproceedings{mcrt:eurosys07,
683   author = {Bratin Saha and Ali-Reza Adl-Tabatabai and Anwar Ghuloum and Mohan Rajagopalan and Richard L. Hudson and Leaf Peterson and Vijay Menon and Brian Murphy and Tatiana Shpeisman and Eric Sprangle and Anwar Rohillah and Doug Carmean and Jesse Fang},
684   title = {Enabling scalability and performance in a large scale {CMP} environment},
685   booktitle = eurosys07,
686   month = mar,
687   year = 2007
688 }
689
690 @manual{mpi,
691   title = {MPI: A Message-Passing Interface Standard},
692   organization = {Message Passing Interface Forum},
693   note = {Version 2.2},
694   month = {September},
695   year = 2009
696 }
697
698 @techreport{nasa:nas_benchmark,
699   author = {Van der Wijngaart, Rob F.},
700   title = {{NAS} Parallel Benchmarks Version 3.3},
701   number = {NAS-02-007},
702   institution = {NASA Advanced Supercomputing Division},
703   year = 2002,
704   month = oct,
705   address = {Moffett Field, CA, USA},
706   url = "http://www.nas.nasa.gov/News/Techreports/2002/PDF/nas-02-007.pdf"
707 }
708
709 @inproceedings{nishtala:hotpar09,
710   author = {Nishtala, Rajesh and Yelick, Katherine A.},
711   title = {Optimizing Collective Communication on Multicores},
712   booktitle = hotpar09,
713   year = 2009,
714   month = mar
715 }
716
717 @manual{openmp,
718   title = {OpenMP Application Programming Interface},
719   organization = {{OpenMP Architecture Review Board}},
720   note = {Version 3.0},
721   year = 2008
722 }
723
724 @inproceedings{ousterhout:coscheduling:DCS82,
725   author = {John Ousterhout},
726   title = {Scheduling Techniques for Concurrent Systems},
727   booktitle = {{IEEE} Distributed Computer Systems},
728   year = 1982
729 }
730
731 @article{ousterhout:medusa,
732   author = {John K. Ousterhout and Donald A. Scelza and Pradeep S. Sindhu},
733   title = {Medusa: An Experiment in Distributed Operating System Structure},
734   journal = cacm,
735   volume = {23},
736   number = {2},
737   month = feb,
738   year = 1980
739 }
740
741 @inproceedings{pankratius:multicore_experience:iwmse08,
742   author = {Victor Pankratius and Christoph Schaefer and Ali Jannesari and Walter F. Tichy},
743   title = {Software engineering for multicore systems -- an experience report},
744   booktitle = proc # {1st International Workshop on Multicore Software Engineering},
745   month = may,
746   year = 2008
747 }
748
749 @inproceedings{peter:osdi14,
750   title = {{Arrakis: The Operating System is the Control Plane}}, 
751   author = {Simon Peter and Jialin Li and Irene Zhang and
752             Dan R. K. Ports and Doug Woos and Arvind Krishnamurthy and
753             Thomas Anderson and Timothy Roscoe},
754   booktitle = osdi14,
755   year = {2014},
756   month = oct,
757   address = {Broomfield, Colorado, USA},
758   note = {}
759 }
760
761 @article{planas:hierarchical,
762  author = {Planas, Judit and Badia, Rosa M. and Ayguad\'{e}, Eduard and Labarta, Jesus},
763  title = {Hierarchical Task-Based Programming With {StarSs}},
764  journal = {International Journal of High Performance Computing Applications},
765  volume = {23},
766  number = {3},
767  year = {2009},
768  issn = {1094-3420},
769  pages = {284--299},
770  doi = {http://dx.doi.org/10.1177/1094342009106195},
771  publisher = {Sage Publications, Inc.},
772 }
773
774 @inproceedings{rashid:accent:sosp81,
775  author = {Rashid, Richard F. and Robertson, George G.},
776  title = {Accent: A communication oriented network operating system kernel},
777  booktitle = sosp81,
778  year = {1981},
779  isbn = {0-89791-062-1},
780  pages = {64--75},
781  location = {Pacific Grove, California, United States},
782  doi = {http://doi.acm.org/10.1145/800216.806593},
783  }
784
785 @inproceedings{rbed:rtss03,
786   title = {Dynamic Integrated Scheduling of Hard Real-Time,
787                   Soft Real-Time and Non-Real-Time Processes},
788   author = {Scott A. Brandt and Scott A. Banachowski and Caixue
789                   Lin and Timothy Bisson},
790   year = 2003,
791   bibdate = {2005-01-25},
792   bibsource = {DBLP,
793                   http://dblp.uni-trier.de/db/conf/rtss/rtss2003.html#BrandtBLB03},
794   booktitle = proc # {24th IEEE Real-Time Systems Symposium},
795   isbn = {0-7695-2044-8},
796   url = {http://csdl.computer.org/comp/proceedings/rtss/2003/2044/00/20440396abs.htm}
797 }
798
799 @inproceedings{reppy:parallel,
800  author = {Reppy, John and Russo, Claudio V. and Xiao, Yingqi},
801  title = {Parallel concurrent {ML}},
802  booktitle = icfp09,
803  year = {2009},
804  isbn = {978-1-60558-332-7},
805  pages = {257--268},
806  doi = {http://doi.acm.org/10.1145/1596550.1596588},
807 }
808
809 @article{roofline:cacm09,
810   author = {Williams, Samuel and Waterman, Andrew and Patterson, David},
811   title = {Roofline: an insightful visual performance model for multicore architectures},
812   journal = cacm,
813   volume = {52},
814   number = {4},
815   year = {2009},
816   issn = {0001-0782},
817   pages = {65--76},
818   doi = {http://doi.acm.org/10.1145/1498765.1498785}
819 }
820
821 @inproceedings{roscoe:hotos07,
822   title = {{Hype and Virtue}},
823   author = {Timothy Roscoe and Kevin Elphinstone and Gernot Heiser},
824   booktitle = hotos07,
825   year = {2007},
826   month = may,
827   location = {San Diego, CA, USA}
828 }
829
830 @inproceedings{rtid:hotos07,
831   author = {Mohan Rajagopalan and Brian T. Lewis and Todd A. Anderson},
832   title = {Thread scheduling for multi-core platforms},
833   booktitle = hotos07,
834   month = may,
835   year = 2007
836 }
837
838 @inproceedings{schuepbach:mmcs08,
839   author = {Adrian Sch\"{u}pbach and Simon Peter and Andrew Baumann
840                   and Timothy Roscoe and Paul Barham
841                   and Tim Harris and Rebecca Isaacs},
842   title = {Embracing diversity in the {Barrelfish} manycore
843                   operating system},
844   booktitle = proc # {1st Workshop on Managed Multi-Core Systems},
845   year = 2008,
846   month = jun
847 }
848
849 @inproceedings{scott:scalable:ppopp01,
850   author = {Scott, Michael L. and {Scherer III}, William N.},
851   title = {Scalable queue-based spin locks with timeout},
852   booktitle = ppopp01,
853   year = 2001,
854   pages = {44--52},
855   doi = {http://doi.acm.org/10.1145/379539.379566}
856 }
857
858 @inproceedings{sel4:iies08,
859   author = {Elkaduwe,, Dhammika and Derrin,, Philip and Elphinstone,, Kevin},
860   title = {Kernel design for isolation and assurance of physical memory},
861   booktitle = proc # {1st workshop on isolation and
862                 integration in embedded systems (IIES '08)},
863   year = {2008},
864   isbn = {978-1-60558-126-2},
865   pages = {35--40},
866   location = {Glasgow, Scotland},
867   doi = {http://doi.acm.org/10.1145/1435458.1435465},
868   annote = {describes cap model in most detail}
869 }
870
871 @manual{sel4:refman,
872   title = {{seL4} Reference Manual},
873   author = {Philip Derrin and Dhammika Elkaduwe and Kevin
874                   Elphinstone},
875   organization = {NICTA},
876   year = 2006,
877   note = {\url{http://www.ertos.nicta.com.au/research/sel4/sel4-refman.pdf}}
878 }
879
880 @inproceedings{sel4:sosp09,
881   author = {Gerwin Klein and Kevin Elphinstone and Gernot Heiser and
882 June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai
883 Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey
884 Tuch and Simon Winwood},
885   title = {{seL4}: Formal Verification of an {OS} Kernel},
886   booktitle = sosp09,
887   location = {Big Sky, MT, USA},
888   year = 2009,
889   month = oct
890 }
891
892 @techreport{sunrpc,
893   author = {R. Thurlow},
894   title = {{RPC}: Remote Procedure Call Protocol Specification Version 2},
895   institution = {Sun Microsystems},
896   year = 2009,
897   month = may,
898   type = {RFC},
899   number = {5531}
900 }
901
902 @inproceedings{tessellation:hotpar09,
903   author = {R. Liu and K. Klues and S. Bird and S. Hofmeyr and K. Asanovi\'c and J. Kubiatowicz},
904   title = {{Tessellation}: Space-Time Partitioning in a Manycore Client
905                   {OS}},
906   booktitle = hotpar09,
907   year = 2009,
908   month = mar
909 }
910
911 @article{thacker:firefly,
912   author = {Chuck Thacker and Lawrence Stewart},
913   title = {Firefly: a multiprocessor workstation},
914   journal = {Computer Architecture News},
915   volume = {15},
916   number = {5},
917   year = 1987
918 }
919
920 @InProceedings{tornado:osdi99,
921   author =       {Ben Gamsa and Orran Krieger and Jonathan Appavoo and
922                   Michael Stumm},
923   title =        {Tornado: Maximising Locality and Concurrency in a
924                   Shared Memory Multiprocessor Operating System},
925   booktitle =    osdi99,
926   pages =        {87--100},
927   year =         1999,
928   location =     {New Orleans, LA, USA},
929   month =        feb,
930   keywords =     {false sharing, caches, NUMA, object-orientation,
931                   protected procedure call},
932   annote =       {implemented OS from scratch, runs on Toronto
933                   architecture and SimOS, complete system}
934 }
935
936 @article{urpc:tocs91,
937   author = {Brian N. Bershad and Thomas E. Anderson and Edward D. Lazowska and
938 Henry M. Levy},
939   title = {User-level interprocess communication for shared memory
940 multiprocessors},
941   journal = tocs,
942   volume = {9},
943   number = {2},
944   year = {1991},
945   issn = {0734-2071},
946   pages = {175--198},
947   doi = {http://doi.acm.org/10.1145/103720.114701}
948 }
949
950 @inproceedings{Anderson:1991:SAE:121132.121151,
951  author = {Anderson, Thomas E. and Bershad, Brian N. and Lazowska, Edward D. and Levy, Henry M.},
952  title = {Scheduler Activations: Effective Kernel Support for the User-level Management of Parallelism},
953  booktitle = {Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles},
954  series = {SOSP '91},
955  year = {1991},
956  isbn = {0-89791-447-3},
957  location = {Pacific Grove, California, USA},
958  pages = {95--109},
959  numpages = {15},
960  url = {http://doi.acm.org/10.1145/121132.121151},
961  doi = {10.1145/121132.121151},
962  acmid = {121151},
963  publisher = {ACM},
964  address = {New York, NY, USA},
965
966
967 @inproceedings{Hand:1999:SNO:296806.296812,
968  author = {Hand, Steven M.},
969  title = {Self-paging in the Nemesis Operating System},
970  booktitle = {Proceedings of the Third Symposium on Operating Systems Design and Implementation},
971  series = {OSDI '99},
972  year = {1999},
973  isbn = {1-880446-39-1},
974  location = {New Orleans, Louisiana, USA},
975  pages = {73--86},
976  numpages = {14},
977  url = {http://dl.acm.org/citation.cfm?id=296806.296812},
978  acmid = {296812},
979  publisher = {USENIX Association},
980  address = {Berkeley, CA, USA},
981
982 @inproceedings{Brandt:2003:DIS:956418.956606,
983  author = {Brandt, Scott A. and Banachowski, Scott and Lin, Caixue and Bisson, Timothy},
984  title = {Dynamic Integrated Scheduling of Hard Real-Time, Soft Real-Time and Non-Real-Time Processes},
985  booktitle = {Proceedings of the 24th IEEE International Real-Time Systems Symposium},
986  series = {RTSS '03},
987  year = {2003},
988  isbn = {0-7695-2044-8},
989  pages = {396--},
990  url = {http://dl.acm.org/citation.cfm?id=956418.956606},
991  acmid = {956606},
992  publisher = {IEEE Computer Society},
993  address = {Washington, DC, USA},
994 }
995 @inproceedings{walker:locus:sosp83,
996   author = {Bruce Walker and Gerald Popek and Robert English and Charles Kline and Greg Thiel},
997   title = {The {LOCUS} Distributed Operating System},
998   booktitle = sosp83,
999   month = oct,
1000   year = 1983
1001 }
1002
1003 @inproceedings{weil:ceph:osdi06,
1004   author = {Sage A. Weil and Scott A. Brandt and Ethan L. Miller and Darrell
1005 D. E. Long and Carlos Maltzahn},
1006   title = {Ceph: A Scalable, High-Performance Distributed File System},
1007   booktitle = osdi06,
1008   month = nov,
1009   year = 2006
1010 }
1011
1012 @inproceedings{welch:panasas:fast08,
1013   author = {Brent Welch and Marc Unangst and Zainul Abbasi and Garth Gibson and Brian Mueller and Jason Small and Jim Zelenka and Bin Zhou},
1014   title = {Scalable Performance of the {Panasus} Parallel File System},
1015   booktitle = fast08,
1016   month = feb,
1017   year = 2008
1018 }
1019
1020 @article{whaley:atlas:parcomp01,
1021   author = {R. Clint Whaley and Antoine Petitet and Jack J. Dongarra},
1022   title = {Automated empirical optimization of software and the {ATLAS} project},
1023   journal = {Parallel Computing},
1024   volume = {27},
1025   number = {1--2},
1026   pages = {3--35},
1027   year = 2001
1028 }
1029
1030 @book{wulf:hydra:81,
1031   author = {William A. Wulf and Roy Levin and Samuel P. Harbison},
1032   title = {{HYDRA/C.mmp}: An Experimental Computer System},
1033   publisher = {{McGraw}-Hill Book Company},
1034   year = 1981
1035 }
1036
1037 @inproceedings{zhang:cmp_cache_sharing:ppopp10,
1038   author = {Eddy Z. Zhang and Yunlian Jiang and Xipeng Shen},
1039   title = {Does Cache Sharing on Modern {CMP} Matter to the Performance of Contemporary Multithreaded Programs?},
1040   booktitle = ppopp10,
1041   month = jan,
1042   year = 2010
1043 }
1044
1045 @Misc{grub,
1046   title =        {GNU GRand Unified Boot loader (GRUB)},
1047   note =         {\url{http://www.gnu.org/software/grub/}}}
1048
1049
1050 @inproceedings{nishtala:optimizing-collective:hotpar09,
1051     author = {Nishtala, R. and Yelick},
1052     institution = {Berkeley, CA, USA},
1053     journal = {HotPar 2009},
1054     keywords = {memory-communication},
1055     month = {March},
1056     posted-at = {2010-02-09 09:20:31},
1057     priority = {0},
1058     title = {Optimizing Collective Communication on Multicores},
1059     year = {2009}
1060 }
1061 @inproceedings{Giacomoni:2008:FEP:1345206.1345215,
1062  author = {Giacomoni, John and Moseley, Tipp and Vachharajani, Manish},
1063  title = {FastForward for Efficient Pipeline Parallelism: A Cache-optimized Concurrent Lock-free Queue},
1064  booktitle = {Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
1065  series = {PPoPP '08},
1066  year = {2008},
1067  isbn = {978-1-59593-795-7},
1068  location = {Salt Lake City, UT, USA},
1069  pages = {43--52},
1070  numpages = {10},
1071  url = {http://doi.acm.org/10.1145/1345206.1345215},
1072  doi = {10.1145/1345206.1345215},
1073  acmid = {1345215},
1074  publisher = {ACM},
1075  address = {New York, NY, USA},
1076  keywords = {fastforward, linearizability, lock-free, multicore, multiprocessors, nonblocking synchronization, pipeline parallel, queue},
1077
1078 @article{Ganger:2002:FFA:505452.505455,
1079  author = {Ganger, Gregory R. and Engler, Dawson R. and Kaashoek, M. Frans and Brice\~{n}o, Hector M. and Hunt, Russell and Pinckney, Thomas},
1080  title = {Fast and Flexible Application-level Networking on Exokernel Systems},
1081  journal = {ACM Trans. Comput. Syst.},
1082  issue_date = {February 2002},
1083  volume = {20},
1084  number = {1},
1085  month = feb,
1086  year = {2002},
1087  issn = {0734-2071},
1088  pages = {49--83},
1089  numpages = {35},
1090  url = {http://doi.acm.org/10.1145/505452.505455},
1091  doi = {10.1145/505452.505455},
1092  acmid = {505455},
1093  publisher = {ACM},
1094  address = {New York, NY, USA},
1095  keywords = {Extensible systems, OS structure, fast servers, network services},
1096
1097 @inproceedings{Black:1997:PIV:648046.745222,
1098  author = {Black, Richard and Barham, Paul T. and Donnelly, Austin and Stratford, Neil},
1099  title = {Protocol Implementation in a Vertically Structured Operating System},
1100  booktitle = {Proceedings of the 22Nd Annual IEEE Conference on Local Computer Networks},
1101  series = {LCN '97},
1102  year = {1997},
1103  isbn = {0-8186-8141-1},
1104  pages = {179--188},
1105  numpages = {10},
1106  url = {http://dl.acm.org/citation.cfm?id=648046.745222},
1107  acmid = {745222},
1108  publisher = {IEEE Computer Society},
1109  address = {Washington, DC, USA},
1110
1111
1112
1113 @Misc{newlib,
1114   author =       {Sourceware},
1115   title =        {Newlib},
1116   howpublished = {\url{http://www.sourceware.org/newlib/}},
1117   month =        {November},
1118   year =         2013}
1119
1120 @TechReport{btn000-overview,
1121   author =       bft,
1122   title =        {{Barrelfish Architectural Overview}},
1123   institution =  {Systems Group, ETH Zurich},
1124   year =         2010,
1125   type =         btn,
1126   number =       000,
1127   month =        jun}
1128
1129 @TechReport{btn001-glossary,
1130   author =       bft,
1131   title =        {{Barrelfish Glossary}},
1132   institution =  {Systems Group, ETH Zurich},
1133   year =         2010,
1134   type =         btn,
1135   number =       001,
1136   month =        may}
1137
1138 @TechReport{btn002-mackerel,
1139   author =       bft,
1140   title =        {{Mackerel 1.2 User Guide}},
1141   institution =  {Systems Group, ETH Zurich},
1142   year =         2010,
1143   type =         btn,
1144   number =       002,
1145   month =        apr}
1146
1147 @TechReport{btn003-hake,
1148   author =       bft,
1149   title =        {{Hake}},
1150   institution =  {Systems Group, ETH Zurich},
1151   year =         2010,
1152   type =         btn,
1153   number =       003,
1154   month =        apr}
1155
1156 @TechReport{btn004-vm,
1157   author =       bft,
1158   title =        {{Virtual Memory in Barrelfish}},
1159   institution =  {Systems Group, ETH Zurich},
1160   year =         2010,
1161   type =         btn,
1162   number =       004,
1163   month =        feb}
1164
1165 @TechReport{btn005-scc,
1166   author =       bft,
1167   title =        {{Barrelfish on the Intel Single-chip Cloud Computer}},
1168   institution =  {Systems Group, ETH Zurich},
1169   year =         2010,
1170   type =         btn,
1171   number =       005,
1172   month =        sep}
1173
1174 @TechReport{btn006-routing,
1175   author =       bft,
1176   title =        {{Routing in Barrelfish}},
1177   institution =  {Systems Group, ETH Zurich},
1178   year =         2011,
1179   type =         btn,
1180   number =       006,
1181   month =        may}
1182
1183 @TechReport{btn007-beehive,
1184   author =       bft,
1185   title =        {{Barrelfish on the Beehive experimental platform}},
1186   institution =  {Systems Group, ETH Zurich},
1187   year =         2010,
1188   type =         btn,
1189   number =       007,
1190   month =        jun}
1191
1192 @TechReport{btn008-tracing,
1193   author =       bft,
1194   title =        {{Tracing and Visualization}},
1195   institution =  {Systems Group, ETH Zurich},
1196   year =         2010,
1197   type =         btn,
1198   number =       008,
1199   month =        jun}
1200
1201 @TechReport{btn009-notifications,
1202   author =       bft,
1203   title =        {{Message Notifications}},
1204   institution =  {Systems Group, ETH Zurich},
1205   year =         2010,
1206   type =         btn,
1207   number =       009,
1208   month =        jun}
1209
1210 @TechReport{btn010-spec,
1211   author =       bft,
1212   title =        {{Barrelfish Specification}},
1213   institution =  {Systems Group, ETH Zurich},
1214   year =         2011,
1215   type =         btn,
1216   number =       010,
1217   month =        jul}
1218
1219 @TechReport{btn011-idc,
1220   author =       bft,
1221   title =        {{Inter-dispatcher communication in Barrelfish}},
1222   institution =  {Systems Group, ETH Zurich},
1223   year =         2010,
1224   type =         btn,
1225   number =       011,
1226   month =        oct}
1227
1228 @TechReport{btn012-services,
1229   author =       bft,
1230   title =        {{Barrelfish OS Services}},
1231   institution =  {Systems Group, ETH Zurich},
1232   year =         2010,
1233   type =         btn,
1234   number =       012,
1235   month =        aug}
1236
1237 @TechReport{btn013-capabilities,
1238   author =       bft,
1239   title =        {{Capability Management in Barrelfish}},
1240   institution =  {Systems Group, ETH Zurich},
1241   year =         2011,
1242   type =         btn,
1243   number =       013,
1244   month =        mar}
1245
1246 @TechReport{btn017-arm,
1247   author =       bft,
1248   title =        {{Barrelfish} on {ARMv7}},
1249   institution =  {Systems Group, ETH Zurich},
1250   year =         2013,
1251   type =         btn,
1252   number =       017,
1253   month =        dec}
1254
1255 @article{gem5:sigarch11,
1256  author = {Binkert, Nathan and Beckmann, Bradford and Black, Gabriel and Reinhardt, Steven K. and Saidi, Ali and Basu, Arkaprava and Hestness, Joel and Hower, Derek R. and Krishna, Tushar and Sardashti, Somayeh and Sen, Rathijit and Sewell, Korey and Shoaib, Muhammad and Vaish, Nilay and Hill, Mark D. and Wood, David A.},
1257  title = {The Gem5 Simulator},
1258  journal = {SIGARCH Comput. Archit. News},
1259  volume = {39},
1260  number = {2},
1261  month = aug,
1262  year = {2011},
1263  pages = {1--7},
1264  address = {New York, NY, USA},
1265 }
1266
1267 @article{m5:micro06,
1268   title={The M5 simulator: Modeling networked systems},
1269   author={Binkert, Nathan L. and Dreslinski, Ronald G. and Hsu, Lisa R. and Lim, Kevin T. and Saidi, Ali G. and Reinhardt, Steven K.},
1270   journal={Micro, IEEE},
1271   volume={26},
1272   number={4},
1273   pages={52--60},
1274   year={2006},
1275 }
1276
1277 @article{gems:sigarch05,
1278   title={Multifacet's general execution-driven multiprocessor simulator ({GEMS}) toolset},
1279   author={Martin, Milo MK. and Sorin, Daniel J. and Beckmann, Bradford M. and Marty, Michael R. and Xu, Min and Alameldeen, Alaa R. and Moore, Kevin E. and Hill, Mark D. and Wood, David A.},
1280   journal={ACM SIGARCH Computer Architecture News},
1281   volume={33},
1282   number={4},
1283   pages={92--99},
1284   year={2005},
1285   publisher={ACM}
1286 }
1287
1288
1289 @TechReport{btn019-devicedrivers,
1290   author =     bft,
1291   title =      {{Device Drivers in Barrelfish}},
1292   institution =  {Systems Group, ETH Zurich},
1293   year =   2013,
1294   type =   btn,
1295   number =     019,
1296   month =      dec}
1297
1298
1299
1300 @article{Lamport:1978:TCO:359545.359563,
1301  author = {Lamport, Leslie},
1302  title = {Time, Clocks, and the Ordering of Events in a Distributed System},
1303  journal = {Commun. ACM},
1304  issue_date = {July 1978},
1305  volume = {21},
1306  number = {7},
1307  month = jul,
1308  year = {1978},
1309  issn = {0001-0782},
1310  pages = {558--565},
1311  numpages = {8},
1312  url = {http://doi.acm.org/10.1145/359545.359563},
1313  doi = {10.1145/359545.359563},
1314  acmid = {359563},
1315  publisher = {ACM},
1316  address = {New York, NY, USA},
1317  keywords = {clock synchronization, computer networks, distributed systems, multiprocess systems},
1318
1319
1320 @Misc{multiboot1,
1321   title =    {Multiboot Specification (latest version)},
1322   note =     {\url{http://git.savannah.gnu.org/cgit/grub.git/tree/doc/multiboot.texi?h=multiboot}}
1323 }