John Regehr - RankMe

74 papers A* 11A 9B 8C 3Misc 6Journal 23Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers. Proc. ACM Program. Lang. Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
2025	J	`jnl`	First-Class Verification Dialects for MLIR. Proc. ACM Program. Lang. Mathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser
2025	J	`jnl`	Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers. CoRR Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
2025	J	`jnl`	Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242). Dagstuhl Reports Maria Christakis, Alastair F. Donaldson, John Regehr, Thodoris Sotiropoulos
2025	J	`jnl`	Translation Validation for LLVM's AArch64 Backend. Proc. ACM Program. Lang. Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr
2024	A	`conf`	High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM. CGO Yuyou Fan, John Regehr
2024	J	`jnl`	Hydra: Generalizing Peephole Optimizations with Program Synthesis. Proc. ACM Program. Lang. Manasij Mukherjee, John Regehr
2024	J	`jnl`	Minotaur: A SIMD-Oriented Synthesizing Superoptimizer. Proc. ACM Program. Lang. Zhengyang Liu, Stefan Mada, John Regehr
2023	J	`jnl`	Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages. Proc. ACM Program. Lang. Vsevolod Livinskii, Dmitry Babokin, John Regehr
2023	J	`jnl`	Minotaur: A SIMD-Oriented Synthesizing Superoptimizer. CoRR Zhengyang Liu, Stefan Mada, John Regehr
2021	A*	`conf`	Alive2: bounded translation validation for LLVM. PLDI Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
2020	J	`jnl`	Dataflow-based pruning for speeding up superoptimization. Proc. ACM Program. Lang. Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr
2020	J	`jnl`	Random testing for C and C++ compilers with YARPGen. Proc. ACM Program. Lang. Vsevolod Livinskii, Dmitry Babokin, John Regehr
2020	A	`conf`	Testing static analyses for precision and soundness. CGO Jubi Taneja, Zhengyang Liu, John Regehr
2018	J	`jnl`	Future Directions for Optimizing Compilers. CoRR Nuno P. Lopes, John Regehr
2018	J	`jnl`	Practical verification of peephole optimizations with Alive. Commun. ACM Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2018	J	`jnl`	Reconciling high-level optimizations and low-level code in LLVM. Proc. ACM Program. Lang. Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
2017	J	`jnl`	Research for practice: vigorous public debates in academic computer science. Commun. ACM John Regehr, Peter Bailis
2017	J	`jnl`	Souper: A Synthesizing Superoptimizer. CoRR Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr
2017	A*	`conf`	Taming undefined behavior in LLVM. PLDI Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes
2017	J	`jnl`	Vigorous Public Debates in Academic Computer Science. ACM Queue John Regehr
2016	B	`conf`	Abstractions for Practical Virtual Machine Replay. VEE Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr
2016	J	`jnl`	Cause reduction: delta debugging, even without bugs. Softw. Test. Verification Reliab. Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
2016	J	`jnl`	STACKing up undefined behaviors: technical perspective. Commun. ACM John Regehr
2015	A*	`conf`	Provably correct peephole optimizations with alive. PLDI Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2015	J	`jnl`	Understanding Integer Overflow in C/C++. ACM Trans. Softw. Eng. Methodol. Will Dietz, Peng Li, John Regehr, Vikram S. Adve
2014	A	`conf`	Cause Reduction for Quick Testing. ICST Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
2014	—	`conf`	Intent fuzzer: crafting intents of death. WODA+PERTEA@ISSTA Raimondas Sasnauskas, John Regehr
2013	A	`conf`	Help, help, i'm being suppressed! The significance of suppressors in software testing. ISSRE Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr
2013	A*	`conf`	Taming compiler fuzzers. PLDI Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr
2012	Misc	`ed.`	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, 2012 EMSOFT Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr
2012	A	`conf`	Swarm testing. ISSTA Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr
2012	A*	`conf`	Test-case reduction for C compiler bugs. PLDI John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
2012	—	`conf`	Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
2012	A*	`conf`	Understanding integer overflow in C/C++. ICSE Will Dietz, Peng Li, John Regehr, Vikram S. Adve
2011	Misc	`conf`	ARMor: fully verified software fault isolation. EMSOFT Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr
2011	A*	`conf`	Finding and understanding bugs in C compilers. PLDI Xuejun Yang, Yang Chen, Eric Eide, John Regehr
2010	—	`conf`	Correctness Proofs for Device Drivers in Embedded Systems. SSV Jianjun Duan, John Regehr
2010	—	`conf`	T-check: bug finding for sensor networks. IPSN Peng Li, John Regehr
2009	B	`conf`	Eliminating the call stack to save RAM. LCTES Xuejun Yang, Nathan Cooprider, John Regehr
2009	C	`conf`	Precise garbage collection for C. ISMM Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
2009	A*	`conf`	Surviving sensor network software faults. SOSP Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr
2008	—	`conf`	Edicts: implementing features with flexible binding times. AOSD Venkat Chakravarthy, John Regehr, Eric Eide
2008	B	`ed.`	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 LCTES Krisztián Flautner, John Regehr
2008	J	`jnl`	Using sequencing to trigger a better analysis. SIGBED Rev. Nathan Cooprider, John Regehr
2008	Misc	`conf`	Volatiles are miscompiled, and what to do about it. EMSOFT Eric Eide, John Regehr
2007	Misc	`conf`	Efficient memory safety for TinyOS. SenSys Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr
2007	—	`conf`	Interface contracts for TinyOS. IPSN Will Archer, Philip Alexander Levis, John Regehr
2007	A*	`conf`	Offline compression for on-chip ram. PLDI Nathan Cooprider, John Regehr
2007	B	`conf`	Runtime Verification for Wireless Sensor Network Applications. Runtime Verification Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee
2007	—	`ch.`	Safe and Structured Use of Interrupts in Real-Time and Embedded Software. Handbook of Real-Time and Embedded Systems John Regehr
2007	B	`conf`	Statistical Runtime Checking of Probabilistic Properties. RV Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr
2006	C	`conf`	Atomicity and visibility in tiny embedded systems. PLOS John Regehr, Nathan Cooprider, David Gay
2006	B	`conf`	Deriving abstract transfer functions for analyzing embedded software. LCTES John Regehr, Usit Duongsaa
2006	C	`conf`	Efficient type and memory safety for tiny embedded systems. PLOS John Regehr, Nathan Cooprider, Will Archer, Eric Eide
2006	J	`jnl`	From the Editor: Real-Time and Embedded Systems-Teaching Reliability. IEEE Distributed Syst. Online John Regehr
2006	—	`conf`	Interrupt Verification via Thread Verification. TV@FLoC John Regehr, Nathan Cooprider
2006	B	`conf`	Pluggable abstract domains for analyzing embedded software. LCTES Nathan Cooprider, John Regehr
2005	J	`jnl`	Eliminating stack overflow by abstract interpretation. ACM Trans. Embed. Comput. Syst. John Regehr, Alastair Reid, Kirk Webb
2005	B	`conf`	Preventing interrupt overload. LCTES John Regehr, Usit Duongsaa
2005	Misc	`conf`	Random testing of interrupt-driven software. EMSOFT John Regehr
2004	A	`conf`	Dynamic CPU Management for Real-Time, Middleware-Based Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Eric Eide, Tim Stack, John Regehr, Jay Lepreau
2004	A*	`conf`	HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS John Regehr, Alastair Reid
2003	Misc	`conf`	Eliminating Stack Overflow by Abstract Interpretation. EMSOFT John Regehr, Alastair Reid, Kirk Webb
2003	A	`conf`	Evolving real-time systems using hierarchical scheduling and concurrency analysis. RTSS John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau
2002	—	`conf`	Inferring Scheduling Behavior with Hourglass. USENIX ATC, FREENIX Track John Regehr
2002	A	`conf`	Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. RTSS John Regehr
2002	A*	`conf`	Static and dynamic structure in design patterns. ICSE Eric Eide, Alastair Reid, John Regehr, Jay Lepreau
2001	—	`conf`	Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. IEEE Real Time Technology and Applications Symposium John Regehr, John A. Stankovic
2001	A	`conf`	HLS: A Framework for Composing Soft Real-Time Schedulers. RTSS John Regehr, John A. Stankovic
2001	—	`conf`	The case for using middleware to manage diverse soft real-time schedulers. M3W@MM John Regehr, Jay Lepreau
2001	—	`conf`	Two Case Studies in Predictable Application Scheduling Using Rialto/NT. IEEE Real Time Technology and Applications Symposium Michael B. Jones, John Regehr, Stefan Saroiu
1999	—	`conf`	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 Michael B. Jones, John Regehr
1999	—	`conf`	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 Michael B. Jones, John Regehr