Sara Achour
where else to find them
github:saraachour
linkedin:sara-achour-76ab099
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2024–2026
on a stage with
- Ritvik Sharma3×
- Cheng Pengonce
- Pu (Luke) Yionce
all 4 in the filters
who talks about the same things
- Ritvik Sharma3 talks
- Amanda Xu6 talks
- Aws Albarghouthi14 talks
- Michael Carbin14 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… | ||
| Hardware-Aware Static Optimization of Hyperdimensional Computations | OOPSLA 2023 | 2023-10-23 |
Heim is a hardware-aware static optimizer for BSC hyperdimensional computing that analytically derives the minimum hypervector size and distance thresholds and… | ||
| Programming Systems for Analog Hardware | YOW! Melbourne 2022 | 2022-12-08 |
Presents a concrete compiler that maps dynamical systems to a real CMOS analog differential-equation chip, producing a first-ever compilation toolchain that… | ||
| nothing matches | ||