Hope you are doing great! I am a second-year PhD student at MIT CSAIL, advised by Prof. Martin Rinard. I received my bachelor’s in CS from the University of Illinois Urbana-Champaign in 2023. Please send me an email if you’d like to talk about anything at all! My CV and contact information are available below.
Email: remyang@csail.mit.edu
GitHub: remyang55
My CV
News
[April 2025] New paper on evaluating the generalization capabilities of large language models on code reasoning!
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
Experience
Connected Systems Lab
(Spring 2022 - Spring 2023) Worked with Professor Deepak Vasisht and Jay Shenoy on wireless and satellite systems research.
Approximate and Resilient Computing (ARC) Group &
Formally Certified Automation and Learning (FOCAL) Lab
(Spring 2020 - Spring 2023) Worked with Professor Sasa Misailovic, Professor Gagandeep Singh, and Jacob Laurel on programming languages and machine learning research.
Psyonic
(Fall 2020) Part-time internship: developed mobile application that interfaces with Psyonic’s bionic arm in React Native and deployed app on Android and iOS.
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.