Justin Slepak
Research Scientist at Meta
Somerville, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolJustin Slepak is a research scientist at Meta with 15 years of experience bridging programming languages, compilers, and security-oriented static analysis. He specializes in building information-flow–based tooling to prevent data misuse and has deep expertise in language implementation, type inference, and compiler design from his long PhD and research background. His academic work includes developing an APL-like, data-parallel language with implicit lifting and compiler toolchains, and he has practical GPU compiler experience from an NVIDIA internship (source code available at remorac). Based in Somerville, MA, he pairs rigorous formal methods with pragmatic systems engineering to turn language semantics into production-ready tools. Colleagues value his ability to navigate both teaching and research roles, having led grading, curriculum development, and mentoring during his graduate career. He brings a rare combination of theoretical depth and hands-on compiler engineering aimed at making data protection usable and enforceable.
15 years of coding experience
7 years of employment as a software developer
MS Computer Science, MS Computer Science at Michigan Technological UniversityPhD Computer Science, PhD Computer Science at Northeastern University
Github Skills (34)
stack-based10
racket10
polyglot10
implicit10
code-golf10
scheme10
lifting10
mojo10
programming-language9
language-design9
compiler9
interpreter7
ocaml7
abstract-interpretation7
program-analysis6
Programming languages (4)
Github contributions (5)
jrslepak/racket
May 2014 - Dec 2016
Contributions:2 commits, 3 pushes, 1 branch in 2 years 7 months
racket
jrslepak/Revised-Remora
Jun 2017 - Apr 2020
Contributions:111 commits in 2 years 9 months
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.