John Regehr
where else to find them
website:http://www.cs.utah.edu/~regehr/
github:regehr
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski4 editions2020–2025
- OOPSLA3 editions2020–2025
all 5 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Zhendong Su25 talks
- Rastislav Bodík8 talks
- Peter Sewell14 talks
- Nada Amin26 talks
- Juneyoung Lee5 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers | POPL 2026 | 2026-01-11 |
Automates generation of MLIR integer abstract transformers by synthesizing small SSA programs (cut-style MCMC search) and composing them with… | ||
| Translation Validation for LLVM's AArch64 Backend | OOPSLA 2025 | 2025-10-16 |
arm-tv is a translation validator that lifts AArch64 assembly to LLVM MIR, extends Alive2 to handle mixed pointer/integer code and adds a flat memory model and… | ||
| First-Class Verification Dialects for MLIR | PLDI 2025 | 2025-06-16 |
Adds semantics as first-class MLIR dialects and a pipeline that lowers compiler IRs through high-level memory and undefined-behavior dialects to an SMT… | ||
| Minotaur: A SIMD-Oriented Synthesizing Superoptimizer | OOPSLA 2024 | 2024-10-20 |
Minotaur is a synthesizing superoptimizer for LLVM that searches SSA cuts and enumerates cheaper SIMD and scalar rewrites then formally verifies them with… | ||
| Hydra: Generalizing Peephole Optimizations with Program Synthesis | OOPSLA 2024 | 2024-10-20 |
Hydra uses program synthesis to turn specific superoptimizer rewrites into width-independent rules by synthesizing symbolic constants, dataflow preconditions… | ||
| Locknote: How Badly Do We Want Correct Compilers? | NDC TechTown 2023 | 2023-09-18 |
Compiler testing work uses differential fuzzing and program synthesis to find and fix real miscompilations, reporting hundreds of bugs and shifting compiler… | ||
| Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages | PLDI 2023 | 2023-06-17 |
An open-source reimplementation of YARPGen reimplementation generates C/C++ and data-parallel tests that statically avoid undefined behavior using a… | ||
| IRDL: An IR Definition Language for SSA Compilers | PLDI 2022 | 2022-06-13 |
A compact declarative language and toolchain that generates MLIR dialect bindings as C++/tablegen or supports runtime registration, applied to the MLIR… | ||
| Random Testing for C and C++ Compilers with YARPGen | OOPSLA 2020 | 2020-11-15 |
YARPGen is a C/C++ fuzzer that generates UB-free code by exact value tracking and operation swapping for arithmetic trees, applies generation policies… | ||
| Dataflow-Based Pruning for Speeding up Superoptimization | OOPSLA 2020 | 2020-11-15 |
Applies abstract interpretation to prune Souper's enumerative synthesis by proving whole families of partially symbolic candidates infeasible using domains… | ||
| Ask Me Anything with Bjarne Stroustrup | PLDI 2020 | 2020-06-15 |
Recommends using C++ for new embedded systems because of performance, ecosystem and evolving safety features; argues that concepts finally give templates… | ||
| Undefined Behavior in 2017 (part 1 of 2) | CppCon 2017 | 2017-09-24 |
Undefined behavior (UB) lets compilers assume impossible conditions, and modern optimizers increasingly turn those assumptions into surprising breakage… | ||
| Undefined Behavior in 2017 (part 2 of 2) | CppCon 2017 | 2017-09-24 |
Recent years deliver practical defenses: AddressSanitizer finds heap/stack/out-of-bounds issues fast, UndefinedBehaviorSanitizer catches signed/unsigned… | ||
| nothing matches | ||