Kelly Shiptoski
Senior Solutions Architect at PearlX
Philadelphia, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolKelly Shiptoski is a Senior Solutions Architect and software engineer with a decade of experience building secure, production-grade backend systems and research-grade distributed tooling. With a PhD from the University of Pennsylvania, Kelly has a rare blend of systems research and applied security: designing reproducible Linux container systems and ProcessCache in academia, then shipping zero-trust cryptographic key management and Nitro Enclave–backed secure computation in industry. They’ve contributed to Differential Datalog’s core as a backend developer, refactoring data ingestion and accumulator logic for incremental computation frameworks. Comfortable across Rust, distributed systems, and cryptographic engineering, Kelly also authors developer-facing SDKs and CI processes that make security upgrades repeatable and integrable for customers. Based in Philadelphia, they combine rigorous testing and reproducibility practices from research with pragmatic product delivery in high-assurance environments.
10 years of coding experience
10 years of employment as a software developer
Bachelor of Science in Computer Science Bachelor of Arts in Mathematics, Bachelor of Science in Computer Science Bachelor of Arts in Mathematics at Drexel UniversityDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Pennsylvania
Github Skills (10)
data-structures10
increment10
dd10
ddl10
datalog10
rust10
incremental-processing10
data-structure10
programming-language9
algorithms8
Programming languages (3)
Github contributions (5)
vmware-archive/differential-datalog
Jun 2020 - Aug 2020
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:23 commits, 2 PRs, 7 comments in 2 months
Contributions summary:Kelly primarily contributed to implementing and refactoring core functionalities within the DDlog project. Their work included adding and removing sources and sinks, crucial for data ingestion and output. They refactored internal data structures, such as the Realization sources structure and implementing the clear method for accumulators to align with the project’s incremental computation focus. The commits demonstrate a focus on the project's core logic related to data processing and distribution.
changescomputationinput-outputincrementalrust
upenn-acg/ProcessCache
May 2022 - Aug 2024
ProcessCache
Contributions:3 reviews, 17 PRs, 94 pushes in 2 years 3 months
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.