John Regehr

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 18

Top Topics

Pruning Algorithms

Provably Correct

Computer Science

Future Directions

Top Venues

Proc. ACM Program. Lang.

Publications

Manasij Mukherjee, John Regehr
Hydra: Generalizing Peephole Optimizations with Program Synthesis. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yuyou Fan, John Regehr
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM. CGO (2024)
Zhengyang Liu, Stefan Mada, John Regehr
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer. CoRR (2023)
Vsevolod Livinskii, Dmitry Babokin, John Regehr
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
Alive2: bounded translation validation for LLVM. PLDI (2021)
Vsevolod Livinskii, Dmitry Babokin, John Regehr
Random testing for C and C++ compilers with YARPGen. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Jubi Taneja, Zhengyang Liu, John Regehr
Testing static analyses for precision and soundness. CGO (2020)
Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr
Dataflow-based pruning for speeding up superoptimization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
Reconciling high-level optimizations and low-level code in LLVM. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Practical verification of peephole optimizations with Alive. Commun. ACM 61 (2) (2018)
Nuno P. Lopes, John Regehr
Future Directions for Optimizing Compilers. CoRR (2018)
John Regehr
Vigorous Public Debates in Academic Computer Science. ACM Queue 15 (3) (2017)
Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
Taming undefined behavior in LLVM. PLDI (2017)
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr
Souper: A Synthesizing Superoptimizer. CoRR (2017)
John Regehr, Peter Bailis
Research for practice: vigorous public debates in academic computer science. Commun. ACM 60 (12) (2017)
Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr
Abstractions for Practical Virtual Machine Replay. VEE (2016)
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
Cause reduction: delta debugging, even without bugs. Softw. Test. Verification Reliab. 26 (1) (2016)
John Regehr
STACKing up undefined behaviors: technical perspective. Commun. ACM 59 (3) (2016)
Will Dietz, Peng Li, John Regehr, Vikram S. Adve
Understanding Integer Overflow in C/C++. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Provably correct peephole optimizations with alive. PLDI (2015)
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
Cause Reduction for Quick Testing. ICST (2014)
Raimondas Sasnauskas, John Regehr
Intent fuzzer: crafting intents of death. WODA+PERTEA@ISSTA (2014)
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr
Taming compiler fuzzers. PLDI (2013)
Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr
Help, help, i'm being suppressed! The significance of suppressors in software testing. ISSRE (2013)
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
Test-case reduction for C compiler bugs. PLDI (2012)
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods (2012)
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr
Swarm testing. ISSTA (2012)
Will Dietz, Peng Li, John Regehr, Vikram S. Adve
Understanding integer overflow in C/C++. ICSE (2012)
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
Finding and understanding bugs in C compilers. PLDI (2011)
Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr
ARMor: fully verified software fault isolation. EMSOFT (2011)
Jianjun Duan, John Regehr
Correctness Proofs for Device Drivers in Embedded Systems. SSV (2010)
Peng Li, John Regehr
T-check: bug finding for sensor networks. IPSN (2010)
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
Precise garbage collection for C. ISMM (2009)
Xuejun Yang, Nathan Cooprider, John Regehr
Eliminating the call stack to save RAM. LCTES (2009)
Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr
Surviving sensor network software faults. SOSP (2009)
Nathan Cooprider, John Regehr
Using sequencing to trigger a better analysis. SIGBED Rev. 5 (1) (2008)
Venkat Chakravarthy, John Regehr, Eric Eide
Edicts: implementing features with flexible binding times. AOSD (2008)
Eric Eide, John Regehr
Volatiles are miscompiled, and what to do about it. EMSOFT (2008)
Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee
Runtime Verification for Wireless Sensor Network Applications. Runtime Verification (2007)
Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr
Efficient memory safety for TinyOS. SenSys (2007)
Will Archer, Philip Alexander Levis, John Regehr
Interface contracts for TinyOS. IPSN (2007)
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr
Statistical Runtime Checking of Probabilistic Properties. RV (2007)
John Regehr, Nathan Cooprider
Interrupt Verification via Thread Verification. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Nathan Cooprider, John Regehr
Offline compression for on-chip ram. PLDI (2007)
Nathan Cooprider, John Regehr
Pluggable abstract domains for analyzing embedded software. LCTES (2006)
John Regehr, Usit Duongsaa
Deriving abstract transfer functions for analyzing embedded software. LCTES (2006)
John Regehr
From the Editor: Real-Time and Embedded Systems--Teaching Reliability. IEEE Distributed Syst. Online 7 (5) (2006)
John Regehr, Nathan Cooprider, David Gay
Atomicity and visibility in tiny embedded systems. PLOS (2006)
John Regehr, Nathan Cooprider, Will Archer, Eric Eide
Efficient type and memory safety for tiny embedded systems. PLOS (2006)
John Regehr, Alastair Reid, Kirk Webb
Eliminating stack overflow by abstract interpretation. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
John Regehr, Usit Duongsaa
Preventing interrupt overload. LCTES (2005)
John Regehr
Random testing of interrupt-driven software. EMSOFT (2005)
Eric Eide, Tim Stack, John Regehr, Jay Lepreau
Dynamic CPU Management for Real-Time, Middleware-Based Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
John Regehr, Alastair Reid
HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS (2004)
John Regehr, Alastair Reid, Kirk Webb
Eliminating Stack Overflow by Abstract Interpretation. EMSOFT (2003)
John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau
Evolving real-time systems using hierarchical scheduling and concurrency analysis. RTSS (2003)
Eric Eide, Alastair Reid, John Regehr, Jay Lepreau
Static and dynamic structure in design patterns. ICSE (2002)
John Regehr
Inferring Scheduling Behavior with Hourglass. USENIX Annual Technical Conference, FREENIX Track (2002)
John Regehr
Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. RTSS (2002)
John Regehr, John A. Stankovic
HLS: A Framework for Composing Soft Real-Time Schedulers. RTSS (2001)
John Regehr, John A. Stankovic
Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. IEEE Real Time Technology and Applications Symposium (2001)
Michael B. Jones, John Regehr, Stefan Saroiu
Two Case Studies in Predictable Application Scheduling Using Rialto/NT. IEEE Real Time Technology and Applications Symposium (2001)
John Regehr, Jay Lepreau
The case for using middleware to manage diverse soft real-time schedulers. M3W@MM (2001)
Michael B. Jones, John Regehr
The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. Workshop on Hot Topics in Operating Systems (1999)
Michael B. Jones, John Regehr
The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. IEEE Real Time Technology and Applications Symposium (1999)