@misc{indiciae64cc4ecbde98,
  title = {Lightweight runtime checking of C programs with RTC},
  author = {Milewicz, Reed and Vanka, Rajesh and Tuck, James and Quinlan, Daniel and Pirkelbauer, Peter},
  year = {2016},
  doi = {10.1016/j.cl.2016.01.001},
  url = {https://www.osti.gov/biblio/1477830},
  note = {Source identifier: 1477830}
}