Hydra: Generalizing Peephole Optimizations with Program Synthesis von Mukherjee, Manasij, Regehr, John

Volltext

Random testing for C and C++ compilers with YARPGen von Livinskii, Vsevolod, Babokin, Dmitry, Regehr, John

Volltext

Test-case reduction for C compiler bugs von Regehr, John, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun

Volltext

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer von Liu, Zhengyang, Mada, Stefan, Regehr, John

Volltext

Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages von Livinskii, Vsevolod, Babokin, Dmitry, Regehr, John

Volltext

Understanding Integer Overflow in C/C++ von Dietz, Will, Li, Peng, Regehr, John, Adve, Vikram

Volltext

Taming compiler fuzzers von Chen, Yang, Groce, Alex, Zhang, Chaoqiang, Wong, Weng-Keen, Fern, Xiaoli, Eide, Eric, Regehr, John

Volltext

Finding and understanding bugs in C compilers von Yang, Xuejun, Chen, Yang, Eide, Eric, Regehr, John

Volltext

Understanding integer overflow in C/C++ von Dietz, W., Peng Li, Regehr, J., Adve, V.

Volltext

Dataflow-based pruning for speeding up superoptimization von Mukherjee, Manasij, Kant, Pranav, Liu, Zhengyang, Regehr, John

Volltext

Cause reduction: delta debugging, even without bugs von Groce, Alex, Alipour, Mohammad Amin, Zhang, Chaoqiang, Chen, Yang, Regehr, John

Volltext

Reconciling high-level optimizations and low-level code in LLVM von Lee, Juneyoung, Hur, Chung-Kil, Jung, Ralf, Liu, Zhengyang, Regehr, John, Lopes, Nuno P.

Volltext

Eliminating stack overflow by abstract interpretation von Regehr, John, Reid, Alastair, Webb, Kirk

Volltext

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer von Liu, Zhengyang, Mada, Stefan, Regehr, John

Volltext bestellen

HOIST: a system for automatically deriving static analyzers for embedded systems von Regehr, John, Reid, Alastair

Volltext

HOIST von Regehr, John, Reid, Alastair

Volltext

HOIST:a system for automatically deriving static analyzers for embedded systems von Regehr, John, Reid, Alastair

Volltext

Testing Static Analyzers with Randomly Generated Programs von Cuoq, Pascal, Monate, Benjamin, Pacalet, Anne, Prevosto, Virgile, Regehr, John, Yakobowski, Boris, Yang, Xuejun

Volltext

Offline compression for on-chip ram von Cooprider, Nathan Dean, Regehr, John David

Volltext

Provably correct peephole optimizations with alive von Lopes, Nuno P., Menendez, David, Nagarakatte, Santosh, Regehr, John

Volltext