Jingyuan (Leo) Chen

Hi! I’m a CS PhD candidate at Princeton University advised by Professor Amit Levy. My research focuses on making LLMs and AI agents more reliable and efficient for code generation and software engineering, drawing on programming languages and systems techniques. I’m particularly interested in constrained decoding, AI coding agents, and efficient runtimes for LLM extensions and agents. I’m currently exploring:

• Efficient Semantic Constrained Decoding
• AI-Assisted Debugging and Testing

Find me at leocjy105@gmail.com , or My Github! Here is my CV.

Preprints

1. Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos.
   Jingyuan Chen, Lei Zhang, Leon Schuermann, Gongqi Huang, Ravi Netravali, Amit Levy
   arXiv preprint, 2026
   [paper]

Publications

1. Two Parents Are Better Than One: Enhancing Critical Path Analysis for Distributed Tracing with CPA2.
   Julia Cusatis, Jingyuan Chen, Timothy Zhu
   SoCC '26: ACM Symposium on Cloud Computing, 2026
   
2. Progress-Guided Test Generation for C-to-Rust Transpilation: Effectiveness and Limitations.
   Jingyuan Chen, Amit Levy
   IEEE Security & Privacy Magazine, Special Issue on Language Translation for Security, 2026
   [paper]
3. End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors.
   Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy
   ACSAC '25: The 41st Annual Computer Security Applications Conference, December 2025
   [paper]
4. Making Powerful Enemies on NVIDIA GPUs.
   Tyler Yandrofski, Jingyuan Chen, Nathan Otterness, James H Anderson, F Donelson Smith.
   2022 IEEE Real-Time Systems Symposium (RTSS 2022)
   [paper]
5. Minimizing DAG Utilization by Exploiting SMT.
   Sims Hill Osborne, Joshua Bakita, Jingyuan Chen, Tyler Yandrofski, James H. Anderson.
   2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS 2022)
   [paper]
6. Simultaneous Multithreading in Mixed-Criticality Real-Time Systems.
   Joshua Bakita, Shareef Ahmed, Sims Hill Osborne, Stephen Tang, Jingyuan Chen, F. Donelson Smith, James H. Anderson.
   2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS 2021)
   [paper] [artifact]

Motto

The proper function of man is to live, not to exist. I shall not waste my days in trying to prolong them. I shall use my time.

—Jack London