Xiaodong Jia1 is a Ph.D. candidate in the Computer Science and Engineering (CSE) department at the Pennsylvania State University. His research interests encompass formal verification, compilation, automata theory, grammar inference, and machine learning. He is most skilled in: C/C++, Python, PyTorch, Coq, OCaml, and SystemVerilog.

Publications

2024 PLDI Xiaodong Jia and Gang Tan. V-Star: Learning Visibly Pushdown Grammars from Program Inputs. PDF
2023 TOPLAS Xiaodong Jia, Ashish Kumar, and Gang Tan. A Derivative-Based Parser Generator for Visibly Pushdown Grammars. PDF
2021 OOPSLA Xiaodong Jia, Ashish Kumar, and Gang Tan. A derivative-based parser generator for visibly pushdown grammars. PDF
2020 Comput Optim Appl Juncai He, Xiaodong Jia, Jinchao Xu, Lian Zhang, and Liang Zhao. Make ℓ1 regularization effective in training sparse CNN. PDF

Talks

  • May 2024 - New Jersey Programming Languages and Systems Seminar (NJPLS). V-Star: Learning Visibly Pushdown Grammars from Program Inputs.

  • May 2022 - New Jersey Programming Languages and Systems Seminar (NJPLS). A derivative-based parser generator for visibly pushdown grammars.

PC Members

  • LangSec 2023 and 2024

  1. “Xiaodong” can be pronounced as “shyow-dong”, and “Jia” can be approximated as “Jyah” or “Jee-ah”. ↩