Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
Amir H. Ashouri, Shayan Shirahmad Gale Bagi, Kavin Satheeskumar +6
The phase ordering problem has been a long-standing challenge since the late 1970s, yet it remains an open problem due to having a vast optimization space and an unbounded nature,…
cs.PL2023
Qualifying System F-sub
Edward Lee, Yaoyu Zhao, James You +3
Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effe…