Ruzica Piskac
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA4 editions2021–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2026
all 5 in the filters
on a stage with
all 29 in the filters
who talks about the same things
- Timos Antonopoulos5 talks
- Zachary Kincaid9 talks
- Sharon Shoham13 talks
- Yizhou Zhang13 talks
- Loris D'Antoni17 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Counterexample-Guided Inference of Modular Specifications | PLDI 2026 | 2026-06-15 |
A counterexample-guided algorithm automatically infers missing callee specifications so a modular verifier can prove a client function, parameterized by a… | ||
| Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge | OOPSLA 2025 | 2025-10-16 |
Crepe is a zero-knowledge protocol that encodes full regular-expression equivalence proofs (PSPACE-complete) using a custom calculus based on coinduction and… | ||
| PyDex: Repairing Bugs in Introductory Python Assignments using LLMs | OOPSLA 2024 | 2024-10-20 |
PyDex is an APR pipeline that uses Codex with iterative prompts, parser diagnostics, test-case filtering, and peer-program few-shots to repair student Python… | ||
| Academic keynote : A Logician and Lawyer walk into a Classroom | ProLaLa 2023 | 2023-01-15 |
Yale runs a Fall 2022 course "Law, Security, and Logic" that teaches first-order encoding and automated reasoning on real statutes; students formalize 50 USC… | ||
| Checking Equivalence in a Non-strict Language | OOPSLA 2022 | 2022-12-05 |
Nebula implements a fully automated co-induction calculus and symbolic executor for equivalence checking in non-strict Haskell, proving 22 of 24 valid… | ||
| Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? | PLDI 2022 | 2022-06-13 |
Combines SyGuS for data-heavy fragments with temporal stream logic (TSL) reactive synthesis for control: SyGuS synthesizes pure functions (e.g., add1 then add1… | ||
| Static Detection of Silent Misconfigurations with Deep Interaction Analysis | OOPSLA 2021 | 2021-10-17 |
Builds a tool called ConfigX that statically links configuration entries to code via LLVM IR, applies customized data- and control-flow tainting to derive… | ||
| Avenir: Managing Data Plane Diversity with Control Plane Synthesis | NSDI ’21 | 2021-04-12 |
Avenir automatically synthesizes control-plane operations to make diverse data planes behave uniformly, proving soundness and completeness and implementing the… | ||
| Check before You Change: Preventing Correlated Failures in Service Updates | NSDI 2020 | 2020-02-25 |
CloudCanary audits service-update snapshots in real time by reusing previous audit caches and translating dependency graphs into SAT problems, using SnapAudit… | ||
| nothing matches | ||