Taolue Chen
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL2 editions2022–2024
on a stage with
- Alejandro Flores-Lamasonce
- Anthony W. Linonce
- Baoding Heonce
all 17 in the filters
who talks about the same things
- Zhilin Wu3 talks
- Anthony W. Lin8 talks
- Matthew Hague3 talks
- Yu-Fang Chen10 talks
- Ondřej Lengál8 talks
- Lukáš Holík9 talks
| title | conference | date |
|---|---|---|
| Neuro-Symbolic Proof Generation for Scaling Systems Software Verification | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Neuro-symbolic proof search implements a best-first tree search that repeatedly queries a fine-tuned LLM for single-step tactics, executes each step in a new… | ||
| EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers ... | POPL 2024 | 2024-01-14 |
A domain-specific language EasyBC encodes block ciphers and automatically generates MILP models to bound the maximum expected differential characteristic… | ||
| Solving String Constraints with Regex-Dependent Functions through Transducers wi | POPL 2022 | 2022-01-16 |
Introduces a new automata model, prioritized streaming string transducers, that encodes JavaScript-style regex features (greedy/lazy star, capturing groups… | ||
| nothing matches | ||