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
163 results
Please Subscribe to my youtube channel and click bell icon so you get latest videos easily. If you have any query regarding ...
11,156 views
1 year 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,309 views
2 years ago
Software artifacts are the building blocks of modern software development. In this video, we break down what software artifacts ...
869 views
9 months ago
Testing of a computational Artifact Computational Thinking and Algorithms Lecture#7 Chapter#2 Unit#2 New updated Computer ...
1,579 views
Computational Thinking and Algorithms Computational Artifacts Lecture#2 Chapter#2 Unit#2 New updated Computer Science ...
2,542 views
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
Random Testing of a Higher-Order Blockchain Language (Experience Report) (Video, ICFP 2022) Tram Hoang, Anton Trunov, ...
280 views
3 years ago
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools (Video, OOPSLA2 2025) ...
0 views
3 weeks ago
17,346 views
Software Model Checking via Summary-Guided Search (Video, OOPSLA2 2025) Ruijie Fang, Zachary Kincaid, and Thomas Reps ...
8 views
Dive into the world of computational artifacts and discover the building blocks of software development! In this video tutorial, we'll ...
403 views
4 months ago
And now, we're going to talk about computational artifacts. So first of all, mention what computing enables people to do. And this is ...
858 views
4 years ago
"ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code (Video, ESEC/FSE ...
159 views
PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting (Video, OOPSLA 2024) ...
16 views
Alright so the purpose of this video is to help you to have a understanding of the computational artifact so once you have decided ...
286 views
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning (Video, OOPSLA 2024) Gabriel Ryan, Burcu ...
15 views
Progressful Interpreters for Efficient WebAssembly Mechanisation (Video, POPL 2025) Xiaojia Rao, Stefan Radziuk, Conrad Watt, ...
42 views
7 months ago
How to Eliminate Imaginary Phonon Modes in SrIrH₈ under 100 GPa Facing imaginary phonon modes in your DFT calculations?
10 views
5 months ago
Performal: Formal Verification of Latency Properties for Distributed Systems (Video, PLDI 2023) Tony Nuda Zhang, Upamanyu ...
117 views
Planning and development of a computational Artifact Computational Thinking and Algorithms Lecture#5 Chapter#2 Unit#2 New ...
1,829 views
![[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)
![[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)
![[BJC.1x] Creativity Part 2 : Computational Artifacts](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FYeD2k5mwJ8g%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)
![[POPL'25] Progressful Interpreters for Efficient WebAssembly Mechanisation](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FsupcUP0YdS8%2Fsddefault.jpg)
![[PLDI'23] Performal: Formal Verification of Latency Properties for Distributed Systems](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FPq7c-tsFYus%2Fsddefault.jpg)
