Yu Feng
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA2 editions2022–2025
all 4 in the filters
on a stage with
all 25 in the filters
who talks about the same things
- Yanju Chen6 talks
- Junrui Liu2 talks
- Yanning Chen2 talks
- Isil Dillig15 talks
- Ranjit Jhala19 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… | ||
| 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… | ||
| SolType: Refinement Types for Arithmetic Overflow in Solidity | SPLASH 2022 | 2022-12-05 |
SolType adds refinement types to Solidity and Solid implements it, inferring contract invariants to prove arithmetic overflow absence rather than paying… | ||
| 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… | ||
| SolType: Refinement Types for Arithmetic Overflow in Solidity | POPL 2022 | 2022-01-16 |
SolType is a refinement-type system for Solidity with an implementation called Solid that translates contracts to a miniSol SSA IR, encodes overflow checks as… | ||
| nothing matches | ||