corpus.blog
43,567 blogs · 5,563,491 posts Claim your blog
Record · corpus.blog/posts/01a087be-6603-7318-bab7-94d1570f7fd9

Distinguished (for me) Papers of PLDI'25

pavpanchekha.com · published 23 June 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at pavpanchekha.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
15
Words captured
2,247

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://pldi25.sigplan.org/
pldi25.sigplan.org
https://www.youtube.com/live/y6zqh2IXcYA?si=QfJ15m_soMeEVZqL&t=11294
youtube.com
https://dl.acm.org/doi/10.1145/3729322
dl.acm.org
https://www.philipzucker.com/pldi_2025/
philipzucker.com
https://pldi25.sigplan.org/details/egraphs-2025-papers/9/Automated-High-Level-Synthesis-Design-Modularization-via-E-Graph-Anti-Unification
pldi25.sigplan.org
https://pldi25.sigplan.org/details/egraphs-2025-papers/8/Oatlog-A-performant-ahead-of-time-compiled-e-graph-engine
pldi25.sigplan.org
https://pldi25.sigplan.org/details/egraphs-2025-papers/5/Omelets-Need-Onions-E-graphs-Modulo-Theories-via-Bottom-Up-E-Matching
pldi25.sigplan.org
https://doi.org/10.1145/3729259
doi.org
https://doi.org/10.1145/3729260
doi.org
https://doi.org/10.1145/3729326
doi.org
https://pldi25.sigplan.org/details/pldi-2025-papers/98/Lean-Machine-Checked-Mathematics-and-Verified-Programming-Past-and-Future
pldi25.sigplan.org
https://doi.org/10.1145/3729278
doi.org
https://doi.org/10.1145/3735592
doi.org
https://pldi25.sigplan.org/details/pldi-2025-papers/97/Neurosymbolic-Program-Synthesis-Bridging-Perception-and-Reasoning-in-Real-World-Appl
pldi25.sigplan.org
https://dl.acm.org/doi/10.1145/3729327
dl.acm.org