@inproceedings{Shen_HE_19,
    address          = {Portland, Oregon, USA},
    author           = {Shen, Yanyan and Heiser, Gernot and Elphinstone, Kevin},
    booktitle        = {International Conference on Dependable Systems and Networks (DSN)},
    date             = {2019-6-24},
    doi              = {https://doi.org/10.1109/DSN.2019.00031},
    issn             = {1530-0889},
    keywords         = {{seL4}; microkernel; {SEU}; replication; fault tolerance},
    month            = jun,
    pages            = {188-200},
    paperurl         = {https://trustworthy.systems/publications/full_text/Shen_HE_19.pdf},
    publisher        = {IEEE},
    title            = {Fault Tolerance Through Redundant Execution on {COTS} Multicores: Exploring Trade-offs},
    year             = {2019}
  }