Welcome to my homepage.

Bio and Interests

I am a fourth-year graduate student at MIT advised by Martin Rinard (link). I am broadly interested in robust machine learning and program synthesis.

Previously, I was a Research Engineer at Reservoir Labs (link). My research involved building compiler backends for task-based parallelism and heterogenous runtimes.

I graduated summa cum laude from Yale University in 2016 with a B.S. in Mathematics and a combined B.S./M.S. in Computer Science advised by Mariana Raykova (link).


Our paper, "αNAS: Neural Architecture Search using Property Guided Synthesis," has been accepted to OOPSLA 2022! Read the preprint on arXiv here.

Brief Academic CV


Charles Jin, Melinda Sun, and Martin Rinard. "Provable Guarantees against Data Poisoning Using Self-Expansion and Compatibility." arXiv:2105.03692. 2021.

Charles Jin and Martin Rinard. "Manifold Regularization for Locally Stable Deep Neural Networks." arXiv:2003.04286. 2020.

Refereed Publications

(To appear.) Charles Jin, Phitchaya Mangpo Phothilimthana, and Sudip Roy, "αNAS: Neural Architecture Search using Property Guided Synthesis." Proceedings of the ACM on Programming Languages, Volume 6, Issue OOPSLA (OOPSLA 2022).

Charles Jin and Martin Rinard. "Towards Context-Agnostic Learning Using Synthetic Data." Advances in Neural Information Processing Systems 34 (NeurIPS 2021).

Limor Appelbaum, Alexandra Berg, Jose Cambronero, Thurston Dang, Charles Jin, Lori Zhang, Steven Kundrot, Matvey Palchuk, Laura Evans, Irving Kaplan, and Martin Rinard. "Development of a pancreatic cancer prediction model using a multinational medical records database." Journal of Clinical Oncology (JCO) 39:3_suppl, 394-394. 2021.

Muthu Baskaran, Charles Jin, Benoit Meister, and Jonathan Springer. "Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation." 2020 IEEE High Performance Extreme Computing Conference (HPEC20). Waltham, MA, USA. 2020.

Charles Jin, Muthu Baskaran, Benoit Meister, and Jonathan Springer. "Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer." 2019 IEEE High Performance Extreme Computing Conference (HPEC19). Waltham, MA, USA. 2019.

Charles Jin, Muthu Baskaran and Benoit Meister. "POSTER: Automatic Parallelization Targeting Asynchronous Task-Based Runtimes." 28th International Conference on Parallel Architectures and Compilation Techniques (PACT19). Seattle, WA, USA. 2019.

Charles Jin and Muthu Baskaran. "Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke." 2018 IEEE/ACM 4th International Workshop on Extreme Scale Programming Models and Middleware (ESPM2), held in conjunction with 2018 ACM/IEEE SuperComputing Conference (SC18). Dallas, TX, USA. 2018.

Invited Talks

"Automatic Code Generation to Dynamic Task-Based Runtimes: Recent Results." 10th Annual Concurrent Collections Workshop (CnC 2018).


Undergraduate Science and Quantitative Reasoning tutor. Yale University, 2015 - 2016.


Curriculum Vitae (link)

Github (link)

LinkedIn (link)