Sridhar Gopinath is an ML compiler engineer with 11 years of experience building and verifying high-performance compilers and program analyses for industry leaders like Meta, Apple, and Microsoft. He has a strong track record in formally finding and fixing bugs—from uncovering critical defects in Apple’s GPU GlobalISel to detecting dozens of Windows 10 driver bugs—and in squeezing performance from constrained targets, exemplified by SeeDot which compiles ML models to C with up to 12x speedups. Currently working on the Triton compiler for Meta’s MTIA, he blends formal verification, LLVM internals, and practical optimization techniques to improve reliability and throughput. His background includes PhD-level research on program tracing and compiler transformations, and an ability to turn formal methods into deployed tools that impact shipping OS and device software. An interesting detail: several of his research tools and techniques have been published and integrated into production toolchains (Windows Driver Kit, iOS/macOS releases), demonstrating rare end-to-end influence from paper to product.
11 years of coding experience
6 years of employment as a software developer
M.Sc. (Engg.) Computer Science and Automation, M.Sc. (Engg.) Computer Science and Automation at Indian Institute of Science (IISc)
Master of Science - MS Computer Science, Master of Science - MS Computer Science at The University of Texas at Austin
Bachelor's Degree Computer Science and Engineering, Bachelor's Degree Computer Science and Engineering at Sri Jayachamarajendra College of Engineering
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.