Yongwei Yuan
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
all 4 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Eric Griffis2 talks
- Yingfei Xiong9 talks
- Cyrus Omar21 talks
- Zhenjiang Hu15 talks
- Zhe Zhou13 talks
- Ruyi Ji8 talks
| title | conference | date |
|---|---|---|
| From Traces to Program Incorrectness: A Type-Theoretic Approach | TPSA 2025 | 2025-01-19 |
Claims a type-theoretic, underapproximate correctness method that treats library interactions as traces encoded with symbolic regular expressions and reasoned… | ||
| Derivative-Guided Symbolic Execution | POPL 2025 | 2025-01-19 |
Framework builds a symbolic execution for functional code that calls opaque, effectful libraries, encoding LTLf specs as symbolic finite automata and using… | ||
| Consolidating Smart Contracts with Behavioral Contracts | PLDI 2024 | 2024-06-24 |
ConSol extends Solidity with a transpiler that attaches behavioral contracts to first-class addresses by expanding 160-bit addresses into a guarded address… | ||
| Live Pattern Matching with Typed Holes | OOPSLA 2023 | 2023-10-23 |
Supports exhaustiveness and redundancy checking for patterns that contain holes, maps those checks to first-order constraint entailments, and proves decidable… | ||
| Trace-Guided Inductive Synthesis of Recursive Functional Programs | PLDI 2023 | 2023-06-17 |
A method augments program search with explicit recursion traces and a new version space algebra that represents pairs of traces and programs under angelic… | ||
| nothing matches | ||