A bibliography of interesting works.
These works, and many more to come, have inspired and informed the software in Go-air, works in progress included.
Use Discussions to discuss ideas and link to related Go projects.
Use issues to propose adding interesting works. What would you suggest?
- Efficient Implementation of Property Directed Reachability Niklas Een, Alan Mishchenko, Robert Brayton. 2011 FMCAD
- IC3 and beyond: Incremental, Inductive Verification Aaron R. Bradley. 2012 in CAV
- Checking Safety by Inductive Generalization of Counterexamples to Induction. Aaron R. Bradley and Zohar Manna
- http://minisat.se/downloads/CutSweeping.pdf
- https://people.eecs.berkeley.edu/~alanmi/research/fraigs/fraigs.pdf
- http://fmv.jku.at/papers/BrummayerBiere-MEMICS06.pdf
- semgrep. https://semgrep.dev.
- coccinelle. https://coccinelle.gitlabpages.inria.fr/website/papers.html.
- Bernhard Scholz, Herbert Jordan, Pavle Subotić, Till Westmann: On fast large-scale program analysis in Datalog. CC 2016: 196-206;
- Pavle Subotić, Herbert Jordan, Lijun Chang, Alan Fekete, Bernhard Scholz: Automatic Index Selection for Large-Scale Datalog Computation. PVLDB 12(2): 141-153 (2018)
- Rego https://www.openpolicyagent.org/docs/latest/policy-language/
- Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell http://crypto.stanford.edu/~ninghui/papers/cdatalog_padl03.pdf
- differential datalog https://github.com/vmware/differential-datalog
- Scalable Taint Specification Inference with Big Code. Victor Chibotaru, Veselin Raychev, Benjamin Bichel, Martin Vechev. https://files.sri.inf.ethz.ch/website/papers/scalable-taint-specification-inference-pldi2019.pdf
- Predicting Program Properties from Big Code. Veselin Raychev, Martin Vechev, Andreas Kraus. https://files.sri.inf.ethz.ch/website/papers/jsnice15.pdf
- Code Completion with Statistical Language Models. Veselin Raychev, Martin Vechev, Eran Yahav. https://files.sri.inf.ethz.ch/website/papers/pldi14-statistical.pdf
- Pointer Analysis. Foundations and Trends in Programming Languages Vol. 2, No. 1 (2015) 1–69 2015 Y. Smaragdakis and G. Balatsouras DOI: 10.1561/2500000014 (https://yanniss.github.io/points-to-tutorial15.pdf)
- Infer Compositional Analysis by means of bi-abduction Journal of the ACM Volume 58 Issue 6 December 2011 Article No.: 26pp 1–66https://doi.org/10.1145/2049697.2049700
- Andersen, Lars Ole (1994). Program Analysis and Specialization for the C Programming Language (PDF) (PhD thesis).
- Steensgaard, Bjarne (1996). "Points-to analysis in almost linear time" (PDF). POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM. pp. 32–41. doi:10.1145/237721.237727. ISBN 0-89791-769-3.
- Petar Maksimović and José Fragoso Santos and Sacha-Élie Ayoun and Philippa Gardner (2021). Gillian: A Multi-Language Platform for Unified Symbolic Analysis.
- Zyrianov, Vlas; Newman, Christian D.; Guarnera, Drew T.; Collard, Michael L.; Maletic, Jonathan I. (2019). "srcPtr: A Framework for Implementing Static Pointer Analysis Approaches" (PDF). ICPC '19: Proceedings of the 27th IEEE International Conference on Program Comprehension. Montreal, Canada: IEEE.
- golang.org/x/tools/go/pointer.