Accelerating Vector Similarity Search with Near-Storage Processing조형민 교수|성균관대학교1/23 (목) 13:00|301동 203호
Safe and high-performance concurrent memory reclamationJaehwang Jung|KAIST CP12/13 (금) 14:00|302동 209호
A Product of Shape and Sequence Abstractions, and its application to OS verificationXavier Rival|Ecole Normale Superieure11/20 (수) 15:30|302동 311-1호
Natural Language Meets Code: The State-of-the-art and Future Directions in LLM-based Debugging강성민(Sungmin Kang)|COINSE research group11/1 (금) 14:00|302동 209호
Domain-specific HW/SW design for the data center applicationEyee Hyun Nam (CEO/CTO of Fadu)|Fadu Co, Ltd, Korea10/14 (월) 16:00|302동 107호
Datacenter Networking for ML and The Stories of Stragglers김창훈 (Chang Kim)|Google10/2 (수) 15:00|302동 311-1호
Continuing performance scaling of complex analytics with secondary storage and accelerators: Case study with genomicsSang-Woo Jun|Univ. of California, Irvine9/23 (월) 10:30|302동 309-1호
[Distinguished Lecture Series] Doing Impactful Research and Writing Impactful PapersTakeo Kanade|Carnegie Mellon University9/4 (수) 09:45|302동 105호
Verification of Cryptographic Primitive Programs with Algebraic AbstractionBow-Yaw Wang|Institute of Information Science, Academia Sinica8/30 (금) 15:30|302동 308호
