John Regehr
#45,432
Most Influential Person Now
American computer scientist
John Regehr's AcademicInfluence.com Rankings
John Regehrcomputer-science Degrees
Computer Science
#1738
World Rank
#1801
Historical Rank
#827
USA Rank
Software Engineering
#342
World Rank
#348
Historical Rank
#94
USA Rank
Algorithms
#407
World Rank
#412
Historical Rank
#38
USA Rank
Database
#8650
World Rank
#9071
Historical Rank
#1169
USA Rank
Download Badge
Computer Science
John Regehr's Degrees
- Bachelors Computer Science University of Utah
Similar Degrees You Can Earn
Why Is John Regehr Influential?
(Suggest an Edit or Addition)According to Wikipedia, John Regehr is a computer scientist specializing in compiler correctness and undefined behavior. , he is a professor at the University of Utah. He is best known for the integer overflow sanitizer which was merged into the Clang C compiler, the C compiler fuzzer Csmith, and his widely read blog Embedded in Academia. He spent the 2015-2016 academic year on sabbatical in Paris, France, working with TrustInSoft on Frama-C and related code analysis tools.
John Regehr's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Finding and understanding bugs in C compilers (2011) (830)
- Test-case reduction for C compiler bugs (2012) (221)
- HLS: a framework for composing soft real-time schedulers (2001) (177)
- Understanding integer overflow in C/C++ (2012) (154)
- Taming compiler fuzzers (2013) (143)
- Eliminating stack overflow by abstract interpretation (2003) (142)
- Efficient memory safety for TinyOS (2007) (136)
- Scheduling tasks with mixed preemption relations for robustness to timing faults (2002) (118)
- Provably correct peephole optimizations with alive (2015) (111)
- T-check: bug finding for sensor networks (2010) (100)
- Intent fuzzer: crafting intents of death (2014) (98)
- Swarm testing (2012) (92)
- Random testing of interrupt-driven software (2005) (85)
- Volatiles are miscompiled, and what to do about it (2008) (83)
- Evolving real-time systems using hierarchical scheduling and concurrency analysis (2003) (81)
- ARMor: Fully verified software fault isolation (2011) (70)
- Testing Static Analyzers with Randomly Generated Programs (2012) (69)
- Surviving sensor network software faults (2009) (61)
- Preventing interrupt overload (2005) (56)
- Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems (2001) (54)
- HOIST: a system for automatically deriving static analyzers for embedded systems (2004) (52)
- Dynamic CPU management for real-time, middleware-based systems (2004) (52)
- Interface Contracts for TinyOS (2007) (51)
- Souper: A Synthesizing Superoptimizer (2017) (50)
- Inferring Scheduling Behavior with Hourglass (2002) (49)
- Interrupt Verification via Thread Verification (2007) (49)
- Taming undefined behavior in LLVM (2017) (44)
- Cause Reduction for Quick Testing (2014) (44)
- Augmented CPU reservations: towards predictable execution on general-purpose operating systems (2001) (43)
- Cause reduction: delta debugging, even without bugs (2016) (41)
- The problems you're having may not be the problems you think you're having: results from a latency study of Windows NT (1999) (41)
- CPU reservations and time constraints: implementation experience on windows NT (1999) (40)
- Precise garbage collection for C (2009) (39)
- Statistical Runtime Checking of Probabilistic Properties (2007) (37)
- Operating System Support for Multimedia: The Programming Model Matters (2000) (29)
- Edicts: implementing features with flexible binding times (2008) (29)
- Deriving abstract transfer functions for analyzing embedded software (2006) (27)
- Review of Effectiveness and Costs of Strategies to Improve Roadbed Stability in Permafrost Regions (2013) (26)
- Random testing for C and C++ compilers with YARPGen (2020) (24)
- Practical verification of peephole optimizations with Alive (2018) (23)
- Understanding Integer Overflow in C/C++ (2015) (22)
- Memory Safety and Untrusted Extensions for TinyOS (2006) (22)
- Safe and Structured Use of Interrupts in Real-Time and Embedded Software (2007) (22)
- Static and dynamic structure in design patterns (2002) (20)
- Pluggable abstract domains for analyzing embedded software (2006) (20)
- Safety performance of longer combination vehicles relative to other articulated trucks (2009) (19)
- Help, help, i'm being suppressed! The significance of suppressors in software testing (2013) (18)
- Two case studies in predictable application scheduling using Rialto/NT (2001) (18)
- Reconciling high-level optimizations and low-level code in LLVM (2018) (16)
- Eliminating the call stack to save RAM (2009) (16)
- Abstractions for Practical Virtual Machine Replay (2016) (15)
- Offline compression for on-chip ram (2007) (15)
- Alive2: bounded translation validation for LLVM (2021) (15)
- Efficient type and memory safety for tiny embedded systems (2006) (15)
- Issues in Using Commodity Operating Systems for Time-Dependent Tasks: Experiences from a Study of Windows NT (1998) (14)
- The Case for Hierarchical Schedulers with Performance Guarantees (2000) (14)
- Testing static analyses for precision and soundness (2020) (14)
- Some Guidelines for Proportional Share CPU Scheduling in General-Purpose Operating Systems (2001) (12)
- Proceedings of the tenth ACM international conference on Embedded software (2010) (12)
- Runtime Verification for Wireless Sensor Network Applications (2007) (12)
- An Isotach Implementation for Myrinet (1997) (11)
- The case for using middleware to manage diverse soft real-time schedulers (2001) (11)
- Evaluating disability management in the Manitoban construction industry for injured workers returning to the workplace with a disability (2016) (11)
- Correctness Proofs for Device Drivers in Embedded Systems (2010) (11)
- Real-Time for the Real World (2002) (10)
- Lessons learned about the impacts of size and weight regulations on the articulated truck fleet in the Canadian prairie region (2009) (9)
- Dataflow-based pruning for speeding up superoptimization (2020) (8)
- Hybrid Approach for Clustering Vehicle Classification Data to Support Regional Implementation of the Mechanistic–Empirical Pavement Design Guide (2013) (8)
- Advanced Adaptive Application (A3) Environment: initial experience (2011) (7)
- Lock inference for systems software (2003) (7)
- Task/Scheduler Logic: Reasoning about Concurrency in Component-Based Systems Software (2002) (6)
- Understanding and Anticipating Truck Fleet Mix Characteristics for Mechanistic-Empirical Pavement Design (2011) (6)
- Gaussian Mixture Model to Characterize Payload Distributions for Predominant Truck Configurations and Body Types (2020) (6)
- Road safety performance measures and AADT uncertainty from short-term counts. (2016) (6)
- Traffic Pattern Groups Based on Hourly Traffic Variations in Urban Areas (2015) (6)
- Heuristics for restricting EDF migration uniform multiprocessors (2004) (5)
- Predictable Scheduling for Digital Audio (2000) (5)
- Framework for Characterizing Truck Traffic Related to Petroleum Well Development and Production in Unconventional Shale Plays (2014) (5)
- 1 Reconciling High-level Optimizations and Low-level Code with Twin Memory Allocation (2018) (4)
- Atomicity and visibility in tiny embedded systems (2006) (4)
- Evaluating Annual Average Daily Traffic Calculation Methods with Continuous Truck Traffic Data (2017) (4)
- A Synthesizing Superoptimizer (2018) (4)
- Thread Verification vs . Interrupt Verification (2006) (4)
- 2 Understanding Integer Overflow in C / C + + (2016) (3)
- Classification Algorithm for Characterizing Long Multiple Trailer Truck Movements (2007) (3)
- Applying a vehicle classification algorithm to model long multiple trailer truck exposure (2009) (3)
- Hierarchical schedulers, performance guarantee, and resource management (2000) (3)
- Eliminating Interrupt Overload in Embedded Systems (2004) (3)
- From the Editor: Real-Time and Embedded Systems-Teaching Reliability (2006) (3)
- Composable Execution Environments (2002) (3)
- Regulations Governing the Operation of Longer Combination Vehicles in Canada (2017) (3)
- Methodology to Estimate the Distance Traveled by Trucks on Rural Highway Systems (2013) (2)
- Probabilistic Methodology to Quantify User Delay Costs for Urban Arterial Work Zones (2020) (2)
- Future Directions for Optimizing Compilers (2018) (2)
- Algorithm to Estimate the Lateral Position of Wheel-Rail Contact and Corresponding Rail Profile Radius (2021) (2)
- Vigorous Public Debates in Academic Computer Science (2017) (2)
- Using Spin to Help Teach Concurrent Programming (1998) (2)
- A Practical Logic Framework for Verifying Safety Properties of Executables (2011) (2)
- Impacts of road and rail temporal traffic variations on grade crossings exposure, design, and regulation in Manitoba (2020) (2)
- Repeatable Procedure for Determining a Representative Average Rail Profile (2017) (2)
- How to Rapidly Prototype a Real-Time Scheduler (2002) (2)
- Issues and Options for Oversize/Overweight Permitting of Petroleum-Related Trucks in a Performance-Based Regulatory Context: The Manitoba Experience (2014) (1)
- Retrospective Longitudinal Study of the Impact of Truck Weight Regulatory Changes on Operating Gross Vehicle Weights (2021) (1)
- Ph.D. Proposal: Hierarchical Loadable Schedulers (2000) (1)
- The problems you're having may not be the problems you think you're having: results from a latency study of Windows NT (1999) (1)
- Research for practice (2017) (1)
- A phased approach to prioritize road authority resources to comply with new Canadian grade crossing regulations (2015) (1)
- HYBRID RESOURCE CONTROL FOR FAST-PATH ACTIVE EXTENSIONS (2007) (1)
- Technical Perspective: STACKing up undefined behaviors (2016) (1)
- Compiling for Resource-Constrained Platforms using ASSHes: Application- and System-Specific Heuristics (2004) (1)
- Using exposure-based evidence to assess regulatory compliance of productivity-permitted long trucks (2010) (1)
- Disaggregated System Services Through Lightweight Capability Domains (2013) (0)
- Options for Exposure-Based Charging for Long Multiple Trailer Truck Permits (2009) (0)
- RTSS 2010 Organizers (2010) (0)
- BUILDING AND MOBILIZING SPATIAL THINKING IN CIVIL ENGINEERING EDUCATION (2019) (0)
- Algorithm-centered Approach to Improve Track Performance Monitoring with Rail Profile Data (2020) (0)
- Operating Systems as Parallel Pipelines (2009) (0)
- Session details: Types (2013) (0)
- Rethinking AADT: Overview of Emerging Research and Practice - Presentation (2016) (0)
- Exploring Vehicle Probe Data as a Resource to Enhance Network-Wide Traffic Volume Estimates (2021) (0)
- A Replay-based Approach to Performance Analysis (2010) (0)
- Message from the EMSOFT Program Chairs (2012) (0)
- High-Level Optimizations for Low-Level Software (2007) (0)
- Decision support tool to evaluate options for implementing a short-duration vehicle classification count program (2020) (0)
- Hybrid Approach for Clustering Vehicle Classification Data to Support Regional Implementation of the MEPDG (Student Presentation) (2013) (0)
- Methodology to Characterize Agriculture-Related Trucking on Low-Volume Rural Roads to Support Asset Management (2013) (0)
- Replication Package for Article (2020) (0)
- Reliability analysis of typical highway bridges in Manitoba designed to the Modified HSS-25 live load model (2021) (0)
- 2 2 . Programming Model 2 . 1 Adaptive Real-Time Applications (1999) (0)
- Understanding and Estimating In-Service Axle Weights of Transit Buses (2016) (0)
- Session details: Source-level analysis (2007) (0)
- Evolution of Bridge Live Load Models and Truck Weight Limits:The Case of Manitoba, Canada (2021) (0)
- Network Connectivity, Commodities, and the Adoption of Heavy Axle Loading by Short-line Railroads in Canada (2015) (0)
- Payload Distributions for Predominant Axle Configurations and Truck Body Types (2018) (0)
- Composable Preemptive and Non-preemptive Real-time Scheduling Eliminating Component Overhead (2005) (0)
- Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008 (2008) (0)
- Multimodal Analysis of Freight Transport Activity and Infrastructure Impacts Related to Manitoba's Energy Sector (Poster) (2013) (0)
- Message from the artifact evaluation committee chairs (2015) (0)
- Principles for Addressing Urban Traffic Monitoring Challenges (2013) (0)
- Session details: Types (2013) (0)
- Proofs as a Substrate for Tool Integration Supporting High-Confidence Embedded Software (2005) (0)
- Data-Driven Approach to Quantify and Reduce Error Associated with Assigning Short Duration Counts to Traffic Pattern Groups (2021) (0)
- OF TRANSPORTATION of the Institute of Transportation Engineers Advancing transportation knowledge and practices for the benefit of society (2016) (0)
- Session details: Source-level analysis (2007) (0)
- Using sequencing to trigger a better analysis (2008) (0)
- USENIX Association Proceedings of the FREENIX Track : 2003 USENIX Annual (2002) (0)
- A Understanding Integer Overflow in C / C + + 1 (2015) (0)
- Advanced Adaptive Application (A3) Environment- Initial (2011) (0)
- RTCSA 2007 Program Committee (2007) (0)
- Truck Lanes in Canadian Urban Areas: Resource Document (2014) (0)
- Vertically integrated analysis and transformation for embedded software (2005) (0)
- Optimizing Interrupt-Driven Embedded Software (2008) (0)
- Parallelizing Multiprocessor Schedule Generation (2003) (0)
- Session details: Real-time techniques (2005) (0)
This paper list is powered by the following services:
Other Resources About John Regehr
What Schools Are Affiliated With John Regehr?
John Regehr is affiliated with the following schools:
