Jed Liu
Software Engineer at Cornell Lab of Ornithology
United States
Summary
👤
Senior🎓
Top SchoolJed Liu is a seasoned software engineer with 25 years of experience building secure distributed systems, compilers, and programming languages, currently contributing to the eBird and Merlin back end at the Cornell Lab of Ornithology. He has led compiler security and tooling efforts at Intel’s Barefoot division, co-designed parts of the P4 language toolchain, and made tangible open-source contributions to the widely used p4c reference compiler—improving annotation parsing, JSON generation, and build-system robustness. A Ph.D. graduate from Cornell with deep roots in information-flow security and mechanical theorem proofs, Jed blends academic rigor with production engineering, having also helped found and scale early-stage startup Akita Software and served as a staff engineer at Postman. Known for turning formal methods into practical developer tools, he pairs systems-level thinking with hands-on compiler internals and distributed runtime experience.
26 years of coding experience
22 years of employment as a software developer
Upper Canada CollegeDoctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Cornell University
Chinese, English, Chinese
Github Skills (9)
p4v10
compiler-design10
c-language10
p4a10
cprogramming-language10
p4lang10
p4api10
cmake9
python8
Programming languages (16)
Github contributions (5)
p4lang/p4c
Jan 2018 - Nov 2020
P4_16 reference compiler
Role in this project:
Back-end Developer
Back-end DeveloperContributions:23 commits, 39 PRs, 84 pushes in 2 years 11 months
Contributions summary:Jed primarily contributed to the compiler's internal workings, specifically focusing on refactoring and implementing new features. Their work involved modifying the JSON generation process within the compiler and reverting changes related to file path sanitization in the CMake build system. They also added support for free-form annotations and improved annotation parsing. Additionally, the user addressed an issue related to systems defaulting to python3 and implemented several fixes and improvements to annotation parsing.
compilerp4p4cp4languagep4lang
apl-cornell/jif
Mar 2006 - Oct 2017
Java-like Language with Static Information Flow Types
Contributions:290 commits, 2 comments, 2 issues in 11 years 9 months
java
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.