Yanju Chen
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA2 editions2022–2025
on a stage with
all 34 in the filters
who talks about the same things
- Junrui Liu2 talks
- Yu Feng9 talks
- Yanning Chen2 talks
- Hongbo Wen2 talks
- Chijin Zhou5 talks
- Yu Jiang21 talks
| title | conference | date |
|---|---|---|
| Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits | OOPSLA 2025 | 2025-10-16 |
Tabby is a compiler that converts high-level ZK programs into optimized arithmetic circuits by lowering to a domain-specific IR, decomposing the dataflow into… | ||
| Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security | VehicleSec '25 | 2025-08-11 |
Framework infers hierarchical state machines from decoded CAN traces, compiles them to an FPGA checker and combines that with ECU fingerprinting for message… | ||
| Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs | PLDI 2023 | 2023-06-17 |
Tool QED2 performs semantic reasoning over Circom-generated polynomial equations by combining SMT solving with lightweight uniqueness inference in an… | ||
| Conflict-Driven Synthesis for Layout Engines | PLDI 2023 | 2023-06-17 |
Medea synthesizes incremental layout engines from an attribute grammar specification plus a traversal sketch, using symbolic execution to produce concrete… | ||
| Automated transpilation of imperative to functional code using neural-guided program synthe | OOPSLA 2022 | 2022-12-05 |
A tool called NGST2 implements a neural-guided synthesizer that converts imperative Java and Python snippets into Stream and functools pipelines by assuming… | ||
| Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring | OOPSLA 2022 | 2022-12-05 |
Tool called Solidare uses a small DSL plus optimal program synthesis (sketch generation, sketch completion, equivalence checking) and a static gas-cost proxy… | ||
| nothing matches | ||