[pldi'23] fuzzing loop optimizations in compilers for c and data-parallel languages
Published 5 months ago • 60 plays • Length 17:05Download video MP4
Download video MP3
Similar videos
-
19:22
2022 llvm dev mtg: yarpgen: a compiler fuzzer for loop optimizations and data-parallel languages
-
16:49
[pldi'23] purecake: a verified compiler for a lazy functional language
-
20:07
[pldi'23] verified density compilation for a probabilistic programming language
-
20:26
[pldi'23] heaan.mlir: an optimizing compiler for fast ring-based homomorphic encryption
-
36:49
[plmw@pldi24] a tour of program optimization
-
19:56
fpgas and low latency trading - williston hayes - optiver - fpl2020
-
24:51
go low latency patterns - gophercon sg 2023
-
8:03
how to setup loops in fluent control (2023)
-
21:03
[mplr23] diagnosing compiler performance by comparing optimization decisions
-
20:34
[pldi'23] efficient parallel functional programming with effects
-
23:51
[pldi'23] synthesizing quantum-circuit optimizers
-
18:54
[pldi24] [pldi 2023] program reconditioning: avoiding undefined behaviour when finding and(…)
-
18:34
[pldi'23] mosaic: an interoperable compiler for tensor algebra
-
19:50
[pldi'23] formally verified samplers from probabilistic programs with loops and conditioning
-
18:53
[pldi'23] feature-sensitive coverage for conformance testing of programming language implementations
-
9:06
2024 eurollvm - practical fuzzing for c/c compilers