Jongmoo Choi's Home Page
- 강의 자료 (Lecture Notes)
- 관련 자료
- 참고 사항
- 실습 조교: 최길모, 김세욱 (미디어 센터 509호)
- 성적: 중간 고사(30%), 기말 고사 (30%), 보고서 (30%), 출석/수업 중 질의응답(10%)
- 강의 자료 (Lecture Notes)
- Introduction: PPT file
- OS History (1 week)
- L. Lu et al., “A Study of Linux File System Evolution”, FAST, 2013: Presentation : 9월 9일 by 최길모
- K. Elphinstone et al., "From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?", SOSP, 2013: Presentation : 9월 9일 by 김세욱
- Virtual Machine Monitor (2 week)
- P. Barham et al., "Xen and the Art of Virtualization", SOSP, 2003: Presentation : 9월 16일 by 임규찬
- Carl A. Waldspurger, “Memory Resource Management in VMware ESX Server”, OSDI, 2002: Presentation : 9월 16일 by 김정수
- File System (3 week)
- M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File System", ACM ToCS, 1992: Presentation : 9월 23일 by 정영진
- W. Enck et al., "TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones”, OSDI, 2010: Presentation : 9월 23일 by 이찬희
- Security (4 week)
- X. Wang, Y. Jhi, S. Zhu, P. Liu, “Behavior Based Software Theft Detection”, CCS, 2009: Presentation : 9월 30일 by 이찬희
- J. Dean and S. Ghemawat, “MapReduce: Simplified Data Processing on Large Clusters”, OSDI, 2004: Presentation : 9월 30일 by 김정수
- Bigdata (5 week)
- H. Herodotou and S. Babu, “Profiling, What-if Analysis and Cost-based Optimization of MapReduce Programs”, VLDB, 2011: Presentation : 10월 7일 by 최원석
- L. Liu et al., “A Software Memory Partition Approach for Eliminating Bank-level Interference in Multicore Systems”, PACT, 2012: Presentation : 10월 7일 by 최길모
- Memory Management (6 week)
- H. Park et al., "Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems", ASPLOS, 2013: Presentation : 10월 14일 by 박영성
- K. Lin et al., “Gibraltar: Exposing Hardware Devices to Web Pages Using AJAX”, USENIX WebApps, 2012: Presentation : 10월 14일 by 박세준
- Analysis and Tools (7 week)
- S. Han, Y. Dang, S. Ge, D. Zhang, T. Xie, “Performance Debugging in the Large via Mining Millions of Stack Traces”, ICSE, 2012: Presentation : 10월 21일 by 박영성
- D. Pavlidi et al., “Real-time Multiple Sound Source Localization and Counting Using a Circular Microphone Array”, IEEE Transactions on Audio, Speech and Lang Processing, 2013: Presentation : 10월 21일 by 김성
- I/O Systems (8 week)
- C. Xu et al., “vTurbo: Accelerating Virtual Machine I/O Processing Using Designated Turbo-Sliced Core”, ATC, 2013: Presentation : 10월 28일 by 김세욱
- S. Jeong et al., "I/O Stack Optimization for Smartphones", ATC, 2013: Presentation : 10월 28일 by 박세준
- SSD (9 week)
- D. Ma, J. Feng, G. Li, “LazyFTL: A Page-level Flash Translation Layer Optimized for NAND Flash Memory”, SIGMOD, 2011: Presentation : 11월 4일 by 정영진
- F. Chen, D. Koufaty and X. Zhang, “Understanding Intrinsic Characteristics and System Implications of Flash Memory based Solid State Drives”, SIGMETRICS, 2009: Presentation : 11월 4일 by 김세욱
- Hybrid Storage (10 week)
- D. Tiwari et al., “Active Flash: Towards Energy-Efficient, In-Situ Data Analytics on Extreme-Scale Machines”, FAST, 2013: Presentation : 11월 11일 by 최길모
- C. Albrecht et al. “Janus: Optimal Flash Provisioning for Cloud Storage Workloads”, ATC, 2013: Presentation : 11월 11일 by 정영진
- Security 2 (11 week)
- Y. Jhi, X. Wang, X. Jia, S. Zhu, P. Liu, D. Wu, “Value-Based Program Characterization and Its Application to Software Plagiarism Detection”, ICSE, 2011: Presentation : 11월 18일 by 박영성
- X. Hu, S. Bhatkar, K. Griffin, K. Shin, “MutantX-S: Scalable Malware Clustering Based on Static Features”, ATC, 2013: Presentation : 11월 18일 by 이찬희
- Bigdata 2 (12 week)
- G. Malewicz et al., “Pregel: A System for Large-Scale Graph Processing”, SIGMOD, 2010: Presentation : 11월 25일 by 최원석
- F. Ahmad et al., “Tarazu: Optimizing MapReduce On Heterogeneous Clusters”, ASPLOS, 2012: Presentation : 11월 25일 by 임규찬
- Cloud Computing (13 week)
- K. Ousterhout et al., “Sparrow: Distributed, Low Latency Scheduling”, SOSP, 2013: Presentation : 12월 2일 by 임규찬
- A. Pourmohammad et al., “Real Time High Accuracy 3-D PHAT-based Sound Source Localization Using a Simple 4-Microphone Arrangement”, IEEE Systems Journal, 2012: Presentation : 12월 2일 by 김성
- Final presentation (14 week)
- 관련 자료