Declarative Program Analysis and Optimization

CS294-260, Spring 2024

Final Projects

• Sparsity and Relational Algebra
  by Altan Haan

• Rewrite Rule Synthesis: A Survey
  by Charles Hong

• Anti-Unification and Library Learning: An Exploratory Review
  by Eric Rawn

• Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming Languages
  by Federico Mora, Adwait Godbole

• From Program Analyses to Transformations with Datalog
  by Manish Shetty

• Monte Carlo Tree Search for E-graph Extraction
  by Jeremy Ferguson, Sora Kanosue, Jacob Yim

• PretVM Bytecode Optimizers for LF Programs
  by Shaokai Lin

• eBPF Verification: Program Analysis and Declarative Opportunities
  by Shreyas Kallingal

• Towards Relational Contextual Equality Saturation
  by Tyler Hou