Hope you are doing great! I am a first-year PhD student at MIT EECS in 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@mit.edu
GitHub: remyang55
My CV
News
[09.2023] Started my PhD at MIT with Professor Martin Rinard and his team
[05.2023] Graduated from UIUC with a BS in Computer Science
[01.2023] Our paper has been accepted at ICLR 2023 (notable top 25%)
[12.2022] Received an Honorable Mention for the CRA Outstanding Undergraduate Researcher Award
Publications
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.