John Regehr video

preview_player
Показать описание
John Regehr, Professor
School of Computing
University of Utah
  1. School of Computing, University of Utah
Рекомендации по теме
John Regehr video 0:03:05

John Regehr video

CppCon 2017: John 0:49:23

CppCon 2017: John Regehr “Undefined Behavior in 2017 (part 1 of 2)”

C++Now 2018: John 1:25:27

C++Now 2018: John Regehr “Closing Keynote: Undefined Behavior and Compiler Optimizations”

2019 LLVM Developers’ 0:26:28

2019 LLVM Developers’ Meeting: N. Lopes & J. Regehr “Alive2: Verifying Existing Optimizations”...

CppCon 2017: John 0:26:01

CppCon 2017: John Regehr “Undefined Behavior in 2017 (part 2 of 2)”

SQLite with a 0:44:50

SQLite with a Fine-Toothed Comb - John Regehr

Superoptimizing LLVM 0:49:07

Superoptimizing LLVM

#PLTalk: Fuzzing with 1:02:13

#PLTalk: Fuzzing with John Regehr

Dataflow-Based Pruning for 0:13:48

Dataflow-Based Pruning for Speeding up Superoptimization

Random Testing for 0:12:00

Random Testing for C and C++ Compilers with YARPGen

CppCast Episode 187: 0:54:23

CppCast Episode 187: Analyzing Undefined Behavior with John Regehr

John Regehr Slideshow 0:05:00

John Regehr Slideshow

Ask Me Anything 0:55:42

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr

[PLDI'23] Fuzzing Loop 0:17:05

[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

2021 LLVM Dev 0:05:19

2021 LLVM Dev Mtg “Please Stop Adding Attributes”

2016 LLVM Developers’ 0:42:29

2016 LLVM Developers’ Meeting: N. Lopes “Undefined Behavior: Long Live Poison!'

2022 LLVM Dev 0:19:22

2022 LLVM Dev Mtg: YARPGen: A Compiler Fuzzer for Loop Optimizations and Data-Parallel Languages

JavaScript Coders 0:00:28

JavaScript Coders

2014 LLVM Developers’ 0:40:19

2014 LLVM Developers’ Meeting: “Alive: Provably Correct InstCombine Optimizations”

2020 LLVM Developers’ 0:44:33

2020 LLVM Developers’ Meeting: J. Lee “Undef and Poison: Present and Future'

2019 EuroLLVM Developers’ 0:26:34

2019 EuroLLVM Developers’ Meeting: J. Doerfert “Compiler Optimizations for (OpenMP) Target Offl...”...

Integers in C 0:09:43

Integers in C Quiz: 2 Questions That'll Blow Your Mind!

hardwear.io 2017: Hardware 0:54:31

hardwear.io 2017: Hardware Trojans And The Internet Of Things by Dr. Christof Paar

CppCon 2016: Jon 0:06:08

CppCon 2016: Jon Kalb “unsigned: A Guideline for Better Code'