Download video

7 views

2 months ago

[OOPSLA24] Mix Testing: Specifying and Testing ABI Compatibility of C\/C++ Atomics Implementations
17:56
[OOPSLA24] Mix Testing: Specifying and Testing ABI Compatibility of C\/C++ Atomics Implementations
by ACM SIGPLAN
[OOPSLA24] SMT2Test: From SMT Formulas to Effective Test Cases
18:26
[OOPSLA24] SMT2Test: From SMT Formulas to Effective Test Cases
by ACM SIGPLAN
[OOPSLA24] Effects and Coeffects in Call-By-Push-Value
18:52
[OOPSLA24] Effects and Coeffects in Call-By-Push-Value
by ACM SIGPLAN
Concurrency Hylomorphism - Lucian Radu Teodorescu - ACCU 2024
1:13:20
Concurrency Hylomorphism - Lucian Radu Teodorescu - ACCU 2024
by ACCU Conference
[OOPSLA24] Rustlantis: Randomized Differential Testing of the Rust Compiler
19:02
[OOPSLA24] Rustlantis: Randomized Differential Testing of the Rust Compiler
by ACM SIGPLAN
[OOPSLA24] Sound and partially-complete static analysis of data-races in GPU programs
15:16
[OOPSLA24] Sound and partially-complete static analysis of data-races in GPU programs
by ACM SIGPLAN
Celeron 1005M vs EXMPA V6 8.22 million
13:11
Celeron 1005M vs EXMPA V6 8.22 million
by partay medes
[ML24] Is there a use for linear types?
31:09
[ML24] Is there a use for linear types?
by ACM SIGPLAN
CONOR HOEKSTRA - Arrays, Fusion, CPU vs GPU
53:38
CONOR HOEKSTRA - Arrays, Fusion, CPU vs GPU
by cppunderthesea
[OOPSLA24] Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis(…)
18:26
[OOPSLA24] Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis(…)
by ACM SIGPLAN
[OOPSLA24] Verified Lock-Free Session Channels with Linking
16:05
[OOPSLA24] Verified Lock-Free Session Channels with Linking
by ACM SIGPLAN
[OOPSLA24] The Ultimate Conditional Syntax
17:59
[OOPSLA24] The Ultimate Conditional Syntax
by ACM SIGPLAN
[OOPSLA24] AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
20:13
[OOPSLA24] AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
by ACM SIGPLAN
[OOPSLA24] CoolerSpace: A Language for Physically Correct and Computationally Efficient Color(…)
16:38
[OOPSLA24] CoolerSpace: A Language for Physically Correct and Computationally Efficient Color(…)
by ACM SIGPLAN
Composition Intuition II - Conor Hoekstra
1:33:17
Composition Intuition II - Conor Hoekstra
by CppNorth
[OOPSLA24] A Case for First-Class Environments
17:51
[OOPSLA24] A Case for First-Class Environments
by ACM SIGPLAN
[OOPSLA24] Finding Cross-rule Optimization Bugs in Datalog Engines
17:29
[OOPSLA24] Finding Cross-rule Optimization Bugs in Datalog Engines
by ACM SIGPLAN
[OOPSLA24] Identifying and Correcting Programming Language Behavior Misconceptions
18:36
[OOPSLA24] Identifying and Correcting Programming Language Behavior Misconceptions
by ACM SIGPLAN
[OOPSLA24] Qualifying System F-sub
18:28
[OOPSLA24] Qualifying System F-sub
by ACM SIGPLAN
WDAA IOC B2J, Basic Test 2 Junior - #235 Tessa Caldwell
5:42
WDAA IOC B2J, Basic Test 2 Junior - #235 Tessa Caldwell
by Kim Caldwell