Previously, my research was at the intersection of programming language, software engineering, and machine learning. Specifically, I focused on AI-assisted code generation and testing/optimization of deep learning compilers.
But! (Reluctant at first, but interested in the end.) My supervisor strongly advised me to do something more in-depth or more system-level instead of only scratching on the surface. And now, my research is at the intersection of programming language and cloud computing systems. Specifically, I focus on bringing the semantics embedded in the programming language (e.g., Rust, Go, or domain-specific languages) down to the system, reducing redundant synchronizations (e.g., communications to ensure cache coherence). If you are also interested in those topics and want to work something out together, please do not hesitate to contact me.