1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2024★ 1 cited
Verifying Peephole Rewriting In SSA Compiler IRs
Siddharth Bhat, Alex Keizer, Chris Hughes +2
There is an increasing need for domain-specific reasoning in modern compilers. This has fueled the use of tailored intermediate representations (IRs) based on static single assignm…
cs.PL2022
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA
Siddharth Bhat, Tobias Grosser
Static Single Assignment (SSA) is the workhorse of modern optimizing compilers for imperative programming languages. However, functional languages have been slow to adopt SSA and p…
cs.PL2021
QSSA: An SSA-based IR for Quantum Computing
Anurudh Peduri, Siddharth Bhat
Quantum computing hardware has progressed rapidly. Simultaneously, there has been a proliferation of programming languages and program optimization tools for quantum computing. Exi…