Samvid Dharanikota
Senior Compiler Engineer at Efficient Computer
California, United States
Summary
👤
Senior🎓
Top SchoolSamvid Dharanikota is a Senior Compiler Engineer with 10 years of experience building compilers, verification tools, and program-analysis frameworks that improve security and performance for real-world systems. Trained at Carnegie Mellon and with research tenures at Microsoft Research and CMU’s PASTA lab, he led development of Celestial—a verification tool that helped audit high-value Ethereum contracts—and later built fuzzing and verification tooling for concurrent Java and smart-contract analysis. His work spans formal methods (Dafny, model checking), compiler-driven query optimizations for big-data engines, and practical production tools that have reduced query times by up to 50% and verified contracts securing millions of dollars. Based in California, he combines deep programming-language theory with hands-on engineering at Efficient Computer to ship developer-facing compilers and security tooling. Notably, he bridges academia and industry, repeatedly turning peer-reviewed research into open-source tools used in practice.
10 years of coding experience
2 years of employment as a software developer
High School/Secondary Diplomas and Certificates, High School/Secondary Diplomas and Certificates at Abu Dhabi Indian School, Abu Dhabi, United Arab EmiratesMaster of Science - MS Information Networking, Master of Science - MS Information Networking at Carnegie Mellon UniversityBachelor’s Degree Computer Engineering, Bachelor’s Degree Computer Engineering at National Institute of Technology Karnataka
English, Telugu, Hindi, French
Github Skills (44)
crypto9
cryptography9
ethereum9
cryptocurrency9
dos8
campus8
portal8
jar7
intranet7
unhandled7
tcp7
dos-attack7
java-bytecode6
bitcoin6
verification6
Programming languages (9)
Github contributions (5)
samvid25/Captive-Portal-Auto-Login
Feb 2017 - Mar 2018
A small python script to automatically login to the captive portal in the NITK's intranet.
Contributions:13 commits, 4 pushes in 1 year 1 month
pythonpython-scriptnitkcaptive-portalportal
samvid25/samvid25.github.io
Mar 2017 - Aug 2024
My personal webpage
Contributions:5 PRs, 35 pushes, 5 branches in 7 years 6 months
reactnextjspersonal-webpagewebpage
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.