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+ML. I'm generally interested in program analysis, verification, synthesis and debugging. I'm currently hacking on the following topics:

• Automated In-production Debugging
• Performance Interfaces with Abstract Simulationn
• Agents for Automated Debugging and Testing

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

Publications

1. End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors.
   Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy
   To appear in ACSAC '25: The 41st Annual Computer Security Applications Conference, December 2025
   
2. 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]
3. 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]
4. 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