2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2024
The Denotational Semantics of SSA
Jad Elkhaleq Ghalayini, Neel Krishnaswami
Static single assignment form, or SSA, has been the dominant compiler intermediate representation for decades. In this paper, we give a type theory for a variant of SSA, including…
cs.PL2023★ 2 cited
Explicit Refinement Types
Jad Elkhaleq Ghalayini, Neel Krishnaswami
We present λert, a type theory supporting refinement types with explicit proofs. Instead of solving refinement constraints with an SMT solver like DML and Liquid Haskell, our syste…