Youtop Video Search

Home / Tag / Popl 26 Miri Practical Undefined Behavio

popl26 miri practical undefined behavior detection for rust
584 | 24:41 | 2026-02-02

prisc26 mind the boundary detecting undefined behavior across rust s ffi
21 | 20:58 | 2026-02-02

undefined behavior in c what every programmer should know and fear fedor pikus cppcon 2023
36877 | 32:50 | 2024-02-23

christian poveda miri undefined behavior and foreign functions rustfest global 2020
1506 | 44:29 | 2021-02-23

popl26 typing strictness
119 | 26:31 | 2026-02-02

popl26 higher order behavioural conformances via fibrations
14 | 26:44 | 2026-02-02

popl26 local contextual type inference
155 | 23:49 | 2026-02-02

popl26 handling scope checks a comparative framework for dynamic scope extrusion checks
32 | 24:14 | 2026-02-02

popl26 a complementary approach to incorrectness typing
22 | 29:46 | 2026-02-02

popl26 rows and capabilities as modal effects
52 | 25:03 | 2026-02-02

popl26 big stop semantics small step semantics in a big step judgment
43 | 24:48 | 2026-02-02

popl26 security reasoning via substructural dependency tracking
87 | 22:45 | 2026-02-02

popl26 lazy linearity for a core functional language
32 | 22:17 | 2026-02-02

popl26 accelerating syntax guided program synthesis by optimizing domain specific languages
18 | 17:01 | 2026-02-02

popl26 foundational multi modal program verifiers
15 | 24:16 | 2026-02-02

popl26 bounded sort polymorphism with elimination constraints
20 | 23:16 | 2026-02-02

popl26 recurrence sets for proving fair non termination under axiomatic memory consistency models
69 | 27:09 | 2026-02-02

popl26 the complexity of testing message passing concurrency
16 | 25:02 | 2026-02-02

popl26 verifying almost sure termination for randomized distributed algorithms
4 | 23:53 | 2026-02-02

popl26 a lazy concurrent convertibility checker
33 | 24:37 | 2026-02-02

popl26 u turn enhancing incorrectness analysis by reversing direction
17 | 24:08 | 2026-02-02