Pantea Karimi
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Heuristic Analysis from Source Code via Symbolic-Guided Optimization | NSDI '26 | 2026-05-04 |
MetaEase analyzes heuristic source code directly, using symbolic execution (KLEE) to generate seeds per code path and a duality-based gradient for the optimal… | ||
| Gemino: Practical and Robust Neural Compression for Video Conferencing | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
System reconstructs 1024x1024 video by sending tiny downsampled frames plus a single high-resolution reference and performing high-frequency-conditional… | ||
| nothing matches | ||