A Product of Shape and Sequence Abstractions, and its application to OS verificationXavier Rival|Ecole Normale Superieure2024/11/20 (수) 오후 03:30|302동 311-1호
Natural Language Meets Code: The State-of-the-art and Future Directions in LLM-based Debugging강성민(Sungmin Kang)|COINSE research group2024/11/01 (금) 오후 02:00|302동 209호
Domain-specific HW/SW design for the data center applicationEyee Hyun Nam (CEO/CTO of Fadu)|Fadu Co, Ltd, Korea2024/10/14 (월) 오후 04:00|302동 107호
Datacenter Networking for ML and The Stories of Stragglers김창훈 (Chang Kim)|Google2024/10/02 (수) 오후 03:00|302동 311-1호
Continuing performance scaling of complex analytics with secondary storage and accelerators: Case study with genomicsSang-Woo Jun|Univ. of California, Irvine2024/9/23 (월) 오전 10:30|302동 309-1호
[Distinguished Lecture Series] Doing Impactful Research and Writing Impactful PapersTakeo Kanade|Carnegie Mellon University2024/9/04 (수) 오전 09:45|302동 105호
Verification of Cryptographic Primitive Programs with Algebraic AbstractionBow-Yaw Wang|Institute of Information Science, Academia Sinica2024/8/30 (금) 오후 03:30|302동 308호
[Distinguished Lecture Series] Addressing Challenges in Data Privacy and Privacy-Preserving ComputationSrini Devadas|MIT CSAIL2024/8/05 (월) 오전 11:00|302동 105호
Unlocking the Potential of Large Models for Vision Related TasksProf. Yanwei Fu|Fudan University2024/7/30 (화) 오후 05:00|302동 208호
Enhancing Human Intelligence through Interactive Data Visualizations for Scientific Discoveries권범철(Bum Chul Kwon) |IBM Research2024/7/24 (수) 오후 02:00|302동 209호
