static-analysis-and-compilers issues

Resources to consider adding

25

https://lists.eatonphil.com/compilers-and-interpreters.html

types of intermediate representations

4

## graph (control dependencies + SSA IR) - sea of nodes: - https://darksi.de/d.sea-of-nodes/ - https://www.oracle.com/technetwork/java/javase/tech/c2-ir95-150110.pdf - thorin: - https://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf ## flat (?) CFG + SSA IR - LLVM ## ANF...

0xalpharush

declarative approach

1

https://inst.eecs.berkeley.edu/~cs294-260/sp24/ https://tylerhou.com/posts/datalog-go-brrr/ https://s-arash.github.io/ascent/cc22main-p95-seamless-deductive-inference-via-macros.pdf "Fast matching in combinations of regular equational theories" https://github.com/ekzhang/crepe https://petevilter.me/post/datalog-typechecking/ https://xiaowenhu.com/posts/dominance_tree/ https://prl.khoury.northeastern.edu/blog/static/datalog-for-static-analysis.pdf https://www.cse.psu.edu/~gxt29/teaching/cse597s19/slides/06StaticaAnalysisInDatalog.pdf https://terminusdb.com/blog/graph-fundamentals-part-1-rdf-db/ https://www.philipzucker.com/datalog-book/imperative.html https://www.learndatalogtoday.org/chapter/4 https://fkettelhoit.github.io/bottom-up-datalog-js/docs/dl.html https://github.com/timelydataflow/differential-dataflow/blob/master/differentialdataflow.pdf "Fixpoint Semantics and Optimization of Recursive Datalog Programs with...

0xalpharush