UF14SPR, COT5405 40 lh

(52:22)

UF14SPR, COT5405 34 lh

(50:20)

UF14SPR, COT5405 42 lh

(35:12)

UF14SPR, COT5405 38 lh

(51:35)

UF14SPR, COT5405 39 lh

(55:34)

UF14SPR, COT5405 41 lh

(56:57)

UF14SPR, COT5405 33 lh

(48:17)

UF14SPR, COT5405 35 lh

(49:12)

UF14SPR, COT5405 31 lh

(49:32)

UF14SPR, COT5405 32 lh

(53:26)

UF14SPR, COT5405 37 lh

(52:54)

COT5405 04 lh

(54:29)

[POPL'18] On Automatically Proving the Correctness of math.h Implementations

(25:30)

[POPL'18] Simplicitly: Foundations and Applications of Implicit Function Types

(29:46)

[POPL'18] Strategy Synthesis for Linear Arithmetic Games

(25:7)

Analytical vs Global Spectrum

(2:39)