Paper - Galois Transformers and Modular Abstract Interpreters
· 8 min read
Galois Transformers and Modular Abstract Interpreters (Darais et al. 2015) provides a way to do abstract interpretation in general, without having to specify a particular language or analysis. This paper is fairly mathematically dense, so I'll do my best to break down what I understood from it. This paper is also a good starting point if you want to understand Dr. Germane's paper on Full Control-Flow Sensitivity.
David Darais, Matthew Might, and David Van Horn. “Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis.” ACM SIGPLAN Notices 50 (10): 552–571. 2015. Publisher: ACM New York, NY, USA.