3 papers
math.MG2026
On Nieuwland Numbers and Polar Duality
Kavin Satheeskumar, Liam Benoit
A convex 3D-polytope is said to have Rupert's property if it can pass through a copy of itself. The Nieuwland number of a convex polytope is the largest suc…
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…