About

Sridhar Gopinath is an accomplished Engineer at Apple with a passion for program verification and compilers. He is a graduate of UT Austin, where he obtained a Master of Science in Computer Science and a Doctor of Philosophy in Computer Science. With over 4 years of relevant experience, Sridhar has honed his skills in improving the performance and reliability of products that have a real-world impact. Currently, Sridhar works as a GPU Compiler Engineer at Apple, where he has been instrumental in improving the reliability of Apple's GPU compiler. Prior to joining Apple, he was a Graduate Teaching Assistant at UT Austin, where he gained experience in teaching and research. Sridhar's past experience includes working as a GPU Compiler Intern at Apple, where he worked on a project to verify the GPU instruction selector. He developed a tool to automatically find defects in GlobalISel (Apple's GPU instruction selector) using the Alive formal verifier. He also implemented type inference, SSA representation, and register aliasing for the machine IR in LLVM, which led to the discovery of 3 critical defects in GlobalISel deployed in the latest release of iOS and macOS. Sridhar's education history includes a Master of Science and a Doctor of Philosophy in Computer Science from UT Austin, a Master of Science in Computer Science and Automation from IISC, and a Bachelor's Degree in Computer Science and Engineering from Vishveshwaraiah Technological University. Sridhar's technical skills include research, machine learning, and iOS development. He is a highly motivated and accomplished individual who is passionate about using his skills to make a real-world impact. To learn more about Sridhar and his work, visit www.SridharGopinath.in.