Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
73 results
Assallam O Alikum Students, Here's a video of Computer Science for class 11th. A complete detailed explanation has been given ...
139 views
1 month ago
Software artifacts are the building blocks of modern software development. In this video, we break down what software artifacts ...
978 views
10 months ago
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools (Video, OOPSLA2 2025) ...
8 views
1,127 views
3 months ago
Dive into the world of computational artifacts and discover the building blocks of software development! In this video tutorial, we'll ...
450 views
5 months ago
Software Model Checking via Summary-Guided Search (Video, OOPSLA2 2025) Ruijie Fang, Zachary Kincaid, and Thomas Reps ...
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting (Video, OOPSLA 2024) ...
17 views
9 months ago
Lecture Notes: Full Chapter 2 Playlist: https://youtube.com/playlist?list=PL8TpRl-OpwZIsxDJoeZC-pq9016uYVv-B Understanding ...
1,008 views
8 months ago
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning (Video, OOPSLA 2024) Gabriel Ryan, Burcu ...
14 views
Efficient Linearizability Monitoring (Video, PLDI 2025) Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan ...
50 views
6 months ago
Progressful Interpreters for Efficient WebAssembly Mechanisation (Video, POPL 2025) Xiaojia Rao, Stefan Radziuk, Conrad Watt, ...
43 views
Shaking Up Quantum Simulators with Fuzzing and Rigour (Video, OOPSLA2 2025) Vasileios Klimis, Avner Bensoussan, Elena ...
6 views
Program Synthesis from Partial Traces (Video, PLDI 2025) Margarida Ferreira, Victor Nicolet, Joey Dodds, and Daniel Kroening ...
47 views
... Book NBF | NCP Computational Thinking & Algorithm Examples Jeero Flower Picking Problem Testing Computational Artifacts ...
757 views
How to Eliminate Imaginary Phonon Modes in SrIrH₈ under 100 GPa Facing imaginary phonon modes in your DFT calculations?
12 views
1,099 views
2.1.3 Planning and Developing a Computational Artifact Example: Jeroo Flower Picking Problem Unit 02 Computational Thinking ...
346 views
4 months ago
Class 11 computer chapter #2 Computational Thinkinking and Algorithms. fbise revision session Description: Welcome to Chapter ...
11 months ago
Bonsai: Synthesis-Based Reasoning for Type Systems Kartik Chandra and Rastislav Bodik (Henry M. Gunn High School, USA ...
35 views
What's driving the rapid adoption of MLOps? In this video, we explore the key forces behind MLOps, including 1. Data Data ...
![[OOPSLA'25] Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of(…)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FCIXT8z5Y2F0%2Fsddefault.jpg)
![[OOPSLA'25] Software Model Checking via Summary-Guided Search](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fh8MU14LYQck%2Fsddefault.jpg)
![[OOPSLA24] PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation(…)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FTUFqOXKYyv0%2Fsddefault.jpg)
![[OOPSLA24] Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F0XjRzaUdX2E%2Fsddefault.jpg)
![[PLDI'25] Efficient Linearizability Monitoring](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FCJHvBcLe9YI%2Fsddefault.jpg)
![[POPL'25] Progressful Interpreters for Efficient WebAssembly Mechanisation](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FsupcUP0YdS8%2Fsddefault.jpg)
![[OOPSLA'25] Shaking Up Quantum Simulators with Fuzzing and Rigour](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FMj5wbnMGeps%2Fsddefault.jpg)
![[PLDI'25] Program Synthesis From Partial Traces](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FD6pciSxbIy0%2Fsddefault.jpg)
![[POPL'18] Bonsai: Synthesis-Based Reasoning for Type Systems](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2Ffqsn36PhhFM%2Fsddefault.jpg)
