[pldi24] compilation of modular and general sparse workspaces

Published 4 months ago • 235 plays • Length 18:11

Download video MP4
Download video MP3

Similar videos

21:33

[sparse24] design dsls with xdsl
40:06

[pldi24] superfusion: eliminating intermediate data structures via inductive synthesis
21:25

[pldi24] mechanised hypersafety proofs about structured data
20:22

[pldi24] compilation of qubit circuits to optimized qutrit circuits
17:26

[pldi24] falcon: a scalable analytical cache model
18:32

[pldi24] modular hardware design of pipelined circuits with hazards
18:01

[pldi24] a verified compiler for a functional tensor language
18:41

[pldi24] a lightweight polyglot code transformation language
18:42

[pldi24] program analysis for adaptive data analysis
20:28

[pldi24] vesta: power modeling with language runtime events
21:11

[pldi24] [toplas] cflobdds: context-free-language ordered binary decision diagrams
20:28

[pldi24] gensql: a probabilistic programming system for querying generative models of database(…)
14:47

[pldi24] pl4xgl: a programming language approach to explainable graph learning

Clip.africa.com - Privacy-policy