Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-Reachability

Jingbo Lu. Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-Reachability. PhD thesis, University of New South Wales, Sydney, Australia, 2020. [doi]

@phdthesis{basesearch-10847,
  title = {Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-Reachability},
  author = {Jingbo Lu},
  year = {2020},
  url = {https://www.base-search.net/Record/4549a1e7cc0995fcf41a4ccf0d6bb39dceeba9a55c3b3f97c2c769e75e3b424a},
  note = {base-search.net (ftunswworks:oai:unsworks.library.unsw.edu.au:1959.4/68277)},
  researchr = {https://researchr.org/publication/basesearch-10847},
  cites = {0},
  citedby = {0},
  school = {University of New South Wales, Sydney, Australia},
}