Dongyun Jin
Applied Scientist at Amazon Web Services (AWS)
Sunnyvale, California, United States
Summary
👤
Senior🎓
Top SchoolDongyun Jin is an Applied Scientist in Sunnyvale with 14 years of experience building performance-optimized software and compiler/runtime integrations. He holds a Ph.D. from UIUC and has progressed from senior research engineer roles at Samsung to his current R&D role at AWS, blending deep research background with production-grade implementation skills. Dongyun's work includes low-level systems and monitoring toolchains—evidenced by contributions to the P programming language compiler backend and RVM/AspectJ monitoring generation—highlighting expertise in runtime verification and toolchain engineering. He is comfortable navigating both research prototypes and large-scale engineering constraints to deliver measurable performance improvements. Colleagues describe him as a pragmatic problem solver who surfaces non-obvious fixes (e.g., foreign function/type support and regression test restorations) that keep complex systems reliable.
14 years of coding experience
8 years of employment as a software developer
University of Illinois Urbana-ChampaignBachelor of Science (B.S.), Bachelor of Science (B.S.) at Korea Advanced Institute of Science and Technology
English, Korean
Github Skills (10)
javas10
compiler-design10
formal-verification10
model-checking10
java10
aspectj10
distributed-systems8
event-driven8
asynchronous8
state-machine8
Programming languages (3)
Github contributions (5)
p-org/P
Mar 2021 - Aug 2021
The P programming language.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:5 reviews, 11 commits, 15 PRs in 5 months
Contributions summary:Dongyun primarily focused on enhancing the P programming language's compiler backend, particularly its RVM (Runtime Verification Monitor) integration. They added functionality to generate AspectJ code for monitoring and introduced options to control the output directory for AspectJ files. Additionally, the user fixed regression tests related to RVM and made modifications to support foreign functions and types within the P2RVM framework. They also addressed build-related issues and debugged the MonitorOn feature.
model-checkingcoq-librarytlaformal-verificationcompiler
mylibero/cli
Mar 2016 - Jun 2016
Contributions:26 pushes, 2 branches in 3 months
dotnettestingnet-corecsharpcompiling
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.