John Regehr

John Regehr

University of Utah - Salt Lake City / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1681319
person_outline John Regehr's MOST POPULAR ARTICLES
1-) Finding and understanding bugs in C compilersX Yang, Y Chen, E Eide, J RegehrProceedings of the 32nd ACM SIGPLAN conference on Programming language …, 20119952011
2-) Test-case reduction for C compiler bugsJ Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X YangProceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 20122872012
3-) Understanding Integer Overflow in C/C++W Dietz, P Li, J Regehr, V Adve34th International Conference on Software Engineering (ICSE 2012), 20122332012
4-) Taming Compiler FuzzersE Eide, A Groce, X Fern, Y Chen, C Zhang, J Regehr, WK Wong216*2013
5-) HLS: A framework for composing soft real-time schedulersJ Regehr, JA StankovicReal-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE, 3-14, 20012072001