Program Hardening with a Binary RecompilerDavid Williams-King|Columbia University 2018/12/04 (화) 오후 01:00|302동 309-1호
The Future of Computing: Domain-Specific AcceleratorsWilliam J. Dally|NVIDIA, NVIDIA Research2018/11/28 (수) 오후 04:30|302-105
locating all maximal approximate runs in a stringGad M. Landau|University of Haifa2018/11/26 (월) 오전 11:00|301-317
Making a Science from the Computer Vision ZooXavier Boix Bosch |MIT (Poggio lab) 2018/11/19 (월) 오후 02:00|302-308
[CSE Special Seminar] Scalable and Interactive Machine Reading최은솔(Eunsol Cho)|University of Washington2018/11/19 (월) 오전 10:30|302-105
Experience developing and deploying concurrency analysis at FacebookPeter O'Hearn |Facebook & UCL 2018/11/02 (금) 오후 03:00|302동 309호
Perpetual maintenance of machines with different attendance urgency factorsLeszek A Gasieniec|University of Liverpool2018/11/02 (금) 오전 11:00|301-317