Record · corpus.blog/posts/01a087bf-44d2-7146-bb90-fab810e93829

Reflecting on PLDI 2025

people.csail.mit.edu · published 2 July 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 people.csail.mit.edu Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 20
Words captured: 1,366

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Initial CUDA Performance Surprises Read at the source ↗

probablydance.com

https://www.tiobe.com/tiobe-index/

tiobe.com

https://dl.acm.org/doi/10.1145/3620665.3640366

dl.acm.org

https://pldi25.sigplan.org/home/rpls-2025

pldi25.sigplan.org

https://pldi25.sigplan.org/details/pldi-2025-papers/99/Programming-Language-Research-for-Technical-and-Social-Good-What-PL-Can-Do-for-Good-

pldi25.sigplan.org

https://kframework.org/

kframework.org

https://tc39.es/ecma262/

tc39.es

https://github.com/es-meta/esmeta

github.com

https://developer.arm.com/Architectures/Architecture%20Specification%20Language

developer.arm.com

https://github.com/rems-project/sail

github.com

https://pldi25.sigplan.org/program/program-pldi-2025/?badge=Distinguished%20Paper

pldi25.sigplan.org

https://pldi25.sigplan.org/details/pldi-2025-papers/98/Lean-Machine-Checked-Mathematics-and-Verified-Programming-Past-and-Future

pldi25.sigplan.org

https://lean-lang.org/

lean-lang.org

https://leanprover-community.github.io/mathlib-overview.html

leanprover-community.github.io

https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/

terrytao.wordpress.com

https://pirlea.net/papers/veil-cav25.pdf

pirlea.net

https://dl.acm.org/doi/10.1145/3729331

dl.acm.org

https://arxiv.org/pdf/2501.14550

arxiv.org

https://theory.stanford.edu/~aiken/publications/papers/pldi25.pdf

theory.stanford.edu

https://publish.illinois.edu/hpvm-project/files/2025/04/Towards_Automatic_Generation_of_Efficient_Retargetable_Semantic_Driven_Optimizations-10.pdf

publish.illinois.edu