Remy Goldschmidt
Software Engineer at MatX
Mountain View, California, United States
Summary
🤩
Rockstar🎓
Top SchoolRemy Goldschmidt is a compiler-focused software engineer with 15 years of experience building low-level systems, DSLs, and tooling for hardware synthesis and machine-code generation. He has worked on high-impact projects at Google (including core contributions to the XLS HLS compiler such as a DSLX REPL, IR and array-slicing improvements, graph-coloring scheduling, and token dependency analysis) and now serves as a founding engineer at MatX. His background spans languages and domains—from Haskell networking and distributed build work to C++ infrastructure for autonomous vehicles and OCaml targets for executable semantics—bringing a research-minded, systems-level approach to production problems. Based in Mountain View, he combines compiler craftsmanship with interests in hardware design, operations research, and computational physics, often leveraging mathematical and simulation techniques that aren’t obvious from typical engineering resumes.
15 years of coding experience
5 years of employment as a software developer
University of Illinois Urbana-Champaign
Stackoverflow
554reputation
10kreached
3answers
9questions
Github Skills (16)
algorithm10
data-structures10
algorithms10
compiler-design10
intermediate-language10
intermediate-code10
data-structure10
system-design9
cprogramming-language9
c-language9
floating-point6
functional-programming6
agda6
ansi-escape6
computer-science6
Programming languages (20)
Github contributions (5)
google/xls
Mar 2021 - Jan 2023
XLS: Accelerated HW Synthesis
Role in this project:
Back-end Developer & Systems Engineer
Back-end Developer & Systems EngineerContributions:8 reviews, 110 commits, 69 comments in 1 year 10 months
Contributions summary:Remy primarily contributed to the core functionality of the XLS compiler, as demonstrated by the addition of a REPL to explore DSLX files. Their work also encompassed improvements to the IR, particularly with array slicing, and additions to the data structures, showing an understanding of the lower-level systems involved in compiling and optimizing code. In addition to the core compilation logic, they implemented a graph-coloring algorithm for efficient scheduling and added token dependency analysis.
high-level-synthesisxlsacceleratedsynthesiscompiler
taktoa/control-theory
May 2011 - Aug 2015
Contributions:40 commits, 1 push in 4 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.