James Lamar
Member Technical Staff at Galois, Inc.
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolJames Lamar is a Member Technical Staff at Galois with 13 years of experience building distributed systems, APIs, and developer-focused tooling from Portland, Oregon. He combines deep practical experience across languages (Java, Python, C#, Haskell) with a particular emphasis on API design, concurrency, and storage systems. James has implemented S3/OpenStack-compatible APIs, Hadoop and Cinder drivers, NBD block device connectors, and kept production distributed filesystems and NFS servers healthy. An active open-source contributor to prominent Haskell projects like LiquidHaskell, Yesod, and aeson, he has worked on refinement-type verification, authentication error handling, and UTF parsing optimizations. Colleagues rely on him to turn complex requirements into robust, testable interfaces and to treat software as a strategic asset rather than just code. He’s equally comfortable debugging subtle language-level issues and architecting external-facing data APIs that scale.
13 years of coding experience
8 years of employment as a software developer
BS, Computer Science, BS, Computer Science at Portland State University
Github Skills (17)
json10
refinement-types10
user-authentication10
yesod10
authentication10
verification10
bytestring10
web-framework10
functional-programming10
haskell10
smt10
lib9
use-form8
performance-optimization8
conduit8
Programming languages (13)
Github contributions (5)
yesodweb/yesod
Dec 2013 - Jun 2019
A RESTful Haskell web framework built on WAI.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:18 commits, 5 PRs, 20 comments in 5 years 6 months
Contributions summary:James contributed to the Yesod web framework, primarily focusing on the `yesod-auth` package. Their work involved adding error handling to the authentication typeclass, modifying plugins, and renaming a function related to error handling. They also addressed a bug in form handling related to empty forms and updated the conduit version dependency. Additional contributions involved enhancing route parsing and documentation.
apirestfulhaskellframeworkwebframework
ucsd-progsys/liquidhaskell
Nov 2018 - Jul 2021
Liquid Types For Haskell
Role in this project:Back-end Developer & Verification Engineer
Back-end Developer & Verification EngineerContributions:45 commits, 2 PRs, 12 pushes in 2 years 8 months
Contributions summary:James primarily contributed to the `liquidhaskell` repository, focusing on the desugaring and verification of code related to refinement types and class examples. Their work included implementing and refining examples of classes with refinement types, specifically focusing on the `Semigroup` class. The contributions involved modifying Haskell code, including examples that were designed to fail, and debugging these examples. They also worked on the core Liquid Haskell codebase, which involved changes to the parsing and processing of specifications.
smthaskellliquidrefinement-typesverification
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.