About
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.
0Publications listed
Find Jixiang Shen elsewhere
Related Searches
You Might Also Like
- OOndřej PavelaNational and Kapodistrian University of Athens · Researcher
- KKihong HeoBrown University · Associate Professor
Jingmei HuInria · Researcher
Qirun ZhangNational and Kapodistrian University of Athens · Associate Professor- MManuel RiggerInria · Assistant Professor
- AAlexander J. SummersUniversity of British Columbia · Associate Professor