0xalpharush
commented
3 months ago Declarative Program Analysis and Optimization https://inst.eecs.berkeley.edu/~cs294-260/sp24/
Open 0xalpharush opened 4 months ago
0xalpharush
commented
3 months ago Declarative Program Analysis and Optimization https://inst.eecs.berkeley.edu/~cs294-260/sp24/
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 Aggregates" https://arxiv.org/pdf/1707.05681.pdf "An Amatuer's Introduction to Recursive Query Processing Strategies" https://minds.wisconsin.edu/bitstream/handle/1793/58980/TR772.pdf?sequence=1