kaichen.org - Home - Kai Chen's Homepage

home > domains > kaichen.org

Example domain paragraphs

Professor Kai Chen received his Ph.D. degree in the University of Chinese Academy of Science in 2010; then he joined the Chinese Academy of Science in January 2010. He became the Associate Professor in September 2012 and became the full Professor in October 2015.

His research interests include software analysis and testing; smartphones and privacy.

We present AURC, a static framework for detecting code bugs of incorrect return checks and document defects. We observe that three objects participate in the API invocation, the document, the caller (code that invokes API), and the callee (the source code of API). Mutual corroboration of these three objects boosts the detection of code and documentation errors. We evaluated AURC on ten popular codebases. AURC discovered 529 new bugs and 224 new document defects. Maintainers acknowledge our findings and have

Links to kaichen.org (4)

• safe-things-2023.github.io SafeThings 2023
• safe-things-2022.github.io SafeThings 2022
• lvtao-sec.github.io Tao's Home Page
• augustus.wang Augustus' Blog