here's a new paper about bridging the gap between discovering a missing compiler optimization (both humans and superoptimizers are good at this) and obtaining a correct and general implementation of that optimization in a production compiler (this is very hard, even for experts)
https://users.cs.utah.edu/~regehr/generalization-oopsla24.pdf
this is my student Manasij's thesis work. I'll just throw modesty to the wind and say that this is a really important paper for how we'll build compilers in the future!
John Regehr /
npub15x…e5a5k
2024-03-05 21:53:25
Author Public Key
npub15xjwk4qzx56p5tdsmzsge7m5ahztkp4nzmrmkw2cp324t888rwsswe5a5kPublished at
2024-03-05 21:53:25Event JSON
{
"id": "17faba133e0df5cb1651b7dbe669bef28e99f2ad1beb951b692a98efa4d326fa",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1709675605,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/regehr/statuses/112045300457055463",
"activitypub"
]
],
"content": "here's a new paper about bridging the gap between discovering a missing compiler optimization (both humans and superoptimizers are good at this) and obtaining a correct and general implementation of that optimization in a production compiler (this is very hard, even for experts)\n\nhttps://users.cs.utah.edu/~regehr/generalization-oopsla24.pdf\n\nthis is my student Manasij's thesis work. I'll just throw modesty to the wind and say that this is a really important paper for how we'll build compilers in the future!",
"sig": "abcd18ba26d730f4efdbf030949a498f024531fb726e1c86b18fd9185327fa7b2687ddfe6e68326eb5b1ec3014e1e763efa44c73afc3e92faf09a6f23d418a50"
}