Xiaodong Jia
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Gang Tan2×
- Andre Kornellonce
- Ashish Kumaronce
all 6 in the filters
who talks about the same things
- Gang Tan7 talks
- Zhe Zhou13 talks
- Ruyi Ji8 talks
- Yingfei Xiong9 talks
- Yizhou Zhang13 talks
- Meng Wang16 talks
| title | conference | date |
|---|---|---|
| V-Star: Learning Visibly Pushdown Grammars from Program Inputs | PLDI 2024 | 2024-06-24 |
A tool called V-Star learns visibly pushdown grammars from sample inputs without prior knowledge of call/return tokens by detecting nesting patterns, inferring… | ||
| Semantics for Variational Quantum Programming | POPL 2022 | 2022-01-16 |
A type-safe language combines a higher-order probabilistic classical core (PFPC) with a first-order linear quantum core and a new first-order quantum-function… | ||
| A Derivative-based Parser Generator for Visibly Pushdown Grammars | OOPSLA 2021 | 2021-10-17 |
A derivative-based parser generator converts visibly pushdown grammars to a deterministic PDA and produces a shared parse forest in linear time, with a… | ||
| nothing matches | ||