* Sigplan (updated 2024-11-21) ~ youtor.org

Sigplan (updated 2024-11-21)

PLDI24 Falcon A Scalable Analytical Cache Model [upl. by Tonl641]

PLDI24 Falcon A Scalable Analytical Cache Model

Duration: 17:26
33 views | 4 months ago

PADL23 Modern Macros [upl. by Ailssa286]

PADL23 Modern Macros

Duration: 1:03:05
3.1K views | 8 Mar 2023

PLDI24 Modular Hardware Design of Pipelined Circuits with Hazards [upl. by Berkeley]

PLDI24 Modular Hardware Design of Pipelined Circuits with Hazards

Duration: 18:32
17 views | 4 months ago

PLDI24 Concurrent Immediate Reference Counting [upl. by Lrub213]

PLDI24 Concurrent Immediate Reference Counting

Duration: 16:56
29 views | 4 months ago

Conversations on Programming Languages [upl. by Popele]

Conversations on Programming Languages

Duration: 13:42
14.5K views | 1 month ago

Decompiling Dreams A New Approach to ARC [upl. by Guillema146]

Decompiling Dreams A New Approach to ARC

Duration: 51:35
48 views | 8 months ago

POPL24 Commutativity Simplifies Proofs of Parameterized Programs [upl. by Ydnahs698]

POPL24 Commutativity Simplifies Proofs of Parameterized Programs

Duration: 19:05
33 views | 4 months ago

PLDI24 Inductive Approach to Spacer [upl. by Eissirk]

PLDI24 Inductive Approach to Spacer

Duration: 17:39
66 views | 4 months ago

PLDI24 RefinedRust A Type System for HighAssurance Verification of Rust Programs [upl. by Leola]

PLDI24 RefinedRust A Type System for HighAssurance Verification of Rust Programs

Duration: 16:59
21 views | 4 months ago

ARRAY23 A MultiGPU PerformancePortable Solution for Array Programming Based on Kokkos [upl. by Acceb]

ARRAY23 A MultiGPU PerformancePortable Solution for Array Programming Based on Kokkos

Duration: 29:37
44 views | 1 week ago

ByteCast Episode 57 Xavier Leroy [upl. by Tterraj]

ByteCast Episode 57 Xavier Leroy

Duration: 34:26
75 views | 4 months ago

PLDI24 Scaling TypeBased Pointsto Analysis with Saturation [upl. by Landry]

PLDI24 Scaling TypeBased Pointsto Analysis with Saturation

Duration: 20:09
49 views | 9 months ago

FTSCS23 Formal Verification of a Mechanical Ventilator using UPPAAL [upl. by Caesar519]

FTSCS23 Formal Verification of a Mechanical Ventilator using UPPAAL

Duration: 32:00
29 views | 8 months ago

PEPM24 From Theory to Practice Crafting Differential Privacy Systems with Haskell [upl. by Tterag]

PEPM24 From Theory to Practice Crafting Differential Privacy Systems with Haskell

Duration: 1:01:02
44 views | 4 months ago

PLDI24 Associated Effects Flexible Abstractions for Effectful Programming [upl. by Timotheus]

PLDI24 Associated Effects Flexible Abstractions for Effectful Programming

Duration: 18:28
143 views | 4 months ago

PLDI24 Hashing Modulo ContextSensitive AlphaEquivalence [upl. by Gilles]

PLDI24 Hashing Modulo ContextSensitive AlphaEquivalence

Duration: 21:08
53 views | 4 months ago

PLDI24 Compilation of Modular and General Sparse Workspaces [upl. by Nitneuq]

PLDI24 Compilation of Modular and General Sparse Workspaces

Duration: 18:11
45 views | 4 months ago

EGRAPHS24 AlgorithmAware Hardware Optimization using EGraph Rewriting how should we marry… [upl. by Grondin]

EGRAPHS24 AlgorithmAware Hardware Optimization using EGraph Rewriting how should we marry…

Duration: 22:24
30 views | 4 months ago

PLDI24 Numerical Fuzz A Type System for Rounding Error Analysis [upl. by Haliled64]

PLDI24 Numerical Fuzz A Type System for Rounding Error Analysis

Duration: 20:42
73 views | 4 months ago

CPP24 Underapproximation for Scalable Bug Detection [upl. by Richie311]

CPP24 Underapproximation for Scalable Bug Detection

Duration: 58:45
61 views | 4 months ago

PLDI24 Diffy DataDriven Bug Finding for Configurations [upl. by Edniya]

PLDI24 Diffy DataDriven Bug Finding for Configurations

Duration: 21:58
32 views | 4 months ago

ARRAY24 The Landscape of Formal Verification in APL a Review with a Case Study in Quantum… [upl. by Aihsekan779]

ARRAY24 The Landscape of Formal Verification in APL a Review with a Case Study in Quantum…

Duration: 16:58
243 views | 3 weeks ago

PLDI24 FloatingPoint TVPI Abstract Domain [upl. by Toulon516]

PLDI24 FloatingPoint TVPI Abstract Domain

Duration: 17:08
219 views | 2 months ago

ARRAY24 ZeroOverhead Parallel Scans for MultiCore CPUs [upl. by Seligmann167]

ARRAY24 ZeroOverhead Parallel Scans for MultiCore CPUs

Duration: 24:52
951 views | 2 months ago

ARRAY24 Work Assisting Linking TaskParallel Work Stealing with DataParallel Self Scheduling [upl. by Aeriell]

ARRAY24 Work Assisting Linking TaskParallel Work Stealing with DataParallel Self Scheduling

Duration: 24:45
349 views | 2 months ago

SPLASH24 IBR West OOPSLA Oct 25th [upl. by Yralih]

SPLASH24 IBR West OOPSLA Oct 25th

Duration: 9:02:48
172 views | 4 weeks ago

ICFP24 Meeting 4 FProPer Sep 6th [upl. by Ursulina952]

ICFP24 Meeting 4 FProPer Sep 6th

Duration: 8:22:17
|

ICFP24 Orange 2 OCaml Sep 7th [upl. by Argile629]

ICFP24 Orange 2 OCaml Sep 7th

Duration: 8:12:48
|

ICFP24 Orange 3 PLMW Sep 2nd [upl. by Curhan]

ICFP24 Orange 3 PLMW Sep 2nd

Duration:
|

SPLASH24 San Marino GPCE Oct 22th [upl. by Norby363]

SPLASH24 San Marino GPCE Oct 22th

Duration:
|

Our site allows you to download your favorite videos in MP3 (audio) or MP4 (video) format in the most efficient way. You can find your favorite videos using "search" to download them.

New on site

Content Report
youtor.org / Youtor Videos converter © 2024