bibliography.bib

@book{cousot2021principles,
  title={Principles of Abstract Interpretation},
  author={Cousot, Patrick},
  year={2021},
  publisher={MIT Press}
}

@book{rival2020introduction,
  title={Introduction to static analysis: an abstract interpretation perspective},
  author={Rival, Xavier and Yi, Kwangkeun},
  year={2020},
  publisher={Mit Press}
}

@inproceedings{apinis2012side,
  title={Side-effecting constraint systems: a swiss army knife for program analysis},
  author={Apinis, Kalmer and Seidl, Helmut and Vojdani, Vesal},
  booktitle={Asian Symposium on Programming Languages and Systems},
  pages={157--172},
  year={2012},
  organization={Springer}
}

@phdthesis{apinis2014frameworks,
  title={Frameworks for analyzing multi-threaded C},
  author={Apinis, Kalmer},
  year={2014},
  school={Technische Universit{\"a}t M{\"u}nchen}
}

@article{schwarz2023clustered,
  title={Clustered Relational Thread-Modular Abstract Interpretation with Local Traces},
  author={Schwarz, Michael and Saan, Simmo and Seidl, Helmut and Erhard, Julian and Vojdani, Vesal},
  journal={arXiv preprint arXiv:2301.06439},
  year={2023}
}

% Sites/Repositories
@misc{svBench,
  title = {SV-Benchmarks},
  author = {sosy-lab},
  organization = {sosy-lab},
  howpublished = {\url{https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks}},
  note = {Last Accessed: 2023-02-01}
}

@misc{svBenchCoreutils,
  title = {sv-benchmarks/c/goblint-coreutils/README.txt},
  author = {Julian Erhard},
  howpublished = {\url{https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/9930354e/c/goblint-coreutils/README.txt}},
  note = {Last Accessed: 2023-02-01}
}

@misc{gnuCoreutils,
  title = {Coreutils - GNU core utilities},
  author = {GNU},
  organization = {GNU Operating System},
  howpublished = {\url{https://www.gnu.org/software/coreutils/}},
  note = {Last Accessed: 2023-02-01}
}

@misc{goblintHome,
  title = {Goblint - A static analyzer for multi-threaded C programs, specializing in finding concurrency bugs},
  author = {Goblint},
  organization = {Goblint},
  howpublished = {\url{https://goblint.in.tum.de/home}},
  note = {Last Accessed: 2023-02-01}
}

@misc{goblintCil,
  title = {C Intermediate Language (CIL)},
  author = {Cil},
  organization = {Goblint},
  howpublished = {\url{https://github.com/goblint/cil}},
  note = {Last Accessed: 2023-02-01}
}

@misc{goblintBench,
  title = {Goblint benchmark suite},
  author = {Goblint},
  organization = {Goblint},
  howpublished = {\url{https://github.com/goblint/bench}},
  note = {Last Accessed: 2023-02-01}
}

%Related Work
@inproceedings{smaragdakis2014introspective,
  title={Introspective analysis: context-sensitivity, across the board},
  author={Smaragdakis, Yannis and Kastrinis, George and Balatsouras, George},
  booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={485--495},
  year={2014}
}

@inproceedings{li2018scalability,
  title={Scalability-first pointer analysis with self-tuning context-sensitivity},
  author={Li, Yue and Tan, Tian and M{\o}ller, Anders and Smaragdakis, Yannis},
  booktitle={Proceedings of the 2018 26th ACM joint meeting on european software engineering conference and symposium on the foundations of software engineering},
  pages={129--140},
  year={2018}
}

@article{li2020principled,
  title={A principled approach to selective context sensitivity for pointer analysis},
  author={Li, Yue and Tan, Tian and M{\o}ller, Anders and Smaragdakis, Yannis},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={42},
  number={2},
  pages={1--40},
  year={2020},
  publisher={ACM New York, NY, USA}
}

@article{lu2019precision,
  title={Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity},
  author={Lu, Jingbo and Xue, Jingling},
  journal={Proceedings of the ACM on Programming Languages},
  volume={3},
  number={OOPSLA},
  pages={1--29},
  year={2019},
  publisher={ACM New York, NY, USA}
}

@inproceedings{thakur2019compare,
  title={Compare less, defer more: Scaling value-contexts based whole-program heap analyses},
  author={Thakur, Manas and Nandivada, V Krishna},
  booktitle={Proceedings of the 28th International Conference on Compiler Construction},
  pages={135--146},
  year={2019}
}

@inproceedings{oh2014selective,
  title={Selective context-sensitivity guided by impact pre-analysis},
  author={Oh, Hakjoo and Lee, Wonchan and Heo, Kihong and Yang, Hongseok and Yi, Kwangkeun},
  booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={475--484},
  year={2014}
}