Carnegie Mellon University (2015 Summer)
Research Intern supervised by Dr. Jonathan Aldrich
Project: Module System for Architectural Control
- Designed a module system based on Wyvern Programming Language to enforce the
architectural behavior by integrating the descriptions directly into the program
- Impelmented parser, translater and type checker to support the module system
- Presented poster in 2015 summer intern summit
- Related Skills: Programming Languages, Software Engineering, Java
Peking University (2014-2016)
Research Assistant at Programming Languages Lab, supervised by Dr. Yingfei Xiong
Project: Dynamic Mutation Analysis
- Developed a novel model of mutation analysis that analyzed mutants during the
execution of program and forked the execution only when a mutant led to a new system
state
- Implemented the instrumentation to support the dynamic mutation analysis on top
of LLVM IR layer
- Presented in Peking Universities undergraduate research summit
- Related Skills: Software Testing, Software Engineering, Dynamic Analysis, LLVM,
C++
Publications
- [ISSTA 2017] B. Wang, Y. Xiong, Y. Shi, L. Zhang, D. Hao, Faster mutation analysis
via equivalence modulo states (Distinguished Paper Award) [arxiv]
- [ECOOP 2017] D. Melicher, Y. Shi, A. Potanin, J. Aldrich, A capability-based module
system for authority control [pdf]
- [Patent] K. Bian, M. Liu, Y. Shi, Q. Chen, S. Zhang, Generation and Recognition of
Contextual Dynamic QR Code [patent link]
- My Google Scholar Link