OOPLSA

[SPLASH'24] San Gabriel7:14:18

[SPLASH'24] San Gabriel - OOPSLA (Oct 23th)

OOPSLA21 teaser: How0:03:15

OOPSLA21 teaser: How to Speed Up Differentiable Programming by 300X

[OOPSLA] Scrap your0:20:52

[OOPSLA] Scrap your Boilerplate with Object Algebras

[OOPSLA] Automating Ad-hoc0:20:12

[OOPSLA] Automating Ad-hoc Data Representation Transformations

Coarsening Optimization for0:15:03

Coarsening Optimization for Differentiable Programming

'Machine Learning for0:42:38

'Machine Learning for Developer Productivity' by Satish Chandra (Strange Loop 2022)

What is Scrum:1:03:49

What is Scrum: An Introduction to the Scrum Framework

Matching Logic: Foundation1:03:14

Matching Logic: Foundation of the K Framework

Holy Liturgy |0:02:49

Holy Liturgy | February 24th, 2019

IOHK | Formal1:28:03

IOHK | Formal Design, Implementation and Verification - Prof. Grigore Rosu

Quantum Computing Engineering:0:58:33

Quantum Computing Engineering: Challenges and Opportunities - Dr. Yufei Ding

'Compiler and Runtime0:17:41

'Compiler and Runtime Support for Exploring AI-GPU Acceleration' - Yufei Ding

Quantum Computing Engineering:1:05:05

Quantum Computing Engineering: Challenges and Opportunities - Yufei Ding

Introduction to Scrum0:58:16

Introduction to Scrum

Intro to Scrum0:58:16

Intro to Scrum Webinar - Presented by Axosoft & Scrum.org

[ASI] Clase Teórica1:58:31

[ASI] Clase Teórica 12/05 - Paradigma Orientado a Objetos