Terence Rokop
Software Engineer at Heliax
Beaverton, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolTerence Rokop is a software engineer with 10+ years building robust systems from kernel internals and clustered filesystems to blockchain protocol implementations and formal verification tooling. Currently at Heliax, he focuses on dependently-typed formal verification and blockchain implementation, bringing a rare blend of low-level storage and distributed-systems experience to language and protocol design. His background includes architecting BeyondRAID storage at Drobo and contributing core fixes and path-payment improvements to the widely used Stellar Core. Terence also contributes performance and profiling improvements—such as non-reentrant time analysis—to open-source tooling like the Tracy frame profiler, reflecting a strong attention to observability and performance. He aims to design software that is correct, efficient, and broadly useful to other programmers, and has pursued a long-term hobby project: a specification language for formally verifying programming languages across logics. Based in Beaverton, Oregon, he pairs rigorous mathematical training from Carnegie Mellon with practical, systems-level engineering.
10 years of coding experience
22 years of employment as a software developer
BS, Mathematics and Physics, BS, Mathematics and Physics at Carnegie Mellon University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (13)
performance-monitor10
c-language10
performance-analysis10
game-development10
cprogramming-language10
profiler10
game-dev10
profiling10
standard-library10
testing10
xdr9
database-design8
cryptography7
Programming languages (12)
Github contributions (5)
stellar/stellar-core
Jun 2020 - Apr 2021
Reference implementation for the peer-to-peer agent that manages the Stellar network.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:346 reviews, 119 commits, 43 PRs in 9 months
Contributions summary:Terence focused on fixing and extending the path payment functionality within the Stellar Core. Their contributions involved refactoring and expanding existing test cases to address rounding errors and edge cases related to offer usage in path payments. The user implemented modifications related to creating and processing claimable balances and sponsorships. Further improvements include making the database schema more flexible with opaque extensions and implementing debugging features like best offer testing.
agentconsensusp2pblockchainstellar-network
wolfpld/tracy
Jun 2021 - Jun 2021
Frame profiler
Role in this project:Back-end Developer & Performance Engineer
Back-end Developer & Performance EngineerContributions:1 review, 14 commits, 2 PRs in 21 days
Contributions summary:Terence focused on improving the Tracy profiler's core functionality by introducing new features for analyzing zone events. They implemented methods to determine zone re-entries and added a map to track the number of appearances of zones on thread stacks. Further, the user extended the statistics view with an option for "Non-reentrant time" and refactored the accumulation mode for performance analysis. This involved changes to the server-side code, specifically in `TracyView.cpp`, `TracyEvent.hpp`, and `TracyWorker.cpp`, indicating an understanding of the profiler's internal workings.
profilingperformance-analysisframegamedevgamedev-library
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.