Noam Zilberstein
Doctoral Researcher at Cornell University
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolNoam Zilberstein is a doctoral researcher in computer science at Cornell University who blends a deep theoretical focus on programming languages, logic, semantics, and formal methods with 12 years of industrial software engineering experience. Formerly an IC6 staff engineer at Facebook, he made substantial back-end contributions to high-profile open-source systems such as HHVM and fbthrift, improving compilation, type and information-flow analyses, and protocol implementations. He teaches and has lectured on advanced programming languages topics, and his work consistently applies mathematical abstraction to make software more verifiable and robust. Notably, his background includes production-strength Haskell engineering and low-level runtime/compiler work, reflecting rare fluency across proofs, language design, and large-scale systems.
11 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Cornell UniversityBachelor of Science in Engineering (BSE) summa cum laude Computer and Information Science, Bachelor of Science in Engineering (BSE) summa cum laude Computer and Information Science at University of Pennsylvania
English, Hebrew, French
Github Skills (18)
serializable10
serializer10
serialization10
deserialization10
type-system10
communication-protocol10
protocols10
thrift10
haskell10
attoparsec9
json9
test-automation9
compiler9
jsmodules8
generics8
Programming languages (5)
Github contributions (5)
facebook/hhvm
May 2020 - Jun 2021
A virtual machine for executing programs written in Hack.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:69 commits in 1 year 1 month
Contributions summary:Noam primarily contributed to the HHVM (Hack Virtual Machine) project by working on the compilation process. They focused on the implementation and enforcement of coding restrictions related to function argument literals and made changes to parsing, including the addition of tuples to allowed attribute argument expressions. The user also worked on type checking for reactivity and made changes to the information flow analysis for various constructs such as exceptions, and function pointers, and added analysis support for enums, shapes, and generators.
hacklangphpvirtual-machineprogramshhvm
facebook/fbthrift
Jun 2014 - Feb 2016
Facebook's branch of Apache Thrift, including a new C++ server.
Role in this project:Back-end Developer
Back-end DeveloperContributions:38 commits in 1 year 7 months
Contributions summary:Noam primarily refactored and enhanced the Haskell implementation of Apache Thrift protocols. They updated the code to utilize `MonadIO` for better integration with transformers and parsing libraries, along with improving the serialization and deserialization of floating-point numbers by handling endianness. Furthermore, they replaced hardcoded test values with QuickCheck properties and optimized Thrift protocols for improved performance. Additionally, the user implemented the TSimpleJSON protocol and fixed issues regarding JSON parsing and exception handling.
cppapache-thriftc-plus-plusapachefacebook
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.