News for hackers. Stuff that matters.

A comment on Dataflow Analyses and Compiler Optimizations That Use Them, for Free.

Re:Dataflow Analyses and Compiler Optimizations That Use The... by efferifick on Sunday April 21, 2024 @09:24AM (#40105602)
This post and the Hydra paper reminds me a lot of Ruler and Enumo.

  * Nandi, Chandrakana, et al. "Rewrite rule inference using equality saturation." Proceedings of the ACM on Programming Languages 5.OOPSLA (2021): 1-28.
  * Pal, Anjali, et al. "Equality Saturation Theory Exploration à la Carte." Proceedings of the ACM on Programming Languages 7.OOPSLA2 (2023): 1034-1062.
I will need to read more about both of these techniques along with Synthesizing Abstract Transformers.

Thanks for sharing! Really exciting stuff!

[ Parent | on HN ]
Re:Dataflow Analyses and Compiler Optimizations That Use The... by manasij7479 on Monday April 22, 2024 @04:13AM (#40112313)
These are indeed neat papers!
[ Parent | on HN ]