Elizabeth Polgreen
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Ankush Desai10 talks
- Lauren Pick3 talks
- Pascal Weisenburger11 talks
- Sarah E. Chasins11 talks
- Aarti Gupta7 talks
- Marco Eilers4 talks
| title | conference | date |
|---|---|---|
| Guided Tensor Lifting | PLDI 2025 | 2025-06-16 |
Automatic lifting from C to Taco uses an LLM to generate 10 candidate tensor expressions, extracts a probabilistic grammar from those samples, and drives… | ||
| Message Chains for Distributed System Verification | OOPSLA 2023 | 2023-10-23 |
Defines message chains as a listlike datatype that records send history so proofs avoid reasoning about individual messages or buffers, and implements an… | ||
| C2TACO: Lifting Tensor Code to TACO | GPCE 2023 | 2023-10-22 |
C2TACO synthesizes TACO tensor-DSL programs from C by using enumerative program synthesis guided by automatically generated IO examples and static code… | ||
| Satisfiability and Synthesis Modulo Oracles | VMCAI 2022 | 2022-01-16 |
Defines a formal SMTO/SyMO framework that plugs executable black‑box oracles into SMT/synthesis via assumption generator and constraint generator interfaces… | ||
| nothing matches | ||