23:58[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling RewritesACM SIGPLAN375 viewsView & Download
4:53Verified Tensor-Program Optimization Via High-level Scheduling Rewrites (Teaser)ACM SIGPLAN138 viewsView & Download
55:28Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites | SAMPL Talk 2022/04/21uwsampl486 viewsView & Download
2:45Fine-Tune an SLM on Support Tickets — Full Pipeline WalkthroughTensor Greed4 viewsView & Download
23:10[POPL 2021] Formally Verified Speculation and Deoptimization in a JIT Compiler (full)ACM SIGPLAN253 viewsView & Download
1:04:30The Most Important Optimizations to Apply in Your C++ Programs - Jan Bielak - CppCon 2022CppCon73.8K viewsView & Download
14:54OSDI '21 - PET: Optimizing Tensor Programs with Partially Equivalent Transformations and AutomatedUSENIX682 viewsView & Download
7:47Headroom: The Context Optimization Layer for LLM ApplicationsResearch Paper Review87 viewsView & Download
1:14:51[TutFest@POPL'22] Program Analysis via Graph Reachability [Part I]ACM SIGPLAN780 viewsView & Download
10:04vLLM | Engineering High-Throughput Inference & PagedAttention Systems | UplatzUplatz0 viewsView & Download
![[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/f2NEU1ENt6A/mqdefault)
![[POPL 2021] Formally Verified Speculation and Deoptimization in a JIT Compiler (full) — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/1W1LQWBVfz4/mqdefault)
![[PLMW@PLDI24] A Tour of Program Optimization — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/SivQplf4OkE/mqdefault)
![[POPL'22] Static Prediction of Parallel Computation Graphs — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/uQbMrg5hWBA/mqdefault)
![[TutFest@POPL'22] Program Analysis via Graph Reachability [Part I] — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/tzVJ6RD5fj4/mqdefault)
![[POPL'22] Profile Inference Revisited — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/dmdTIIjzOZk/mqdefault)
![[POPL'22] Logarithm and Program Testing — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/WKG-0VI69rs/mqdefault)
![[POPL'22] Linked Visualisations via Galois Dependencies — ACM SIGPLAN — popl22 verified tensor program optimization via high level scheduling rewrites YouTube to MP3 & MP4 download on TubeGalore](/api/image/M_ePrtD9axk/mqdefault)