John Regehr

According to our database1, John Regehr authored at least 57 papers between 1999 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Dataflow-based pruning for speeding up superoptimization.
Proc. ACM Program. Lang., 2020

Random testing for C and C++ compilers with YARPGen.
Proc. ACM Program. Lang., 2020

Testing static analyses for precision and soundness.
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.
Proc. ACM Program. Lang., 2018

Future Directions for Optimizing Compilers.
CoRR, 2018

Practical verification of peephole optimizations with Alive.
Commun. ACM, 2018

2017
Vigorous Public Debates in Academic Computer Science.
ACM Queue, 2017

Souper: A Synthesizing Superoptimizer.
CoRR, 2017

Research for practice: vigorous public debates in academic computer science.
Commun. ACM, 2017

Taming undefined behavior in LLVM.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Cause reduction: delta debugging, even without bugs.
Softw. Test. Verification Reliab., 2016

STACKing up undefined behaviors: technical perspective.
Commun. ACM, 2016

Abstractions for Practical Virtual Machine Replay.
Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2016

2015
Understanding Integer Overflow in C/C++.
ACM Trans. Softw. Eng. Methodol., 2015

Provably correct peephole optimizations with alive.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Intent fuzzer: crafting intents of death.
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

Cause Reduction for Quick Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Taming compiler fuzzers.
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.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Test-case reduction for C compiler bugs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Testing Static Analyzers with Randomly Generated Programs.
Proceedings of the NASA Formal Methods, 2012

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

2011
Finding and understanding bugs in C compilers.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

ARMor: fully verified software fault isolation.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Correctness Proofs for Device Drivers in Embedded Systems.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

T-check: bug finding for sensor networks.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2009
Surviving sensor network software faults.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Eliminating the call stack to save RAM.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Precise garbage collection for C.
Proceedings of the 8th International Symposium on Memory Management, 2009

2008
Using sequencing to trigger a better analysis.
SIGBED Rev., 2008

Volatiles are miscompiled, and what to do about it.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Edicts: implementing features with flexible binding times.
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.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Interrupt Verification via Thread Verification.
Electron. Notes Theor. Comput. Sci., 2007

Efficient memory safety for TinyOS.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Statistical Runtime Checking of Probabilistic Properties.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Offline compression for on-chip ram.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Interface contracts for TinyOS.
Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

Runtime Verification for Wireless Sensor Network Applications.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

2006
From the Editor: Real-Time and Embedded Systems--Teaching Reliability.
IEEE Distributed Syst. Online, 2006

Deriving abstract transfer functions for analyzing embedded software.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Pluggable abstract domains for analyzing embedded software.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Atomicity and visibility in tiny embedded systems.
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.
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.
ACM Trans. Embed. Comput. Syst., 2005

Preventing interrupt overload.
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

Random testing of interrupt-driven software.
Proceedings of the EMSOFT 2005, 2005

2004
Dynamic CPU Management for Real-Time, Middleware-Based Systems.
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.
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.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002
Inferring Scheduling Behavior with Hourglass.
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, 2002

Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Static and dynamic structure in design patterns.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
HLS: A Framework for Composing Soft Real-Time Schedulers.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System.
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.
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 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.
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999


  Loading...