Ritvik Sharma
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2024–2026
on a stage with
- Sara Achour3×
- Cheng Pengonce
- Siddharth Dangwalonce
who talks about the same things
- Sara Achour5 talks
- Amanda Xu6 talks
- Aws Albarghouthi14 talks
- Swamit Tannu3 talks
- Abtin Molavi3 talks
- Amr Sabry10 talks
| title | conference | date |
|---|---|---|
| CoTenN: Constrained Optimization with Tensor Networks | PLDI 2026 | 2026-06-15 |
A constraint-first DSL and compiler pipeline converts discrete quantum constrained optimization problems into tensor networks: Masq DSL expresses hard… | ||
| Optimizing Ancilla-Based Quantum Circuits with SPARE | PLDI 2025 | 2025-06-16 |
SPARE is a rewrite-based optimizer that detects and restructures compute–uncompute (CTU) patterns in QPL-lowered circuits and uses ancilla state propagation to… | ||
| Compilation of Qubit Circuits to Optimized Qutrit Circuits | PLDI 2024 | 2024-06-24 |
An optimizing compiler called Dare converts qubit circuits into qutrit circuits by a novel qutrit decomposition plus a rewrite engine that applies both… | ||
| nothing matches | ||