@misc{indiciae2f8f47fd2ffb,
  title = {Compiler-assisted static checkpoint insertion},
  author = {Long, Junsheng and Fuchs, W. K. and Abraham, Jacob A.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19930055255},
  note = {Source identifier: 19930055255}
}