@article(Alglave:2012:FHW:2385125.2385127,
 author       = {Jade Alglave},
 year         = {2012},
 title        = {{A Formal Hierarchy of Weak Memory Models}},
 journal      = {Form. Methods Syst. Des.},
 volume       = {41},
 number       = {2},
 pages        = {178--210},
 doi          = {10.1007/s10703-012-0161-5},
)
@inproceedings(Alglave:2010:FWM:2144310.2144342,
 author       = {Jade Alglave and Luc Maranget and Susmit Sarkar and Peter Sewell},
 year         = {2010},
 title        = {{Fences in Weak Memory Models}},
 booktitle    = {CAV'10},
 address      = {Edinburgh, UK},
 pages        = {258--272},
 doi          = {10.1007/978-3-642-14295-6_25},
)
@inproceedings(baldwin2008pci,
 author       = {John Baldwin},
 year         = {2008},
 title        = {{PCI Interrupts for x86 Machines under FreeBSD}},
 booktitle    = {Proceedings of the BSDCan Conference},
 pages        = {1--22},
)
@inbook(bovet2005understanding,
 author       = {Daniel P. Bovet and Marco Cesati},
 year         = {2005},
 title        = {{Understanding the Linux Kernel - from {I/O} ports to process management: covers version 2.6 {(3.} ed.)}},
 chapter      = {4.6},
 publisher    = {O'Reilly},
 url          = {http://www.oreilly.de/catalog/understandlk/index.html},
)
@manual(devicetree,
 author       = {devicetree.org},
 year         = {2016},
 title        = {{Devicetree Specification}},
 note         = {\url{http://www.devicetree.org/specifications-pdf}},
)
@inproceedings(Flur:2016:MAA:2837614.2837615,
 author       = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell},
 year         = {2016},
 title        = {{Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}},
 booktitle    = {POPL '16},
 address      = {St. Petersburg, FL, USA},
 pages        = {608--621},
 doi          = {10.1145/2837614.2837615},
)
@manual(ACPI,
 author       = {UEFI Forum},
 year         = {2011},
 title        = {{ACPI 5.0 Specification}},
 note         = {\url{http://www.acpi.info/downloads/acpispec50.pdf}},
)
@manual(uefi,
 author       = {UEFI Forum},
 year         = {2016},
 title        = {{UEFI Specification 2.6}},
 note         = {\href{http://www.uefi.org/sites/default/files/UEFI Spec 2_6.pdf} {http://www.uefi.org/specifications}},
)
@inproceedings(Ganai:2005:VEM:1048925.1049281,
 author       = {Malay K. Ganai and Aarti Gupta and Pranav Ashar},
 year         = {2005},
 title        = {{Verification of Embedded Memory Systems Using Efficient Memory Modeling}},
 booktitle    = {DATE '05},
 pages        = {1096--1101},
 doi          = {10.1109/DATE.2005.325},
)
@inproceedings(Gerber:2015:YPP:2831090.2831106,
 author       = {Simon Gerber and Gerd Zellweger and Reto Achermann and Kornilios Kourtis and Timothy Roscoe and Dejan Milojicic},
 year         = {2015},
 title        = {{Not Your Parents' Physical Address Space}},
 booktitle    = {HOTOS'15},
 address      = {Switzerland},
 pages        = {16--16},
 url          = {http://dl.acm.org/citation.cfm?id=2831090.2831106},
)
@misc(intelmsilatency,
 author       = {{Intel Corporation}},
 year         = {2009},
 title        = {{Reducing Interrupt Latency Through the Use of Message Signaled Interrupts }},
 howpublished = {Online},
 note         = {Accessed 2017-01-13. White Paper 321070. \url{http://www.intel.co.za/content/dam/www/public/us/en/documents/white-papers/msg-signaled-interrupts-paper.pdf}},
)
@misc(scc,
 author       = {{Intel Corporation}},
 year         = {2009},
 title        = {{Single-chip Cloud Computer}},
 howpublished = {Online},
 note         = {Accessed 2017-01-09. \url{http://www.intel.com/content/dam/www/public/us/en/documents/technology-briefs/intel-labs-single-chip-cloud-overview-paper.pdf}},
)
@manual(intel:2016:vtd,
 author       = {{Intel Corporation}},
 year         = {2016},
 title        = {{Intel Virtualization Technology for Directed I/O}},
 edition      = {revision 2.4},
)
@inproceedings(Kaestle:2016:MAB:3026877.3026881,
 author       = {Stefan Kaestle and Reto Achermann and Roni Haecki and Moritz Hoffmann and Sabela Ramos and Timothy Roscoe},
 year         = {2016},
 title        = {{Machine-aware Atomic Broadcast Trees for Multicores}},
 booktitle    = {OSDI'16},
 address      = {Savannah, GA, USA},
 pages        = {33--48},
 url          = {http://dl.acm.org/citation.cfm?id=3026877.3026881},
)
@inproceedings(Peter:202011:SCC,
 author       = {Simon Peter and Sch\IeC{\"u}pbach, Adrian and Dominik Menzi and Timothy Roscoe},
 year         = {2011},
 title        = {{Early experience with the Barrelfish OS and the Single-Chip Cloud Computer}},
 booktitle    = {MARC'11},
 publisher    = {KIT Scientific Reports},
 pages        = {17--17},
 url          = {http://dl.acm.org/citation.cfm?id=2831090.2831107},
)
@inproceedings(Sarkar:2012:SCP:2254064.2254102,
 author       = {Susmit Sarkar and Kayvan Memarian and Scott Owens and Mark Batty and Peter Sewell and Luc Maranget and Jade Alglave and Derek Williams},
 year         = {2012},
 title        = {Synchronising C/C++ and POWER},
 booktitle    = {PLDI'12},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {311--322},
 doi          = {10.1145/2254064.2254102},
)
@inproceedings(Schupbach:2011:DLA:1950365.1950382,
 author       = {Adrian Sch\"{u}pbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
 year         = {2011},
 title        = {{A Declarative Language Approach to Device Configuration}},
 booktitle    = {ASPLOS XVI},
 address      = {Newport Beach, California, USA},
 pages        = {119--132},
 doi          = {10.1145/1950365.1950382},
)
@manual(ti:2011:omaptrm,
 author       = {{Texas Instruments}},
 year         = {2014},
 title        = {{OMAP44xx Multimedia Device Technical Reference Manual}},
 note         = {Version AB, \url{www.ti.com/lit/ug/swpu235ab/swpu235ab.pdf}},
)
@inproceedings(Velev:2001:AAM:646485.691776,
 author       = {Miroslav N. Velev},
 year         = {2001},
 title        = {{Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors}},
 booktitle    = {TACAS 2001},
 pages        = {252--267},
 doi          = {10.1007/3-540-45319-9_18},
)
@inproceedings(Zakkak:2016:DCM:2972206.2972212,
 author       = {Foivos S. Zakkak and Polyvios Pratikakis},
 year         = {2016},
 title        = {{DiSquawk: 512 Cores, 512 Memories, 1 JVM}},
 booktitle    = {PPPJ '16},
 address      = {Lugano, Switzerland},
 pages        = {2:1--2:12},
 doi          = {10.1145/2972206.2972212},
)