Jingbo Wang
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
on a stage with
- Chao Wang3×
- Aarti Guptaonce
- Aditya Akellaonce
all 13 in the filters
who talks about the same things
- Chao Wang17 talks
- Linzhang Wang6 talks
- Peixin Wang5 talks
- Guanyan Li3 talks
- Ke Wang11 talks
- Işıl Dillig21 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… | ||
| Towards Performance Robustness for Microservices | NSDI '26 | 2026-05-04 |
Paper claims that run-time performance robustness certificates (PERCs) give statistical upper bounds on tail latency under bounded perturbations and that… | ||
| An Incremental Algorithm for Algebraic Program Analysis | POPL 2025 | 2025-01-19 |
Method builds an API tree data structure that linearizes CFGs so edits map to leaf insert/delete/update and interpretation values are updated by traversing… | ||
| Synthesizing MILP Constraints for Efficient and Robust Optimization | PLDI 2023 | 2023-06-17 |
Proposes a syntax-guided synthesis pipeline that generates MILP encodings from arbitrary Boolean-linear specs, implementing an extensible DSL, iterative… | ||
| nothing matches | ||