[oopsla] a concurrent program logic with a future and history
Published 1 year ago • 172 plays • Length 23:53Download video MP4
Download video MP3
Similar videos
-
![[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c](https://i.ytimg.com/vi/fK1Jm9ReClo/mqdefault.jpg)
18:19
[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c
-
![[pldi24] vesta: power modeling with language runtime events](https://i.ytimg.com/vi/dF2JcBZVUbA/mqdefault.jpg)
20:28
[pldi24] vesta: power modeling with language runtime events
-
![[oopsla] unirec: a unimodular-like framework for nested recursions and loops](https://i.ytimg.com/vi/0ga5RU1ILkM/mqdefault.jpg)
30:41
[oopsla] unirec: a unimodular-like framework for nested recursions and loops
-
![[popl'22] concurrent incorrectness separation logic](https://i.ytimg.com/vi/1m7ebAOH8CI/mqdefault.jpg)
26:44
[popl'22] concurrent incorrectness separation logic
-
6:08
ditch your favorite programming paradigm
-
12:55
code review: clojure lexer
-
18:55
object oriented programming vs functional programming
-
47:25
"computer-aided concurrent programming" by roopsha samanta [pwlconf 2018]
-
![[popl'24] an axiomatic basis for computer programming on the relaxed arm-a architecture: t...](https://i.ytimg.com/vi/c_Te-E79teY/mqdefault.jpg)
19:03
[popl'24] an axiomatic basis for computer programming on the relaxed arm-a architecture: t...
-
![[gpce23] crossover: towards compiler-enabled cobol-c interoperability](https://i.ytimg.com/vi/SgEVF4avf2Y/mqdefault.jpg)
24:44
[gpce23] crossover: towards compiler-enabled cobol-c interoperability
-
![[oopsla] verified compilation of quantum oracles](https://i.ytimg.com/vi/uTxEnxk4da4/mqdefault.jpg)
32:48
[oopsla] verified compilation of quantum oracles