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
381 results
Assallam O Alikum Students, Here's a video of Computer Science for class 11th. A complete detailed explanation has been given ...
126 views
1 month ago
Anything made on a computer can be iterated upon; the more diverse the audience, the better! This is part of our video series ...
3,355 views
2 years ago
Please Subscribe to my youtube channel and click bell icon so you get latest videos easily. If you have any query regarding ...
11,335 views
1 year ago
Software artifacts are the building blocks of modern software development. In this video, we break down what software artifacts ...
931 views
9 months ago
Logarithm and Program Testing Kuen-Bang Hou (Favonia) and Zhuyang Wang (University of Minnesota, USA; University of ...
142 views
3 years ago
... the actual functionality implementing code and then you have another program run tests which can extract those from the artifact ...
468 views
9 years ago
Hi, this is Hengchu, PhD student at University of Pennsylvania. My supervisor is Benjamin Pierce. Our OOPSLA'20 paper is on ...
86 views
5 years ago
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools (Video, OOPSLA2 2025) ...
8 views
So I hope that makes sense the project is about a computing innovation something that uses code and your computational artifact ...
1,657 views
1,745 views
8 years ago
Random Testing of a Higher-Order Blockchain Language (Experience Report) (Video, ICFP 2022) Tram Hoang, Anton Trunov, ...
280 views
Formal Specification and Testing for Reinforcement Learning (Video, ICFP 2023) Mahsa Varshosaz, Mohsen Ghaffari, Einar ...
Software Model Checking via Summary-Guided Search (Video, OOPSLA2 2025) Ruijie Fang, Zachary Kincaid, and Thomas Reps ...
Created using Powtoon -- Free sign up at http://www.powtoon.com/youtube/ -- Create animated videos and animated ...
46 views
7 years ago
cpu #gpu #nvidia #shorts #viral #shortsfeed These guys did a speedrun comparison between a CPU and a GPU, and the results ...
322,196 views
17,594 views
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting (Video, OOPSLA 2024) ...
17 views
And now, we're going to talk about computational artifacts. So first of all, mention what computing enables people to do. And this is ...
863 views
4 years ago
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning (Video, OOPSLA 2024) Gabriel Ryan, Burcu ...
14 views
"ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code (Video, ESEC/FSE ...
159 views
![[POPL'22] Logarithm and Program Testing](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FWKG-0VI69rs%2Fsddefault.jpg)
![[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)
![[ICFP'22] Random Testing of a Higher-Order Blockchain Language (Experience Report)](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2F1k5z9shEDAs%2Fsddefault.jpg)
![[ICFP'23] Formal Specification and Testing for Reinforcement Learning](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FZfveJEOj9Do%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)
![[BJC.1x] Creativity Part 2 : Computational Artifacts](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FYeD2k5mwJ8g%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)
