Harmonic's Petar Veličković to keynote TPSA@POPL 2027, CFP open
satnam6502 · x · 2026-10-21
TPSA (Theory and Practice of Static Analysis), co-located with POPL 2027 (Jan 10–16, 2027, Mexico City), announced a keynote by Petar Veličković of Harmonic, with more speakers to be announced and talk proposals open via CFP. POPL 2027 also hosts workshops including FRIDA, LAFI, PAgE, and PLanQC.
More from Research
- Omnii-1 Becomes First AI-Designed Phages Given to a Human Patient — JosephJacks_ · 2026-10-21
- RPL humanoid perceptive locomotion code released, accepted to CoRL 2026 — GuanyaShi · 2026-10-21
- Randomized pilot: ultrasound stimulation of globus pallidus eases delusions in schizophrenia — JosephJacks_ · 2026-10-21
- Classic MIT paper: the universe has performed at most 10^120 ops on 10^90 bits — burny_tech · 2026-10-21
- Simons Foundation partners with Anthropic and OpenAI on grants for Math+AI institutes — windx0303 · 2026-10-21
- Tracing music paths in 3D space with Gemma embeddings — ryunuck · 2026-10-21