John Regehr

According to our database, John Regehr authored at least 63 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Hydra: Generalizing Peephole Optimizations with Program Synthesis.

Manasij Mukherjee, John Regehr

Proc. ACM Program. Lang., 2024

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer.

Zhengyang Liu, Stefan Mada, John Regehr

Proc. ACM Program. Lang., 2024

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM.

Yuyou Fan, John Regehr

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages.

Vsevolod Livinskii, Dmitry Babokin, John Regehr

Proc. ACM Program. Lang., 2023

2021

Alive2: bounded translation validation for LLVM.

Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Dataflow-based pruning for speeding up superoptimization.

Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr

Proc. ACM Program. Lang., 2020

Random testing for C and C++ compilers with YARPGen.

Vsevolod Livinskii, Dmitry Babokin, John Regehr

Proc. ACM Program. Lang., 2020

Testing static analyses for precision and soundness.

Jubi Taneja, Zhengyang Liu, John Regehr

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2018

Reconciling high-level optimizations and low-level code in LLVM.

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes

Proc. ACM Program. Lang., 2018

Future Directions for Optimizing Compilers.

Nuno P. Lopes, John Regehr

CoRR, 2018

Practical verification of peephole optimizations with Alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Commun. ACM, 2018

2017

Vigorous Public Debates in Academic Computer Science.

John Regehr

ACM Queue, 2017

Souper: A Synthesizing Superoptimizer.

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr

CoRR, 2017

Research for practice: vigorous public debates in academic computer science.

John Regehr, Peter Bailis

Commun. ACM, 2017

Taming undefined behavior in LLVM.

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Cause reduction: delta debugging, even without bugs.

Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr

Softw. Test. Verification Reliab., 2016

STACKing up undefined behaviors: technical perspective.

John Regehr

Commun. ACM, 2016

Abstractions for Practical Virtual Machine Replay.

Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr

Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2016

2015

Understanding Integer Overflow in C/C++.

Will Dietz, Peng Li, John Regehr, Vikram S. Adve

ACM Trans. Softw. Eng. Methodol., 2015

Provably correct peephole optimizations with alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Intent fuzzer: crafting intents of death.

Raimondas Sasnauskas, John Regehr

Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

Cause Reduction for Quick Testing.

Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Taming compiler fuzzers.

Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Help, help, i'm being suppressed! The significance of suppressors in software testing.

Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

Test-case reduction for C compiler bugs.

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Testing Static Analyzers with Randomly Generated Programs.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang

Proceedings of the NASA Formal Methods, 2012

Swarm testing.

Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

Finding and understanding bugs in C compilers.

Xuejun Yang, Yang Chen, Eric Eide, John Regehr

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

ARMor: fully verified software fault isolation.

Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Correctness Proofs for Device Drivers in Embedded Systems.

Jianjun Duan, John Regehr

Proceedings of the 5th International Workshop on Systems Software Verification, 2010

T-check: bug finding for sensor networks.

Peng Li, John Regehr

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2009

Surviving sensor network software faults.

Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Eliminating the call stack to save RAM.

Xuejun Yang, Nathan Cooprider, John Regehr

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Precise garbage collection for C.

Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt

Proceedings of the 8th International Symposium on Memory Management, 2009

2008

Using sequencing to trigger a better analysis.

Nathan Cooprider, John Regehr

SIGBED Rev., 2008

Volatiles are miscompiled, and what to do about it.

Eric Eide, John Regehr

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Edicts: implementing features with flexible binding times.

Venkat Chakravarthy, John Regehr, Eric Eide

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007

Safe and Structured Use of Interrupts in Real-Time and Embedded Software.

John Regehr

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Efficient memory safety for TinyOS.

Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Statistical Runtime Checking of Probabilistic Properties.

Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Offline compression for on-chip ram.

Nathan Cooprider, John Regehr

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Interface contracts for TinyOS.

Will Archer, Philip Alexander Levis, John Regehr

Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

Runtime Verification for Wireless Sensor Network Applications.

Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

2006

Interrupt Verification via Thread Verification.

John Regehr, Nathan Cooprider

Proceedings of the Thread Verification Workshop, 2006

From the Editor: Real-Time and Embedded Systems-Teaching Reliability.

John Regehr

IEEE Distributed Syst. Online, 2006

Deriving abstract transfer functions for analyzing embedded software.

John Regehr, Usit Duongsaa

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Pluggable abstract domains for analyzing embedded software.

Nathan Cooprider, John Regehr

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Atomicity and visibility in tiny embedded systems.

John Regehr, Nathan Cooprider, David Gay

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

Efficient type and memory safety for tiny embedded systems.

John Regehr, Nathan Cooprider, Will Archer, Eric Eide

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005

Eliminating stack overflow by abstract interpretation.

John Regehr, Alastair Reid, Kirk Webb

ACM Trans. Embed. Comput. Syst., 2005

Preventing interrupt overload.

John Regehr, Usit Duongsaa

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

Random testing of interrupt-driven software.

John Regehr

Proceedings of the EMSOFT 2005, 2005

2004

Dynamic CPU Management for Real-Time, Middleware-Based Systems.

Eric Eide, Tim Stack, John Regehr, Jay Lepreau

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

HOIST: a system for automatically deriving static analyzers for embedded systems.

John Regehr, Alastair Reid

Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004

2003

Evolving real-time systems using hierarchical scheduling and concurrency analysis.

John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002

Inferring Scheduling Behavior with Hourglass.

John Regehr

Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, 2002

Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults.

John Regehr

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Static and dynamic structure in design patterns.

Eric Eide, Alastair Reid, John Regehr, Jay Lepreau

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

HLS: A Framework for Composing Soft Real-Time Schedulers.

John Regehr, John A. Stankovic

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System.

John Regehr, John A. Stankovic

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

Two Case Studies in Predictable Application Scheduling Using Rialto/NT.

Michael B. Jones, John Regehr, Stefan Saroiu

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

The case for using middleware to manage diverse soft real-time schedulers.

John Regehr, Jay Lepreau

Proceedings of the 2001 International Workshop on Multimedia Middleware, 2001

1999

The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT.

Michael B. Jones, John Regehr

Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, 1999