# Roll Rolfs Recommendations https://www.msreverseengineering.com/program-analysis-reading-list/ # Computer Science * Basic automata/formal languages/Turing machines: [Introduction to the Theory of Computation](https://www.amazon.com/gp/product/113318779X/ref=as_li_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=113318779X&linkCode=as2&tag=wwwmsreversee-20&linkId=KTJ4ZC247N462SGS) * Basic programming language theory:[ University of Washington CSE P505 online video lectures and materials ](http://www.cs.washington.edu/education/courses/csep505/06sp/) * Formal semantics:[Semantics with Applications](http://www.amazon.com/gp/product/1846286913/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1846286913&linkCode=as2&tag=wwwmsreversee-20&linkId=KWRVRHSQWHGLWOT6) * Compilers: 1. [Appel's ML book](http://www.amazon.com/gp/product/0521607647/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0521607647&linkCode=as2&tag=wwwmsreversee-20&linkId=3COFU2G6Q4DFJIRT) 2. [ Programming Language Pragmatics](http://www.amazon.com/gp/product/0123745144/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0123745144&linkCode=as2&tag=wwwmsreversee-20&linkId=SVFNCHWTDARQCVXQ) 3. [ Muchnick's "Advanced Compiler Design and Implementation](http://www.amazon.com/gp/product/1558603204/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1558603204&linkCode=as2&tag=wwwmsreversee-20&linkId=UROMNSI4TW2TWKTM) * Algorithms: 1. [Dasgupta, Papadimitriou, and Vazirani's "Algorithms](http://www.amazon.com/gp/product/0073523402/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0073523402&linkCode=as2&tag=wwwmsreversee-20&linkId=4GQOKYNOZS7D3AS4) 2. [ MIT's 6.046J on Open CourseWare](http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-046j-introduction-to-algorithms-sma-5503-fall-2005/) 3. [Algorithmics for Hard Problems](http://www.amazon.com/gp/product/3540441344/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=3540441344&linkCode=as2&tag=wwwmsreversee-20&linkId=L6ZQC2DVEHYYIRLJ) # Mathematics * abstract algebra 1. [Gallian](http://www.amazon.com/gp/product/1133599702/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1133599702&linkCode=as2&tag=wwwmsreversee-20&linkId=Y5ZQDGOFWZBQ2KUI) 2. [Dummit and Foote ](http://www.amazon.com/gp/product/0471433349/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0471433349&linkCode=as2&tag=wwwmsreversee-20&linkId=6PWI7HWDZ5TPR2C2) * Order theory 1. [ Introduction to Lattices and Order ](http://www.amazon.com/gp/product/0521784514/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0521784514&linkCode=as2&tag=wwwmsreversee-20&linkId=SU42BVB4NJWORCAO) 2. [ Lattices and Ordered Algebraic Structures](http://www.amazon.com/gp/product/1852339055/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1852339055&linkCode=as2&tag=wwwmsreversee-20&linkId=Q5KQ5YLSGN27N7CV) * Complexity Theory 1. [ Arora and Barak](http://www.amazon.com/gp/product/0521424267/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0521424267&linkCode=as2&tag=wwwmsreversee-20&linkId=SSZI4FP6P3PH4D5Q) * Formal logic 1. [ The Calculus of Computation ](http://www.amazon.com/gp/product/3642093477/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=3642093477&linkCode=as2&tag=wwwmsreversee-20&linkId=LZX43VIMMJOCP2I4) * Computability, undecidability 1. [ The Undecidable ](http://www.amazon.com/gp/product/0486432289/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=0486432289&linkCode=as2&tag=wwwmsreversee-20&linkId=OFESIJQQBFPJ4C4W) * Decision procedures 1. [Decision Procedures](http://www.amazon.com/gp/product/3540741046/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=3540741046&linkCode=as2&tag=wwwmsreversee-20&linkId=TJVVDQ7B256XBALG) * SAT solvers and their applications 1. [Handbook of Satisfiability](http://www.amazon.com/gp/product/1586039296/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1586039296&linkCode=as2&tag=wwwmsreversee-20&linkId=FJGCNW35YMHUKMGH) 2. [ Introduction to the Mathematics of Satisfiability](http://www.amazon.com/gp/product/1439801673/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1439801673&linkCode=as2&tag=wwwmsreversee-20&linkId=USHCHG44W3H4OL7S) * abstract interpretation and abstract set theory 1. [ Set Theory and the Continuum Problem](https://www.amazon.com/Theory-Continuum-Problem-Dover-Mathematics/dp/0486474844) # Program analysis, the "accessible" variety * [BitBlaze publications](http://bitblaze.cs.berkeley.edu/bitblaze-pub.html) * [BAP publications](http://security.ece.cmu.edu/pubs.html) * [TaintCheck ](http://bitblaze.cs.berkeley.edu/papers/taintcheck-full.pdf) * [All You Ever Wanted to Know About Dynamic Taint Analysis ](http://www.ece.cmu.edu/~ejschwar/papers/oakland10.pdf) * [Forward Symbolic Execution](http://www.ece.cmu.edu/~ejschwar/papers/oakland10.pdf) * [Real World OCaml](http://www.amazon.com/gp/product/144932391X/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=144932391X&linkCode=as2&tag=wwwmsreversee-20&linkId=L5ZEFWTGUWQCAUVD) * [David Brumley's Ph.D. thesis](http://reports-archive.adm.cs.cmu.edu/anon/2008/CMU-CS-08-159.pdf) * [David Molnar's Ph.D. thesis](http://www.dmolnar.com/thesis-filed.pdf) * [Sean Heelan's Master's thesis](http://seanhn.files.wordpress.com/2009/09/thesis1.pdf) # Program analysis, the "serious" variety * [Principles of Program Analysis ](http://www.amazon.com/gp/product/3642084745/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=3642084745&linkCode=as2&tag=wwwmsreversee-20&linkId=KAGESCZ2NKGB7X4G) * [Cousot's MIT lecture course](http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/) * [Value-Range Analysis of C Programs ](http://www.amazon.com/gp/product/1848000162/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=1848000162&linkCode=as2&tag=wwwmsreversee-20&linkId=X6SEK2M3ZRYCMYWT) * [ Gogul Balakrishnan's Ph.D. thesis](http://research.cs.wisc.edu/wpis/papers/balakrishnan_thesis.pdf) * [ Johannes Kinder's Ph.D. thesis](http://infoscience.epfl.ch/record/167546/files/thesis.pdf) * [Mila Dalla Preda's Ph.D. thesis](http://profs.sci.univr.it/~dallapre/MilaDallaPreda_PhD.pdf) * [Antoine Mine's Ph.D. thesis](http://www.di.ens.fr/~mine/these/these-color.pdf) * [Davidson Rodrigo Boccardo's Ph.D. thesis](http://www.feis.unesp.br/Home/departamentos/engenhariaeletrica/pos-graduacao/056-tese-davidson.pdf) * Personal&Institution Papers 1. [CAV](http://cav12.cs.illinois.edu/) 2. [SAS](http://www.sas2012.ens.fr/ 3. [VMCAI](http://lara.epfl.ch/vmcai2012/) 4. [Z3 team](http://research.microsoft.com/en-us/um/redmond/projects/z3/documentation.html#papers) 5. [Mila Dalla Preda](http://profs.sci.univr.it/~dallapre/MilaDallaPreda_Publications.html) 6. [Joerg Brauer](http://embedded.rwth-aachen.de/doku.php?id=en:lehrstuhl:mitarbeiter:brauer) 7. [Andy King](http://www.cs.kent.ac.uk/people/staff/amk/pubs.html) 8. [Axel Simon](http://www2.in.tum.de/hp/Main?nid=130) 9. [Roberto Giacobazzi](http://profs.sci.univr.it/~giaco/Giaco/Papers.html) 10. [ Patrick Cousot](http://www.di.ens.fr/~cousot/COUSOTpapers.shtml) * Vijay D'Silva et al([1](https://www.cs.ox.ac.uk/people/leopold.haller/papers/tacas2012.pdf),[2](http://www.cs.ox.ac.uk/people/leopold.haller/papers/fmcad2012.pdf),[3](https://www.cs.ox.ac.uk/people/leopold.haller/papers/sas2012.pdf),[4](http://www.cs.ox.ac.uk/publications/publication6393-abstract.html),[5](http://www.cs.ox.ac.uk/publications/publication6392-abstract.html))
Roll Rolfs Recommendations
https://www.msreverseengineering.com/program-analysis-reading-list/
Computer Science
Mathematics
Program analysis, the "accessible" variety
Program analysis, the "serious" variety