Scalable and Automatic Vulnerability Discovery Beyond Random Testing윤인수 (Insu Yun)|Georgia Institute of Technology2019/3/11 (월) 오전 10:30|302-409
Cure may be difficult, repair may be doable - brain machine interface손정우|가톨릭관동대학교 국제성모병원 의학과 2019/2/08 (금) 오후 02:00|138동 415호
Efficient Local Binary Convolutional Neural Network (LBCNN) Implementations for FPGAs이종은 |UNIST2019/1/17 (목) 오후 04:00|302동 209호
Thinking, Autism and Artificial General Intelligence (AGI)박덕근|UT Alington 2018/12/26 (수) 오후 04:30|138-415
Hardware-Software Co-design for the Deep Learning AgePratyush Kumar|IIT Madras 2018/12/19 (수) 오전 11:00|301-417
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.김태수|Georgia Tech 2018/12/18 (화) 오전 11:30|302-107
The Edge Supercloud: Blockchains for the EdgeHakim Weatherspoon |Cornell University 2018/12/17 (월) 오후 04:00|302-107
Technical challenges of blockchains : algorithms, formal verification and economicsDiego Olivier Fernandez Pons|Tezos Foundation 2018/12/05 (수) 오후 04:00|302-309/1