Chris Casinghino
Compiler Engineer at Jane Street
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolChris Casinghino is a compiler engineer with 13 years of experience combining deep research and hands-on systems work, currently building compilers at Jane Street in New York. He holds a PhD in Computer Science and previously led Draper’s Formal Methods group, directing projects in verified tooling, static binary analysis, and security-focused architecture for government programs. An active contributor to the core OCaml compiler, his work has fixed subtle typing bugs, improved attribute handling, and added tests for tricky compilation scenarios—evidence of a meticulous approach to language implementation. Chris blends academic rigor with practical delivery, moving between prototype research and production-quality compiler fixes, and he’s known for tackling latent correctness issues that surface only in complex type interactions.
13 years of coding experience
Bachelor of Science (B.S.), Mathematics and Computer Science, Bachelor of Science (B.S.), Mathematics and Computer Science at Carnegie Mellon UniversityDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Pennsylvania
Stackoverflow
66reputation
731reached
1answer
0questions
Github Skills (7)
functional-programming10
ocaml10
compiler-development10
testing8
proof6
compiler-errors6
coq6
Programming languages (8)
Github contributions (5)
ocaml/ocaml
Sep 2022 - Dec 2022
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:50 reviews, 7 commits, 18 PRs in 3 months
Contributions summary:Chris primarily focused on fixing bugs and improving the OCaml compiler. Their contributions include resolving an issue with deprecated mutable fields and fixing a bug in Mtype.strengthen_lazy, which caused spurious typing errors. Furthermore, the user worked on enhancing the compiler's handling of attributes, particularly concerning lambdas with locally abstract types, and also added tests for various compilation scenarios.
functional-languagecompilersruntime-systemapllwt
ccasin/flambda-backend
Aug 2022 - Mar 2025
The Flambda backend project for OCaml
Contributions:4 reviews, 2 PRs, 466 pushes in 2 years 8 months
beancountocamlduneopamzeal
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.