Flux Research Group / School of Computing
Xuejun Yang

Xuejun Yang

Alum, advised by John Regehr and Eric Eide
now atFutureWei Technologies
areas of interest languages, software testing
email jxyang at cs.utah.edu
web www.cs.utah.edu/~jxyang

publications with the flux group

Test-Case Reduction for C Compiler Bugs
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang
In PLDI 2012 (award paper) [ pdf :: slides :: bibtex ]
Finding and Understanding Bugs in C Compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
In PLDI 2011 (award paper) [ pdf :: slides :: bibtex ]