Sam Arch
Software Developer at Intel Corporation
Jersey City, New Jersey, United States
Summary
🤩
RockstarSam Arch is a software developer with eight years of experience, currently building systems at Intel from Jersey City, New Jersey. He brings deep backend expertise, evidenced by contributions to the souffle-lang/souffle Datalog compiler where he improved semantic checking, type validation, RAM transformations, and indexing to strengthen compiler correctness and performance. Comfortable working on low-level program analysis and optimization, he blends pragmatic engineering with an eye for formal correctness. Sam’s background suggests a talent for making complex compiler internals more robust and efficient—skills that translate to large-scale systems engineering and performance-sensitive applications.
8 years of coding experience
Github Skills (11)
static-code-analysis10
translator10
translators10
datalog10
logic-programming10
cprogramming-language9
c-language9
algorithms8
data-structures8
algorithm8
data-structure8
Programming languages (3)
Github contributions (5)
souffle-lang/souffle
Apr 2020 - Jun 2022
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:16 reviews, 42 commits, 39 PRs in 2 years 2 months
Contributions summary:Sam contributed to the `souffle-lang/souffle` project, a Datalog variant, by modifying core files related to semantic checking and RAM transformations. Their commits involved enhancements to the AstSemanticChecker, including checks for type correctness and argument validation. They also worked on optimizing RAM transforms and making index improvements within the project. The user's modifications suggest a focus on improving the compiler's internal logic and its ability to optimize generated code.
logic-programminganalysesc-plus-plusc-programlogic
SamArch27/souffle
Mar 2020 - Jul 2022
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Contributions:6 PRs, 389 pushes, 17 branches in 2 years 3 months
designerscpplogic-programmingclausesanalyses
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.