@inproceedings{Heiser_SDBSA_13,
    address          = {Prague, Czech Republic},
    author           = {Heiser, Gernot and Le Sueur, Etienne and Danis, Adrian and Budzynowski, Aleksander and Salomie,
                        Tudor-Ioan and Alonso, Gustavo},
    booktitle        = {EuroSys Conference},
    keywords         = {operating systems, database systems, acid properties, durability, virtualization, verification,
                        hypervisor, microkernel},
    month            = apr,
    pages            = {323--336},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6418.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/6418.pdf},
    title            = {{RapiLog}: Reducing System Complexity Through Verification},
    year             = {2013}
  }