Jingyuan (Leo) Chen

Hi! I’m a CS PhD candidate at Princeton University advised by Professor Amit Levy. I research about automating system problem solving with PL+AI. I'm generally interested in program analysis, verification, testing, debugging and agents for system engineering. I'm currently hacking on the following topics:

• Automated In-production Debugging
• Performance Interfaces with Abstract Simulation
• Agents for Automated 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. 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]
2. 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]
3. 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]
4. 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]
5. 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