Xuejun Yang
Xuejun Yang
Futurewei Technologies
Verified email at huawei.com
TitleCited byYear
Finding and understanding bugs in C compilers
X Yang, Y Chen, E Eide, J Regehr
ACM SIGPLAN Notices 46 (6), 283-294, 2011
Test-case reduction for C compiler bugs
J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang
ACM SIGPLAN Notices 47 (6), 335-346, 2012
Testing static analyzers with randomly generated programs
P Cuoq, B Monate, A Pacalet, V Prevosto, J Regehr, B Yakobowski, ...
NASA Formal Methods Symposium, 120-125, 2012
Eliminating the call stack to save RAM
X Yang, N Cooprider, J Regehr
ACM Sigplan Notices 44 (7), 60-69, 2009
Random testing of open source C compilers
X Yang
The University of Utah, 2015
Exposing Difficult Compiler Bugs With Random Testing
J Regehr, X Yang, Y Chen, E Eide
GCC Developers’ Summit, 97, 2010
Test-‐Case Reduc= on for C Compiler Bugs
J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang
The system can't perform the operation now. Try again later.
Articles 1–7