Some photos from WQS in Seoul last week.
1. Samson Abramsky giving his invited talk.
2. Group photo down by the canal.
3. Evidence of Raphael Seidel's presence.
#wqs #pldi #qrisp
#pldi
Who's at #PLDI?
Where to next for static race detection? It is really good at verifying lock based patterns now, but that's not enough for verifying real-world programs, which use all sorts of interesting idioms to avoid races (and hence undefined behaviour!)
On Friday afternoon Karoliine Holter is presenting our TOPLAS paper at #PLDI: "Sound Static Data Race Verification for C: Is the Race Lost?" Joint work with my colleagues from Tartu: Karoliine, Simmo Saan, and Vesal Vojdani.
We identified 20 coding idioms to avoid races by separating accesses in time and space; some existing tool can verify 8 of the 20. If you want to verify real world programs you'd better be able to handle these idioms: we show that they do occur in real programs from the Concrat suite.
PDF: https://patricklam.ca/papers/25.toplas.data-race-empirical.pdf
You can read more in our paper: https://steuwer.info/files/publications/2025/PLDI-Slotted-E-Graphs.pdf
This contains a formalization of Slotted E-Graphs and our evaluation shows that for some applications we have massive space savings enabling us to solve problems that traditional e-graphs can't solve within reasonable memory and time thresholds.
You can also look at the paper's artifact https://github.com/memoryleak47/slotted-egraphs-artifact and Rudi's implementation of slotted e-graphs in Rust https://docs.rs/slotted-egraphs/latest/slotted_egraphs/
If you are at #PLDI come to Rudi's talk tomorrow!
Excited to be at #PLDI in Seoul 🇰🇷 this week!
Later today, Nicole Heinimann (@SaltyPeppermint) will present our ongoing work on guiding Equality Saturation via Machine Learning: https://pldi25.sigplan.org/details/egraphs-2025-papers/6/Machine-Learning-Guided-Equality-Saturation
Tomorrow, Rudi Schneider will present our paper "Slotted E-Graphs" at PLDI which adds first class support for (bound) variables to e-graphs (https://pldi25.sigplan.org/details/pldi-2025-papers/77/Slotted-E-Graphs-First-Class-Support-for-Bound-Variables-in-E-Graphs).
If you are at PLDI come and say hello 👋
We are excited to present our new paper at @pldi! The paper describes a family of ultra-cheap relational abstract domains, that can capture relations between variables such as y = 3 x + b or y = (x rot 3) xor 0xFF, among many others. These domains work particularly well with programs in SSA form (or when combined with our SSA-based abstract domains). A short, hopefully accessible, summary available here https://codex.top/papers/2025-pldi-relational-abstractions-labeled-uf.html. If you are assisting #PLDI, looking for a postdoc, research, or engineering position in analysis/compilers, or just want to chat -- feel free to reach out!
Clever title; disappointing 😢:
“[ On | No ] Syntactic Support For Error Handling”, Robert Griesemer (https://go.dev/blog/error-syntax).
On HN: https://news.ycombinator.com/item?id=44171677
On Lobsters: https://lobste.rs/s/xyhnvt/on_no_syntactic_support_for_error
On /r/GoLang: https://old.reddit.com/r/golang/comments/1l2giiw/on_no_syntactic_support_for_error_handling/
Whatay wonderful #list for anyone interested in #PLDI or #compilers 👌🏽:
“Writing That Changed How I Think About PL”, Max Bernstein (https://bernsteinbear.com/blog/pl-writing/).
Via Lobsters: https://lobste.rs/s/v2zmv3/writing_changed_how_i_think_about_pl
俺がダメでも霧雨魔理沙なら #PLDI に論文を通せる。しかし幻想郷から投稿できるんだな。 https://pldi25.sigplan.org/profile/marisakirisame1
“Things Zig comptime Won’t Do”, Aleksey Kladov (https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html).
On HN: https://news.ycombinator.com/item?id=43744591
On Lobsters: https://lobste.rs/s/yhtpk0/things_zig_comptime_won_t_do
On /r/zig: https://old.reddit.com/r/Zig/comments/1k6d3rr/things_zig_comptime_wont_do/
“Zig-Style Generics Are Not Well-Suited For Most Languages” [2022], Varun Gandhi (https://typesanitizer.com/blog/zig-generics.html).
On HN: https://news.ycombinator.com/item?id=33142751
On Lobsters: https://lobste.rs/s/jktewn/zig_style_generics_are_not_well_suited_for
On /r/programming: https://old.reddit.com/r/programming/comments/xzqxu6/zigstyle_generics_are_not_wellsuited_for_most/
Nice, but hard to follow properly if you don’t already know #Jai:
“Four Years Of Jai” [2024], Smári McCarthy (https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/).
Via Lobsters: https://lobste.rs/s/ipvyhu/four_years_jai
On HN: https://news.ycombinator.com/item?id=43699564
#Programming #PLDI #ProgrammingLanguages #SystemsProgramming
Neat:
“A Surprising Enum Size Optimization In The Rust Compiler”, James Fennell (https://jpfennell.com/posts/enum-type-size/).
Via Lobsters: https://lobste.rs/s/w3jjb2/surprising_enum_size_optimization_rust
On HN: https://news.ycombinator.com/item?id=43616649
#Rust #PLDI #Compilers #Optimization #Enums #TaggedUnions #Variant #Efficiency #Programming
Great:
“An Epic Treatise On Error Models For Systems Programming Languages”, Varun Gandhi (https://typesanitizer.com/blog/errors.html).
Via HN: https://news.ycombinator.com/item?id=43297574
On Lobsters: https://lobste.rs/s/az2qlz/epic_treatise_on_error_models_for_systems
#Errors #Exceptions #ErrorHandling #SystemsProgramming #Programming #PLDI
Interesting, but I'm not completely sold on this idea:
"An Ode To Header Files", Josh Haberman (https://blog.reverberate.org/2025/01/27/an-ode-to-header-files.html).
#PLDI #ProgrammingLanguages #Compilers #Interfaces #Design #DRY #Programming
A critique of #Zig by a #Rust coder:
“My Second Opinion On Zig”, Dimitri Sabadie (https://strongly-typed-thoughts.net/blog/zig-2025).
Via Lobsters: https://lobste.rs/s/pwqgmz/zig_what_i_think_after_months_using_it
On HN: https://news.ycombinator.com/item?id=42942618
On /r/Zig: https://old.reddit.com/r/Zig/comments/1ihyg6e/zig_what_i_think_after_months_of_using_it/
The #compiler for #Roc is being rewritten in #Zig (from #Rust) , prematurely IMO:
https://gist.github.com/rtfeldman/77fb430ee57b42f5f2ca973a3992532f (Richard Feldman)
On HN: https://news.ycombinator.com/item?id=42935516
On Lobsters: https://lobste.rs/s/0jknbl/roc_rewrites_compiler_zig
On /r/rust: https://old.reddit.com/r/rust/comments/1ihv12p/rewriting_roc_transitioning_the_compiler_from/
“Obvious Things C Should Do”, Walter Bright (https://www.digitalmars.com/articles/Cobvious.html).
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst