Hope you are doing great! I am a PhD student at MIT CSAIL, advised by Prof. Martin Rinard. I am currently on academic leave at Standard Kernel Co. in Palo Alto, CA working with an awesome team on automated generation of high-performance CUDA kernels.
Previously, I received my bachelor’s in Computer Science from the University of Illinois Urbana-Champaign in May 2023. Please send me an email if you’d like to chat! My contact information and CV are below.
Work Email: rem@standardkernel.com
Academic Email: remyang@csail.mit.edu
My CV
Research Papers
Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
Rem Yang, Julian Dai, Nikos Vasilakis, Martin Rinard
arXiv:2504.05518 2025.
Full Text • arXiv
Self-Supervised Learning Across the Spectrum
Jayanth Shenoy, Xingjian Davis Zhang, Bill Tao, Shlok Mehrotra, Rem Yang, Han Zhao, Deepak Vasisht
Remote Sensing 2024.
Full Text • arXiv
Provable Defense Against Geometric Transformations
Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh
International Conference on Learning Representations (ICLR) 2023, notable top 25%.
Full Text • OpenReview • Code • Slides • Poster
A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic
ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) 2022.
Full Text • ACM DL • Code
A Dual Number Abstraction for Static Analysis of Clarke Jacobians
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2022.
Full Text • ACM DL • Code
Statheros: Compiler for Efficient Low-Precision Probabilistic Programming
Jacob Laurel, Rem Yang, Atharva Sehgal, Shubham Ugare, Sasa Misailovic
ACM/IEEE Design Automation Conference (DAC) 2021.
Full Text • IEEE Xplore • Code
Teaching
CS 225 Data Structures
(Fall 2020 & Spring 2021) Helped students with machine problems and lab assignments in weekly office hours and lab sections.
CS 126 Software Design Studio
(Spring 2020) Facilitated weekly 2-hour code reviews with 5 students, which consisted of project presentations and discussions of program design, style, and testing; graded students’ projects.