Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.김태수|Georgia Tech 12/18 (화) 11:30|302-107
The Edge Supercloud: Blockchains for the EdgeHakim Weatherspoon |Cornell University 12/17 (월) 16:00|302-107
Technical challenges of blockchains : algorithms, formal verification and economicsDiego Olivier Fernandez Pons|Tezos Foundation 12/5 (수) 16:00|302-309/1
Program Hardening with a Binary RecompilerDavid Williams-King|Columbia University 12/4 (화) 13:00|302동 309-1호
The Future of Computing: Domain-Specific AcceleratorsWilliam J. Dally|NVIDIA, NVIDIA Research11/28 (수) 16:30|302-105
locating all maximal approximate runs in a stringGad M. Landau|University of Haifa11/26 (월) 11:00|301-317