| 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 | 1355 | 2011 |
| 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 | 384 | 2012 |
| Testing static analyzers with randomly generated programs P Cuoq, B Monate, A Pacalet, V Prevosto, J Regehr, B Yakobowski, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 94 | 2012 |
| Eliminating the call stack to save RAM X Yang, N Cooprider, J Regehr Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009 | 22 | 2009 |
| Random testing of open source C compilers X Yang The University of Utah, 2015 | 1 | 2015 |
| Exposing Difficult Compiler Bugs With Random Testing J Regehr, X Yang, Y Chen, E Eide GCC Developers’ Summit, 97, 2010 | | 2010 |
John RegehrProfessor, School of Computing, University of UtahDirección de correo verificada de cs.utah.edu