Jingyuan (Leo) Chen

Hi! I’m a 3rd-year CS PhD candidate at Princeton University advised by Professor Amit Levy. My research interests span a wide range of topics in Systems and Programming Languages. I am currently passionate about using the power of PL tools, such as program analysis and formal verification, to automate the process of reasoning about and solving problems in complex systems, including root-cause debugging, program optimization and performance modeling.

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

Publications

1. 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]


2. 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]


3. Towards Demystifying Cache Interference on NVIDIA GPUs.
   Tyler Yandrofski, Jingyuan Chen.
   14th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2021) Best Workshop Paper
   [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