BibTeX record conf/asplos/RiggerSMGM18

• > Home > conf/asplos/RiggerSMGM18

@inproceedings{DBLP:conf/asplos/RiggerSMGM18,
  author       = {Manuel Rigger and
                  Roland Schatz and
                  Ren{\'{e}} Mayrhofer and
                  Matthias Grimmer and
                  Hanspeter M{\"{o}}ssenb{\"{o}}ck},
  editor       = {Xipeng Shen and
                  James Tuck and
                  Ricardo Bianchini and
                  Vivek Sarkar},
  title        = {Sulong, and Thanks for All the Bugs: Finding Errors in {C} Programs
                  by Abstracting from the Native Execution Model},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS}
                  2018, Williamsburg, VA, USA, March 24-28, 2018},
  pages        = {377--391},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3173162.3173174},
  doi          = {10.1145/3173162.3173174},
  timestamp    = {Tue, 23 Jan 2024 20:31:22 +0100},
  biburl       = {https://dblp.org/rec/conf/asplos/RiggerSMGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}