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 tools such as formal methods and machine learning. I'm generally interested in program analysis, verification, synthesis and debugging. I'm currently hacking on the following topics:

• Automated In-production Debugging
• Automated Performance Bottleneck Analysis
• Quantitative Workload-Driven Performance Verification
• Automated Semantic-Preserving Transpilation

Shoot me an email if you are interested in working together, especially if you are an undergrad!

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