Memory-efficient Fixpoint Computation

Kim, Sung Kook and Venet, Arnaud J. and Thakur, Aditya V.
27th Static Analysis Symposium (SAS), 2020



@inproceedings{SAS20a,
  author = {Kim, Sung Kook and Venet, Arnaud J. and Thakur, Aditya V.},
  title = {Memory-efficient Fixpoint Computation},
  booktitle = {27th Static Analysis Symposium (SAS)},
  year = {2020},
  note = {To appear}
}