[oopsla23] compiling structured tensor algebra
Published 9 months ago • 69 plays • Length 19:56Download video MP4
Download video MP3
Similar videos
-
18:54
distal: the distributed tensor algebra compiler
-
25:12
format abstraction for sparse tensor algebra compilers
-
![[oopsla] compilation of dynamic sparse tensor algebra](https://i.ytimg.com/vi/HqJCUwLCz-M/mqdefault.jpg)
31:31
[oopsla] compilation of dynamic sparse tensor algebra
-
![[pldi'23] mosaic: an interoperable compiler for tensor algebra](https://i.ytimg.com/vi/2I0DwL9uOcg/mqdefault.jpg)
18:34
[pldi'23] mosaic: an interoperable compiler for tensor algebra
-
![[oopsla23] inductive program synthesis guided by observational program similarity](https://i.ytimg.com/vi/RjhdHVyEmtE/mqdefault.jpg)
17:55
[oopsla23] inductive program synthesis guided by observational program similarity
-
15:14
mathematicians explains fermat's last theorem | edward frenkel and lex fridman
-
10:45
the man who solved the $1 million math problem...then disappeared
-
17:42
twin prime conjecture - numberphile
-
![[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism](https://i.ytimg.com/vi/nR1Cm_a7seY/mqdefault.jpg)
16:59
[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism
-
![[oopsla23] regular expression matching using bit vector automata](https://i.ytimg.com/vi/434zZOikoI0/mqdefault.jpg)
17:57
[oopsla23] regular expression matching using bit vector automata
-
18:02
autoscheduling for sparse tensor algebra with an asymptotic cost model
-
1:11:14
the taco sparse tensor algebra compiler
-
0:38
why greatest mathematicians are not trying to prove riemann hypothesis? || #short #terencetao #maths
-
![[pldi24] a verified compiler for a functional tensor language](https://i.ytimg.com/vi/7jfCGkfCg7M/mqdefault.jpg)
18:01
[pldi24] a verified compiler for a functional tensor language