M.S. degree in Computer Science Department of National Tsing Hua University, Taiwan.
In the two years of the master's degree in NTHU. I was mainly responsible for software development and verification, and as the person in charge of the NTHU-ITRI cooperation case. Responsible for the management of the laboratory's gitlab and the teammates in the project, as well as writing code and arranging the project schedule. My personality is positive and optimistic, and I am extremely enthusiastic about learning new knowledge.
I'm working with Prof. Jenq-Kuen Lee. My thesis topic is "Misra C++ Analyzer for Security of Embedded Systems"
09/2018 - 09/2020
Thesis Advisor, Prof. Jenq-Kuen Lee
Courses:
Parallel Programming (A+)
Advanced Compiler (A-)
Compilers for Embedded Systems (A)
Advanced Computer Architecture (B+)
Computer Architecture (A-)
Computer Graphics (A+)
09/2014 - 06/2018
Courses:
Algorithm (A-)
Operating System (A+)
Implement rule checker according to Misra C++ specification
Static analyze C/C++ projects at compile time using Clang AST
Detect C++ projects(LLVM, OpenCV, GoogleTest...) which violate Misra C++ rules
Increase code reliability, portability and re-usability
Scale to millions of lines of code
For correctness, comparing to commercial software "Coverity" which is a proprietary static code analysis tool from Synopsys
More precise than Coverity
Devise and evaluate sparse compression schemes with Halide schedulers
Compressing model which trained from FastText
Decreasing the amount of calculation on edge device
Performance is significantly improved with limited accuracy loss
Support multi-way associative cache
Predict cache hit and miss
Implement "blockly" Floyd-Warshall with CUDA
C/C++, LLVM, Clang, Git, Linux
Compiler, Risc-V, LLVM, Compiler Optimization, Software Engineering