Ruijie Fang
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 editions2025–2026
on a stage with
- Işıl Dillig2×
- Dixin Tangonce
- Linus Zhengonce
all 8 in the filters
who talks about the same things
- Yuepeng Wang8 talks
- Zachary Kincaid9 talks
- Linzhang Wang6 talks
- Işıl Dillig21 talks
- Ziteng Wang3 talks
- Thomas Reps20 talks
| title | conference | date |
|---|---|---|
| Homomorphism Calculus for User-Defined Aggregations | PLDI 2026 | 2026-06-15 |
Introduces a decidable homomorphism calculus and a synthesis tool Inc that reduces dataframe homomorphism verification to a local per-row check via a… | ||
| Software Model Checking via Summary-Guided Search | OOPSLA 2025 | 2025-10-16 |
GPS presents a concrete algorithm that interleaves directed testing with summary-guided search: it queries an SMT solver for models, uses a summary oracle… | ||
| Graphiti: Bridging Graph and Relational Database Queries | PLDI 2025 | 2025-06-16 |
Builds an automated pipeline called Graphiti that encodes user mappings as a user-provided transformer, automatically derives a standard transformer, and… | ||
| nothing matches | ||