researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

johnregehr

Statistics

Publications: 1
Edited: 0

Aliases

John Regehr
J. Regehr
Regehr
Regehr, John
Regehr, J.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

John Regehr's Profile

Publications

Unidentified Publications

Publications with a 'John Regehr' as author, editor, or advisor:

Eliminating Stack Overflow by Abstract InterpretationJohn Regehr, Alastair Reid, Kirk Webb. emsoft 2003: 306-322 [doi]
Abstractions for Practical Virtual Machine ReplayAnton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr. vee 2016: 93-106 [doi]
Precise garbage collection for CJon Rafkind, Adam Wick, John Regehr, Matthew Flatt. iwmm 2009: 39-48 [doi]
Taming undefined behavior in LLVMJuneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes. PLDI 2017: 633-647 [doi]
Statistical Runtime Checking of Probabilistic PropertiesUsa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr. rv 2007: 164-175 [doi]
Correctness Proofs for Device Drivers in Embedded SystemsJianjun Duan, John Regehr. ssv 2010: [doi]
Cause reduction: delta debugging, even without bugsAlex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr. stvr, 26(1):40-68, 2016. [doi]
The case for using middleware to manage diverse soft real-time schedulersJohn Regehr, Jay Lepreau. mm 2001: 23-27 [doi]
Intent fuzzer: crafting intents of deathRaimondas Sasnauskas, John Regehr. ISSTA 2014: 1-5 [doi]
Vigorous Public Debates in Academic Computer ScienceJohn Regehr. queue, 15(3):70, 2017. [doi]
STACKing up undefined behaviors: technical perspectiveJohn Regehr. CACM, 59(3):98, 2016. [doi]
Efficient type and memory safety for tiny embedded systemsJohn Regehr, Nathan Cooprider, Will Archer, Eric Eide. asplos 2006: 6 [doi]
Atomicity and visibility in tiny embedded systemsJohn Regehr, Nathan Cooprider, David Gay. asplos 2006: 2 [doi]
Interrupt Verification via Thread VerificationJohn Regehr, Nathan Cooprider. ENTCS, 174(9):139-150, 2007. [doi]
Using sequencing to trigger a better analysisNathan Cooprider, John Regehr. sigbed, 5(1):9, 2008. [doi]
Offline compression for on-chip ramNathan Cooprider, John Regehr. PLDI 2007: 363-372 [doi]
The Problems You re Having May Not Be the Problems You Think You re Having: Results from a Latency Study of Windows NTMichael B. Jones, John Regehr. hotos 1999: 96-101 [doi]
Testing static analyses for precision and soundnessJubi Taneja, Zhengyang Liu, John Regehr. CGO 2020: 81-93 [doi]
Understanding integer overflow in C/C++Will Dietz, Peng Li, John Regehr, Vikram S. Adve. ICSE 2012: 760-770 [doi]
ARMor: fully verified software fault isolationLu Zhao, Guodong Li, Bjorn De Sutter, John Regehr. emsoft 2011: 289-298 [doi]
Preventing interrupt overloadJohn Regehr, Usit Duongsaa. lctrts 2005: 50-58 [doi]
HLS: A Framework for Composing Soft Real-Time SchedulersJohn Regehr, John A. Stankovic. rtss 2001: 3-14 [doi]
Volatiles are miscompiled, and what to do about itEric Eide, John Regehr. emsoft 2008: 255-264 [doi]
Reconciling high-level optimizations and low-level code in LLVMJuneyoung Lee, Chung-Kil Hur, Ralf Jung 0002, Zhengyang Liu, John Regehr, Nuno P. Lopes. PACMPL, 2(OOPSLA), 2018. [doi]
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVMYuyou Fan, John Regehr. CGO 2024: 349-358 [doi]
Runtime Verification for Wireless Sensor Network ApplicationsOleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee. Dagstuhl 2008: [doi]
Evolving real-time systems using hierarchical scheduling and concurrency analysisJohn Regehr, Alastair Reid, Kirk Webb, Michael Parker, Jay Lepreau. rtss 2003: 25 [doi]
Cause Reduction for Quick TestingAlex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr. icst 2014: 243-252 [doi]
Static and dynamic structure in design patternsEric Eide, Alastair Reid, John Regehr, Jay Lepreau. ICSE 2002: 208-218 [doi]
Test-case reduction for C compiler bugsJohn Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang. PLDI 2012: 335-346 [doi]
Random testing of interrupt-driven softwareJohn Regehr. emsoft 2005: 290-298 [doi]
The Problems You re Having May Not Be the Problems You Think You re Having: Results from a Latency Study of Windows NTMichael B. Jones, John Regehr. rtas 1999: 287 [doi]
Dynamic CPU Management for Real-Time, Middleware-Based SystemsEric Eide, Tim Stack, John Regehr, Jay Lepreau. rtas 2004: 286-295 [doi]
Random testing for C and C++ compilers with YARPGenVsevolod Livinskii, Dmitry Babokin, John Regehr. PACMPL, 4(OOPSLA), 2020. [doi]
Eliminating stack overflow by abstract interpretationJohn Regehr, Alastair Reid, Kirk Webb. tecs, 4(4):751-778, 2005. [doi]
Research for practice: vigorous public debates in academic computer scienceJohn Regehr, Peter Bailis. CACM, 60(12):48-50, 2017. [doi]
Provably correct peephole optimizations with aliveNuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr. PLDI 2015: 22-32 [doi]
Pluggable abstract domains for analyzing embedded softwareNathan Cooprider, John Regehr. lctrts 2006: 44-53 [doi]
HOIST: a system for automatically deriving static analyzers for embedded systemsJohn Regehr, Alastair Reid. asplos 2004: 133-143 [doi]
Deriving abstract transfer functions for analyzing embedded softwareJohn Regehr, Usit Duongsaa. lctrts 2006: 34-43 [doi]
T-check: bug finding for sensor networksPeng Li, John Regehr. ipsn 2010: 174-185 [doi]
Testing Static Analyzers with Randomly Generated ProgramsPascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang. NFM 2012: 120-125 [doi]
Surviving sensor network software faultsYang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr. sosp 2009: 235-246 [doi]
Understanding Integer Overflow in C/C++Will Dietz, Peng Li, John Regehr, Vikram S. Adve. TOSEM, 25(1):2, 2015. [doi]
Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr, editors, ACM, 2012. [doi]
Interface contracts for TinyOSWill Archer, Philip Levis, John Regehr. ipsn 2007: 158-165 [doi]
Finding and understanding bugs in C compilersXuejun Yang, Yang Chen, Eric Eide, John Regehr. PLDI 2011: 283-294 [doi]
Eliminating the call stack to save RAMXuejun Yang, Nathan Cooprider, John Regehr. lctrts 2009: 60-69 [doi]
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 08), Tucson, AZ, USA, June 12-13, 2008Krisztián Flautner, John Regehr, editors, ACM, 2008.
Efficient memory safety for TinyOSNathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr. sensys 2007: 205-218 [doi]
Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing FaultsJohn Regehr. rtss 2002: 315-326 [doi]
Taming compiler fuzzersYang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, John Regehr. PLDI 2013: 197-208 [doi]
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel LanguagesVsevolod Livinskii, Dmitry Babokin, John Regehr. PACMPL, 7(PLDI):1826-1847, 2023. [doi]
Edicts: implementing features with flexible binding timesVenkat Chakravarthy, John Regehr, Eric Eide. AOSD 2008: 108-119 [doi]
Dataflow-based pruning for speeding up superoptimizationManasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr. PACMPL, 4(OOPSLA), 2020. [doi]
Help, help, i'm being suppressed! The significance of suppressors in software testingAlex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr. issre 2013: 390-399 [doi]
Two Case Studies in Predictable Application Scheduling Using Rialto/NTMichael B. Jones, John Regehr, Stefan Saroiu. rtas 2001: 157-164 [doi]
Alive2: bounded translation validation for LLVMNuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr. PLDI 2021: 65-79 [doi]
Practical verification of peephole optimizations with AliveNuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr. CACM, 61(2):84-91, 2018. [doi]
From the Editor: Real-Time and Embedded Systems--Teaching ReliabilityJohn Regehr. dsonline, 7(5), 2006. [doi]
Inferring Scheduling Behavior with HourglassJohn Regehr. usenix 2002: 143-156 [doi]
Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating SystemJohn Regehr, John A. Stankovic. rtas 2001: 141-148 [doi]
Swarm testingAlex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr. ISSTA 2012: 78-88 [doi]
Future Directions for Optimizing CompilersLopes, Nuno P., Regehr, John. http://arxiv.org/abs/1809.02161, 09 2018.

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL