Follow
Xuejun Yang
Xuejun Yang
Futurewei Technologies
Verified email at huawei.com
Title
Cited by
Cited by
Year
Finding and understanding bugs in C compilers
X Yang, Y Chen, E Eide, J Regehr
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
9722011
Test-case reduction for C compiler bugs
J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
2812012
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
752012
Eliminating the call stack to save RAM
X Yang, N Cooprider, J Regehr
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009
212009
Random testing of open source C compilers
X Yang
The University of Utah, 2015
2015
Exposing Difficult Compiler Bugs With Random Testing
J Regehr, X Yang, Y Chen, E Eide
GCC Developers’ Summit, 97, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–6