Media Summary: --- Path-sensitive static analysis simulates the runtime behavior of the ... When you're setting your hardware design out using automated tools is essential, but what if the tools themselves have Presentation: Speaker: Simon Gerst Talk Title:

Finding Typing Compiler Bugs - Detailed Analysis & Overview

--- Path-sensitive static analysis simulates the runtime behavior of the ... When you're setting your hardware design out using automated tools is essential, but what if the tools themselves have Presentation: Speaker: Simon Gerst Talk Title: For this quick video, I explain an oversight in my code, and how it caused undefined behavior. The wakey wakey its gvn oclock Join the discord: Support my work: ... Full File Name: 2016-05-17T00:02:00+00:00 - Terry A Davis Live Stream (8IwYCE3Ch4g).mp4 Full Archive: ...

You write the code. It runs. And then... BOOM — another Full File Name: 2016-05-10T00:00:00+00:00 - Terry A Davis Live Stream (T7nyCYdhHws).mp4 Full Archive: ...

Photo Gallery

Finding Typing Compiler Bugs
Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Fuzzing Programs to Find Bugs - Computerphile
"Finding bugs without running or even looking at code" by Jay Parlar
Finding Bugs Using Path-Sensitive Static Analysis - Gabor Horvath - CppCon 2021
Finding Hardware Bugs - Computerphile
#NullconBerlin2025 | Finding Bugs in V8: A Formal Verification Approach by Simon Gerst
Finding Compiler Bugs via Live Code Mutation
INSANE bug in my code from compiler optimization
studying compilers every day until i land a compiler role (day 223)
632 - Fixing A New Compiler Bug I'm Yet To Discover 😅 (TempleOS | Livestream) [2016]
Why Your Code ALWAYS Has Bugs (And How to Fix Them Fast)
View Detailed Profile
Finding Typing Compiler Bugs

Finding Typing Compiler Bugs

https://pldi22.sigplan.org/details/pldi-2022-pldi/2/

Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

Despite the substantial progress in

Fuzzing Programs to Find Bugs - Computerphile

Fuzzing Programs to Find Bugs - Computerphile

Fuzzing is a technique to

"Finding bugs without running or even looking at code" by Jay Parlar

"Finding bugs without running or even looking at code" by Jay Parlar

What if you could

Finding Bugs Using Path-Sensitive Static Analysis - Gabor Horvath - CppCon 2021

Finding Bugs Using Path-Sensitive Static Analysis - Gabor Horvath - CppCon 2021

https://cppcon.org/ https://github.com/CppCon/CppCon2021 --- Path-sensitive static analysis simulates the runtime behavior of the ...

Finding Hardware Bugs - Computerphile

Finding Hardware Bugs - Computerphile

When you're setting your hardware design out using automated tools is essential, but what if the tools themselves have

#NullconBerlin2025 | Finding Bugs in V8: A Formal Verification Approach by Simon Gerst

#NullconBerlin2025 | Finding Bugs in V8: A Formal Verification Approach by Simon Gerst

Presentation: https://berlin2025.nullcon.net/berlin-2025/recordings Speaker: Simon Gerst Talk Title:

Finding Compiler Bugs via Live Code Mutation

Finding Compiler Bugs via Live Code Mutation

Validating optimizing

INSANE bug in my code from compiler optimization

INSANE bug in my code from compiler optimization

For this quick video, I explain an oversight in my code, and how it caused undefined behavior. The

studying compilers every day until i land a compiler role (day 223)

studying compilers every day until i land a compiler role (day 223)

wakey wakey its gvn oclock Join the discord: https://discord.com/invite/KV2zChaX2J Support my work: ...

632 - Fixing A New Compiler Bug I'm Yet To Discover 😅 (TempleOS | Livestream) [2016]

632 - Fixing A New Compiler Bug I'm Yet To Discover 😅 (TempleOS | Livestream) [2016]

Full File Name: 2016-05-17T00:02:00+00:00 - Terry A Davis Live Stream (8IwYCE3Ch4g).mp4 Full Archive: ...

Why Your Code ALWAYS Has Bugs (And How to Fix Them Fast)

Why Your Code ALWAYS Has Bugs (And How to Fix Them Fast)

You write the code. It runs. And then... BOOM — another

598 - Fixing A Compiler Bug #6 (TempleOS | Livestream) [2016]

598 - Fixing A Compiler Bug #6 (TempleOS | Livestream) [2016]

Full File Name: 2016-05-10T00:00:00+00:00 - Terry A Davis Live Stream (T7nyCYdhHws).mp4 Full Archive: ...