ESW5010-41.Overview History
Hide minor edits - Show changes to markup
Changed lines 17-18 from:
- 김상욱
- E-Mail: swkim at csl.skku.edu
to:
- 이한나
- E-Mail: yanma.hannah at gmail.com
Changed line 35 from:
- Apr 18(M) (엄영익 교수)
to:
- Apr 18(M) 강동현(엄영익 교수)
Changed line 44 from:
- May 23(M) (김진수 교수)
to:
- May 23(M) 김형준(김진수 교수)
Changed lines 13-15 from:
- Paper presentation: 30%
- Quizz: 20%
- Final exam: 30%
to:
- Paper presentation: 40%
- Quizz: 40%
Changed line 48 from:
- Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin pdf
to:
- Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. pdf
Changed lines 25-27 from:
to:
Changed line 29 from:
- Mar 23(W) Exokernel pdf
to:
- Mar 23(W) Exokernel pdf
Changed lines 31-33 from:
to:
Changed line 35 from:
- Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server pdf
to:
- Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server pdf
Changed lines 38-44 from:
- Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization pdf
- May 2(M) Hagmann: Reimplementing the Cedar File System … pdf
- May 4(M) Rosenblum: The Design and Implementation of a LFS pdf
- May 9(M) Herlihy: Transactional Memory pdf
- May 11(W) David: Everything You Always Wanted to Know about Synchronization pdf
- May 16(M) Rinard: Failure-Oblivious Computing pdf
- May 18(W) Engler: Bugs as Deviant Behavior pdf
to:
- Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization pdf
- May 2(M) Hagmann: Reimplementing the Cedar File System … pdf
- May 4(M) Rosenblum: The Design and Implementation of a LFS pdf
- May 9(M) Herlihy: Transactional Memory pdf
- May 11(W) David: Everything You Always Wanted to Know about Synchronization pdf
- May 16(M) Rinard: Failure-Oblivious Computing pdf
- May 18(W) Engler: Bugs as Deviant Behavior pdf
Changed lines 46-49 from:
- May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs pdf
- May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012. pdf
- Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin pdf
- Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993. pdf
to:
- May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs pdf
- May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012. pdf
- Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin pdf
- Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993. pdf
Changed lines 31-33 from:
- Mar 30(W) Scheduler Activations
- Apr 4(M) Baumann: The Multikernel: A New OS Architecture for …
- Apr 6(W) Disco
to:
Changed line 35 from:
- Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server
to:
- Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server pdf
Changed lines 38-44 from:
- Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization
- May 2(M) Hagmann: Reimplementing the Cedar File System …
- May 4(M) Rosenblum: The Design and Implementation of a LFS
- May 9(M) Herlihy: Transactional Memory
- May 11(W) David: Everything You Always Wanted to Know about Synchronization
- May 16(M) Rinard: Failure-Oblivious Computing
- May 18(W) Engler: Bugs as Deviant Behavior
to:
- Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization pdf
- May 2(M) Hagmann: Reimplementing the Cedar File System … pdf
- May 4(M) Rosenblum: The Design and Implementation of a LFS pdf
- May 9(M) Herlihy: Transactional Memory pdf
- May 11(W) David: Everything You Always Wanted to Know about Synchronization pdf
- May 16(M) Rinard: Failure-Oblivious Computing pdf
- May 18(W) Engler: Bugs as Deviant Behavior pdf
Changed lines 46-49 from:
- May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
- May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012.
- Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin
- Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993.
to:
- May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs pdf
- May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012. pdf
- Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin pdf
- Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993. pdf
Changed lines 26-27 from:
- Mar 14(M) Levis: Experiences from a Decade of TinyOS Development
- Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 …
to:
Changed line 29 from:
- Mar 23(W) Exokernel
to:
- Mar 23(W) Exokernel pdf
Changed line 25 from:
- Mar 9(W): Leidtke: On micro-kernel Construction pdf
to:
- Mar 9(W): Leidtke: On micro-kernel Construction pdf
Changed line 25 from:
- Mar 9(W): Leidtke: On micro-kernel Construction pdf
to:
- Mar 9(W): Leidtke: On micro-kernel Construction pdf
Changed line 25 from:
- Mar 9(W): Leidtke: On micro-kernel Construction
to:
- Mar 9(W): Leidtke: On micro-kernel Construction pdf
Deleted lines 9-12:
Deleted line 26:
Changed line 35 from:
- Mar 21(M) 김상욱
to:
- Mar 21(M) 김상욱(이준원 교수)
Changed line 37 from:
- Mar 28(M) 서본근
to:
- Mar 28(M) 서본근(이준원 교수)
Changed line 41 from:
- Apr 11(M) 이재욱
to:
- Apr 11(M) 장학범(이재욱 교수)
Changed line 43 from:
- Apr 18(M) 엄영익
to:
- Apr 18(M) (엄영익 교수)
Changed line 52 from:
- May 23(M) 김진수
to:
- May 23(M) (김진수 교수)
Changed line 57 from:
- Jun 13(M) 신동군
to:
- Jun 13(M) 김혁중(신동군 교수)
Added lines 26-59:
Changed lines 11-13 from:
to:
Changed lines 15-22 from:
to:
Changed lines 24-40 from:
to:
- 김상욱
- E-Mail: swkim at csl.skku.edu
Added lines 1-38: