Shashin Halalingaiah
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
- Chao Wangonce
- Daryl Maieronce
- Işıl Dilligonce
all 7 in the filters
who talks about the same things
- V Krishna Nandivada8 talks
- Vijay Sundaresan5 talks
- Işıl Dillig21 talks
- Jingbo Wang4 talks
- Sharon Shoham13 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| Probabilistic Inference for Datalog with Correlated Inputs | PLDI 2026 | 2026-06-15 |
A new Datalog extension called Praline implements probabilistic inference that accounts for arbitrary input correlations by reducing exact inference to a… | ||
| The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and(…) | OOPSLA 2024 | 2024-10-20 |
A scheme called ART encodes flow-sensitive, context-insensitive points-to results so a consumer can regenerate them without recomputing fixed points and verify… | ||
| nothing matches | ||