معرفی
Jixiang Shen is affiliated with The University of Sydney, Australia, and contributed to the SOAP 2020 conference track at PLDI 2020. His research focuses on software engineering, particularly in the areas of debugging, program analysis, and automated reasoning for software verification.
His participation includes authoring the paper Explaining Bug Provenance with Trace Witnesses, which explores techniques for isolating and explaining software bugs through trace witnesses. This work aligns with broader interests in programming languages and software reliability. No awards, students, or email addresses are explicitly listed in the provided information.
۰مقاله منتشرشده
