Terence Rokop
Software Engineer at Heliax
Beaverton, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolTerence Rokop is a software engineer focused on formal verification in dependently-typed languages and blockchain implementation, based in Beaverton, Oregon. He brings nine years of professional experience building low-level infrastructure—filesystems, block storage, clustering, and kernel internals—while also working on protocol-level implementations such as Stellar Core. His open-source work spans fixing path-payment edge cases and database/schema improvements in stellar-core and adding non-reentrant timing and zone-reentry analysis to the Tracy profiler, showing strengths in both correctness and performance tooling. At Heliax he concentrates on formal verification for blockchain systems, and his prior roles include architecting Drobo’s BeyondRAID and filesystem work at Polyserve/HP/Sequent. He holds a BS in Mathematics and Physics from Carnegie Mellon and maintains a long-term hobby project designing a specification language to verify programming languages across logics.
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 (16)
gamedevelopment10
c-language10
performance-monitor10
performance-analysis10
game-development10
performanceanalysis10
profiler10
performancemonitor10
game-dev10
profiling10
standard-library10
c-programming-language10
testing10
xdr9
database-design8
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.