2012-2013 Outstanding Academic Award of Peking University
For High GPA Students
I'm Yangqingwei Shi, a senior undergraduate from School of Electronic Engineering and Computer Scinece, Peking University. I'm working at Software Engineering Institute with Yingfei Xiong as a research assistant. Besides, I also worked as a teaching assistant of Algorithm Analysis with Haiyan Zhao for a semester. I had a two-month research internship with Jonathan Aldrich at Carnegie Mellon University in 2015 summer. From fall 2016, I have joined the Master of Science in Computer Science program in Carnegie Mellon University. For further information, continue browsing this website or download my CV.
|PROGRAMMING:||Java, C, C++, Web, Functional, Python, Assembly||SOFTWARE:||SE, PL, Compilers, Network, Web, OS, ML|
|HARDWARE:||Organization, Architecture, Microelectronics, Circuits|
|MATHEMATICS:||Algorithms, Algebra, Discrete, Calculus, Statistics|
|TOOLS:||Git, Linux, LaTeX, MATLAB|
|ENGLISH:||TOEFL 106 (Speaking 23) | GRE 157+170 (AW 3.5)|
Besides a programmer, you can also regard me as:
My reasearch covers a wide area of Computer Science, especially in Software Testing and Programming Languages. My major research work at Software Engineering Institute of Peking University is the acceleration of mutation analysis dynamically. During my internship at CMU, I've participated in the development of Wyvern Module System, a module system that enables software architects to enforce the architectural behavior in a software system. Besides software engineering, I've also done some research work in mobile computing. Together with Kaigui Bian and Minxing Liu, we developed a new style QR Code, Dynamic QR Code. It is a contextural QR Code enbales third-party service provider to customerize the dynamic rules for generating the content of the code.
变异测试是一种通过细节改变源代码的软件测试方法,用来帮助测试者评估 测试集的质量。变异测试的一个重要瓶颈在于其可扩展性。研究人员已经提出了 各种不同的变异测试加速技术,这些方法的本质是是移除变异测试中的冗余部 分。然而,这些技术都是静态的,所以无法消除变异体执行过程中的冗余部分。 本论文的目标是设计并实现一个动态变异测试技术:在变异测试的执行过程 中对变异体进行动态分析,并且仅在变异体将会产生新的系统状态的时候,通过 创建新的进程来执行变异体。本论文提出了一个可以用来实现动态编译测试的抽 象模型,此模型支持不同变异算子的动态变异测试。本论文在 LLVM 的框架上实 现了一个 C 语言变异测试加速工具 AccMut。我们的实验表明动态变异测试技术 可以在 Major Framework(目前最快的静态变异测试加速技术)的基础上进一步 加速变异测试,加速比达到 2.22X。 在本论文的最后,我们将我们的模型扩展到了软件产品线测试上。 Mutation analysis is used to help evaluating the quality of existing software tests by modifying a program in small ways. One important bottleneck of mutation analysis is its scability. Researches have proposed different techniques to accelerate the mutation analysis, such as removing redundant computations in mutation anal- ysis. However, all these techniques are static, and thus cannot remove redundancy that occurs in part of mutant execution. The purpose of this thesis is to design a technique that accelerates the muta- tion analysis dynamically, which analyzes the mutants during the execution of the program and forks the execution only when a mutant leads to a new system state. We proposed an abstract model for implementing dynamic mutation analysis for different types of mutation operators. We developed an acceleration tool “AccMut” on C programming language on top of LLVM. Our experiment show that our ap- proach can further accelerate mutation analysis with a speedup 2.22X over Major Framework, a state-of-the-art approach. At the end of this paper, we extend our model to software product line testing.
本发明公开一种基于移动环境感知技术的动态二维码生成和识别方法。该方法基于静态的二维码信息模板，进一步地动态识别环境特征信息并且生成动态二维码信息，从而在用户扫码之后，通过智能移动设备的环境感知技术抓取环境信息，进而解码出最适合用户所处移动环境的二维码信息。本发明可以向下兼容传统的静态二维码技术，无需增加硬件成本，实现起来方便快捷，可用于任何使用二维码的设备与应用，如智能手机、ATM机、平板电脑、广告显示屏、传统媒体、身份验证系统等设备。 This invention published a method for generating and recognizing contextural dynamic QR Code. The method generates dynamic QR Code context based on a static template and some dynamic contextual features so that it can decode the most suitable text information based on the mobile context from the contextual information caught by smart mobile devices after users' scanning. This invention has downward compatibility to traditional static QR Code technology and can be implemented easily without additional hardware cost. It can be applied in any devices or applications which support QR Code scanning, such as smart phones, ATM machines, Tablets, Advertisment Screens, traditional media and ID vertification system and so on.
During my education at PKU, I have an overall GPA of 3.69, which is among the top 10% of the grade. I've taken totally 133 points lessons until present. Among these courses there are four honor track courses: Introduction to Computing (2012), C++ Programming (2013), Data Structures and Algorithm (2013), Computer Network (2015), and two advanced courses: Advanced Algebra A (2012), Advanced Algebra B (2013). I've got several honors or scolarships during my education at PKU, two major honors are Outstanding Academic Award (2013) and Wusi Scholarship (2014). I've finished a lot of course projects, some are famous CS projects such as ICS (CMU 15-213), and some are practical softwares.
For High GPA Students
For Top 20% Students
Rank 341 of 6517
For Top 30% Thesis