PACMPL: Vol 9, No OOPSLA1
PACMPL: Vol 9, No OOPSLA1
2 months ago
acm.org
OOPSLA keynote: Scrub and Spin | Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
OOPSLA keynote: Scrub and Spin | Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Mar 13, 2020
acm.org
OOPSLA Conference: Growing a Language
54:12
OOPSLA Conference: Growing a Language
20.9K viewsAug 17, 2020
YouTubeComputer History Museum
[OOPSLA24] Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
17:46
[OOPSLA24] Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages
43 viewsMar 26, 2025
YouTubeACM SIGPLAN
OOPSLA keynote: Turing Award Lecture (reprise) | Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
OOPSLA keynote: Turing Award Lecture (reprise) | Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Oct 25, 2009
acm.org
The object-oriented trivia show (TOOTS) | Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
The object-oriented trivia show (TOOTS) | Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Dec 30, 2019
acm.org
[OOPSLA'25] Multi-Language Probabilistic Programming
14:13
[OOPSLA'25] Multi-Language Probabilistic Programming
29 views5 months ago
YouTubeACM SIGPLAN
20:00
TLA Model Checking Made Symbolic (OOPSLA2021)
111 viewsMar 12, 2022
bilibiliant-hengxin
1:03:36
Christopher Alexander - Patterns in Architecture
129K viewsSep 9, 2013
YouTubePeter Petrash
15:25
[OOPSLA'25] Interleaving Large Language Models for Compiler Testing
6 views5 months ago
YouTubeACM SIGPLAN
16:27
[OOPSLA'25] Software Model Checking via Summary-Guided Search
10 views5 months ago
YouTubeACM SIGPLAN
1:18:35
Barbara Liskov, 2008 ACM A.M. Turing Award Lecture "The Power of Abstraction"
49.1K viewsJan 29, 2013
YouTubeAssociation for Computing Machinery (ACM)
2:04
Oopsalala intro multilanguage
130 views3 months ago
YouTube💖Eugenia𝕏𝕐ℤ🍓
14:02
[OOPSLA'25] Non-interference Preserving Optimising Compilation
9 views5 months ago
YouTubeACM SIGPLAN
53:31
Growing a Language, by Guy Steele
162.7K viewsJul 15, 2012
YouTubeBill Pugh
9:22:23
[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 18th)
452 views7 months ago
YouTubeACM SIGPLAN
29:57
Syntactic Completions with Material Obligations [OOPSLA'25]
312 views3 months ago
YouTubeDavid Moon
[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th)
290 views7 months ago
YouTubeACM SIGPLAN
13:28
[OOPSLA'25] Fast Constraint Synthesis for C++ Function Templates
199 views5 months ago
YouTubeACM SIGPLAN
14:11
[OOPSLA'25] Automated Verification of Soundness of DNN Certifiers
3 views5 months ago
YouTubeACM SIGPLAN
1:01:23
[OOPSLA Keynote] How Dart Learned From Past Object-Oriented Systems
1.6K viewsNov 2, 2015
YouTubeSPLASH15 Conference
18:06
[OOPSLA24] Semantic-Type-Guided Bug Finding
13 viewsMar 26, 2025
YouTubeACM SIGPLAN
13:15
[OOPSLA'25] Interactive Bit Vector Reasoning using Verified Bitblasting
44 views5 months ago
YouTubeACM SIGPLAN
12:22
[OOPSLA'25] DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance
8 views5 months ago
YouTubeACM SIGPLAN
29:17
[OOPSLA] A Fast In-Place Interpreter for WebAssembly
597 viewsApr 13, 2023
YouTubeACM SIGPLAN
43:39
He Found 100+ Bugs in SMT Solvers?! [OOPSLA 2025] with Dominik Winterer
25 views6 months ago
YouTubeDisseminate: The Computer Science Researc…
[SPLASH'24] IBR East - OOPSLA (Oct 25th)
791 viewsOct 25, 2024
YouTubeACM SIGPLAN
1:04:33
Alan Kay at OOPSLA 1997 - The computer revolution hasnt happened yet
123.3K viewsFeb 12, 2013
YouTubeJeff Gonis
58:48
This Tool Finds Hidden Concurrency Bugs in Java Apps [OOPSLA 2025: Fray]
58 views7 months ago
YouTubeDisseminate: The Computer Science Researc…
See more
Static thumbnail place holder