Aws Albarghouthi
where else to find them
what they talk about
all 9 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
- POPL2 editions2022–2026
- UIST2 editions2018–2019
all 8 in the filters
on a stage with
all 29 in the filters
who talks about the same things
- Amanda Xu6 talks
- Abtin Molavi3 talks
- Swamit Tannu3 talks
- Lauren Pick3 talks
- Michael Carbin14 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| The Rise & Collapse of a Quantum State | PLDI 2026 | 2026-06-15 |
Describes a practical pipeline: rewrite-rule synthesizer converts small peephole circuits into algebraic polynomials and uses a randomized Schwarz–Zippel check… | ||
| Generating Compilers for Qubit Mapping and Routing | POPL 2026 | 2026-01-11 |
A system generates qubit mapping and routing compilers from a compact specification and a device graph, using an Amara language frontend and a parametric… | ||
| Dependency-Aware Compilation for Surface Code Quantum Architectures | OOPSLA 2025 | 2025-10-16 |
Presents a compiler that maps logical qubits to a 2D surface‑code grid using a layered interaction graph to expose only the operations that can conflict, then… | ||
| Checking Observational Correctness of Database Systems | OOPSLA 2025 | 2025-10-16 |
Tool encodes transaction behavior with a version-aware semantics and checks isolation via explicit SMT constraints so the checker asks whether any valid… | ||
| Verified Foundations for Differential Privacy | PLDI 2025 | 2025-06-16 |
SampCert is a mechanized foundation for differential privacy written in Lean that proves correctness of sampling and DP composition and ships verified samplers… | ||
| Uncertainty and my scientific journey | PLMW@PLDI 2024 | 2024-06-24 |
Defines uncertainty as lack of knowledge plus no clear path to acquire it, and shows concrete tactics: prints a stack of CAV papers to learn paper structure… | ||
| Synthesizing Quantum-Circuit Optimizers | PLDI 2023 | 2023-06-17 |
Synthesizes a device-specific quantum-circuit optimizer from a gate-set spec in 1.2 minutes and outputs 7,001 symbolic rewrite rules for IBM’s gate set, giving… | ||
| What Can Program Analysis Say About Data Bias? | VMCAI 2023 | 2023-01-15 |
Proposes a method that uses abstract interpretation to symbolically represent all datasets within a bias model (e.g., up to n label flips) and lift core… | ||
| Interval Universal Approximation for Neural Networks | POPL 2022 | 2022-01-16 |
Proves an interval universal approximation theorem: for any continuous target and any practical squashable functions (monotone with one-sided limits) there… | ||
| Bodystorming Human-Robot Interactions | UIST 2019 | 2019-10-20 |
Synthé records demonstrations using microphones for speech and armbands for gestures and automatically turns multiple traces into an executable interaction… | ||
| Protocol-Aware Recovery for Consensus-Based Storage | USENIX ATC '19 | 2019-07-10 |
Paper introduces protocol-aware recovery and implements CTRL to exploit RSM protocol rules to recover from disk corruption. Implementation in LogCabin and… | ||
| Automated Verification meets Differential Privacy | Data Privacy: From Foundations to Applications (Simons Institute workshop, 2019) | 2019-03-04 |
Automatic verifier transforms sampling into assume statements, encodes failure probability as a program variable, and hands the result to off‑the‑shelf SMT/SAT… | ||
| Authoring and Verifying Human-Robot Interactions | UIST 2018 | 2018-10-14 |
A web authoring tool called RoVer lets designers drag and drop microinteractions into a state‑machine, translates that model into a transition system, and… | ||
| nothing matches | ||