Yian S
Research Assistant at Northwestern University
Evanston, Illinois, United States
Summary
👤
Senior🎓
Top SchoolYian S is a Research Assistant and PhD candidate at Northwestern University with 8 years of industry and research experience focused on compiler design, parallelism, and heterogeneous systems. He builds compilers and runtime techniques that let developers write high-level, architecture-agnostic parallel programs while extracting strong performance, and has practical experience applying MLIR and JIT compilation from internships at NVIDIA. Prior work as a Software Development Engineer at Amazon sharpened his production engineering skills, and he has contributed to notable open-source tooling such as the SVF static value-flow analysis framework, improving mod-ref precision and LLVM integration. Based in Evanston, he blends rigorous academic research with hands-on system development and a knack for field-sensitive program analysis. Outside of tech he plays soccer and performs violin in local symphonies, reflecting a collaborative and performance-oriented mindset.
8 years of coding experience
2 years of employment as a software developer
Bachelor or Engineering, Bachelor or Engineering at Northeastern University (CN)Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Northwestern UniversitySenior Year Exchange Program, Senior Year Exchange Program at University of Illinois at Chicago
English, Chinese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
c-language10
static-analysis10
cprogramming-language10
llvm10
data-structure9
code-analysis9
datastructures-algorithms9
algorithm9
data-structures9
algorithms9
memory-management8
Programming languages (6)
Github contributions (5)
SVF-tools/SVF
Oct 2019 - Apr 2020
Static Value-Flow Analysis Framework for Source Code
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits, 14 PRs, 44 comments in 5 months
Contributions summary:Yian implemented and refined static value-flow analysis features, focusing on ModRefInfo APIs for determining callsite side effects and reachability. They added support for constructing an SVFModule from an LLVM Module, setting the module identifier, and setting mod ref sets for external callsites. Furthermore, the user improved the accuracy of ModRefInfo calculations by incorporating field-sensitivity and refining the getRefInfoForCall function.
static-analyzerstatic-value-flowpointer-analysisanalysis-frameworkabstract-interpretation
yiansu/SVF
Oct 2019 - May 2024
Static Value-Flow Analysis for C and C++ Programs
Contributions:21 pushes, 16 branches in 4 years 7 months
cppstatic-value-flowc-programsprogramsabstract-interpretation
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.