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
166 results
Anything made on a computer can be iterated upon; the more diverse the audience, the better! This is part of our video series ...
3,359 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,345 views
1 year ago
Software artifacts are the building blocks of modern software development. In this video, we break down what software artifacts ...
932 views
9 months ago
Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools (Video, OOPSLA2 2025) ...
8 views
1 month 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
Testing of a computational Artifact Computational Thinking and Algorithms Lecture#7 Chapter#2 Unit#2 New updated Computer ...
1,638 views
Computational Thinking and Algorithms Computational Artifacts Lecture#2 Chapter#2 Unit#2 New updated Computer Science ...
2,634 views
Random Testing of a Higher-Order Blockchain Language (Experience Report) (Video, ICFP 2022) Tram Hoang, Anton Trunov, ...
280 views
3 years 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
Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning (Video, OOPSLA 2024) Gabriel Ryan, Burcu ...
14 views
17,610 views
"ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code (Video, ESEC/FSE ...
159 views
Performal: Formal Verification of Latency Properties for Distributed Systems (Video, PLDI 2023) Tony Nuda Zhang, Upamanyu ...
118 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
Dive into the world of computational artifacts and discover the building blocks of software development! In this video tutorial, we'll ...
431 views
5 months ago
Progressful Interpreters for Efficient WebAssembly Mechanisation (Video, POPL 2025) Xiaojia Rao, Stefan Radziuk, Conrad Watt, ...
43 views
8 months ago
Shaking Up Quantum Simulators with Fuzzing and Rigour (Video, OOPSLA2 2025) Vasileios Klimis, Avner Bensoussan, Elena ...
4 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 ...
287 views
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs Charles Yuan, Christopher McNally, and Michael ...
133 views
![[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)
![[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'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)
![[BJC.1x] Creativity Part 2 : Computational Artifacts](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FYeD2k5mwJ8g%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)
![[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FH3GIBgH5Ud4%2Fsddefault.jpg)