Compilers as Guardians: Reliability and Security in Intermittent Computing정창희(Changhee Jung)|Purdue University2026/7/07 (화) 오전 09:30|302동 208호
Akita - A high-performance lattice-based polynomial commitment schemeQuang Vu Dao |Carnegie Mellon University2026/6/24 (수) 오후 02:00|302동 309-1호
FHE for SIMD Arithmetic Logic Units with O(1) BootstrappingHongren Zheng|Tsinghua University2026/6/11 (목) 오후 02:00|302동 309-1호
Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOLSimon Foster|University of York in the UK2026/6/08 (월) 오후 02:00|302동 106호
[Distinguished Lecture Series] Unlock Furiosa RNGD's Full Potential with Kernel Programming강지훈|FuriosaAI2026/6/04 (목) 오후 12:00|302동 105호
Leveraging Non-Conventional Computing for NextG WirelessMinsung Kim|Rutgers University2026/6/02 (화) 오후 03:00|302동 309-1호
Quad-Chiplet AI SoC with Full-Chip Scalable Mesh Over 16Gb/s UCIe-Advanced Die-to-Die Interface for Large-Scale AI Inferencing오진욱 박사 |Rebellions2026/5/27 (수) 오전 10:00|302동 311-1호
Scaling Video Reasoning for the Real WorldJaehong Yoon|Nanyang Technological University (NTU)2026/4/16 (목) 오전 11:00|302동 107호
Optimizing the Linux Scheduler for Gaming... and the Road Ahead민창우 박사|Igalia2026/4/07 (화) 오후 02:00|301동 203호
