P4LRU: Towards an LRU Cache Entirely in Programmable Data Plane (SIGCOMM'23 S16)

(10:)

SIGCOMM'23 Technical Session 16: Caching and Provisioning

(57:10)

Keynote: Using P4 and P4Runtime for Optimal L3 Routing (Stefan Heule)

(44:32)

Toward Performance Portability of Highly Parametrizable TRSM Algorithm Using SYCL

(17:31)

[TyDe24] Towards Type-Directed API Search for Mainstream Languages

(27:23)

Fast and exact analysis for LRU caches

(18:41)

Towards Practical ORAMs

(1:20:9)

TI LFA Part I - overlapping PQ space

(10:36)

IR20.4 Convergence of the PA algorithm

(6:47)

Toward Fine Grained Blackbox Separations Between Semantic and Circular Security Notions

(22:)

CS885 Lecture 19a: End-to-end LSTM based dialog control (Presenter: Hamidreza Shahidi)

(17:10)

[POPL'24] Inference of Robust Reachability Constraints

(18:59)

[POPL'24] A Formalization of Core Why3 in Coq

(18:19)

Structure and Randomness for Finite-field Polynomials are (almost) Equivalent - Guy Moshkovitz

(1:9:25)

CoSc 450 Lecture 44

(43:29)

1608.04644 - Towards Evaluating the Robustness of Neural Networks

(16:13)

PIRL 2020: How the Experiment Ends, The Long Tale of Persistent Memory Enabling

(27:12)