ESW5010-41.Overview History

Hide minor edits - Show changes to markup

March 02, 2016, at 07:32 AM by 115.145.179.233 -
March 02, 2016, at 12:10 AM by 115.145.179.233 -
March 01, 2016, at 11:36 PM by 115.145.179.233 -
Changed lines 17-18 from:
  • 김상욱
    • E-Mail: swkim at csl.skku.edu
to:
  • 이한나
    • E-Mail: yanma.hannah at gmail.com
March 01, 2016, at 11:28 PM by 115.145.179.233 -
Changed line 35 from:
  • Apr 18(M) (엄영익 교수)
to:
  • Apr 18(M) 강동현(엄영익 교수)
Changed line 44 from:
  • May 23(M) (김진수 교수)
to:
  • May 23(M) 김형준(김진수 교수)
February 26, 2016, at 06:40 AM by 115.145.179.233 -
Changed line 11 from:
to:
February 26, 2016, at 06:39 AM by 115.145.179.233 -
February 26, 2016, at 06:39 AM by 115.145.179.233 -
Changed lines 13-15 from:
  • Paper presentation: 30%
  • Quizz: 20%
  • Final exam: 30%
to:
  • Paper presentation: 40%
  • Quizz: 40%
February 26, 2016, at 06:21 AM by 115.145.179.233 -
February 26, 2016, at 06:14 AM by 115.145.179.233 -
February 26, 2016, at 06:06 AM by 115.145.179.233 -
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
February 26, 2016, at 05:58 AM by 115.145.179.233 -
Changed lines 25-27 from:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
  • Mar 14(M) Levis: Experiences from a Decade of TinyOS Development pdf
  • Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 … pdf
to:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
  • Mar 14(M) Levis: Experiences from a Decade of TinyOS Development pdf
  • Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 … pdf
Changed line 29 from:
  • Mar 23(W) Exokernel pdf
to:
  • Mar 23(W) Exokernel pdf
Changed lines 31-33 from:
  • Mar 30(W) Scheduler Activations pdf
  • Apr 4(M) Baumann: The Multikernel: A New OS Architecture for … pdf
  • Apr 6(W) Disco pdf
to:
  • Mar 30(W) Scheduler Activations pdf
  • Apr 4(M) Baumann: The Multikernel: A New OS Architecture for … pdf
  • Apr 6(W) Disco pdf
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
February 26, 2016, at 05:54 AM by 115.145.179.233 -
February 26, 2016, at 05:54 AM by 115.145.179.233 -
February 26, 2016, at 05:53 AM by 115.145.179.233 -
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:
  • Mar 30(W) Scheduler Activations pdf
  • Apr 4(M) Baumann: The Multikernel: A New OS Architecture for … pdf
  • Apr 6(W) Disco pdf
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
February 26, 2016, at 05:52 AM by 115.145.179.233 -
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:
  • Mar 14(M) Levis: Experiences from a Decade of TinyOS Development pdf
  • Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 … pdf
Changed line 29 from:
  • Mar 23(W) Exokernel
to:
  • Mar 23(W) Exokernel pdf
February 26, 2016, at 05:51 AM by 115.145.179.233 -
Changed line 25 from:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
to:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
February 26, 2016, at 05:51 AM by 115.145.179.233 -
February 26, 2016, at 05:51 AM by 115.145.179.233 -
Changed line 25 from:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
to:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
February 26, 2016, at 05:50 AM by 115.145.179.233 -
Changed line 25 from:
  • Mar 9(W): Leidtke: On micro-kernel Construction
to:
  • Mar 9(W): Leidtke: On micro-kernel Construction pdf
February 26, 2016, at 05:28 AM by 115.145.179.233 -
February 26, 2016, at 05:28 AM by 115.145.179.233 -
Deleted lines 9-12:
February 26, 2016, at 05:25 AM by 115.145.179.233 -
Deleted line 26:
February 26, 2016, at 05:25 AM by 115.145.179.233 -
Changed lines 26-27 from:
to:
February 26, 2016, at 05:24 AM by 115.145.179.233 -
Changed line 6 from:
to:
Changed line 8 from:
to:
February 26, 2016, at 05:23 AM by 115.145.179.233 -
Deleted lines 1-2:

[General information]

February 26, 2016, at 05:22 AM by 115.145.179.233 -
Changed line 11 from:
to:
February 26, 2016, at 05:22 AM by 115.145.179.233 -
Changed line 11 from:
to:
February 26, 2016, at 05:20 AM by 115.145.179.233 -
February 26, 2016, at 05:19 AM by 115.145.179.233 -
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) 김혁중(신동군 교수)
February 26, 2016, at 05:17 AM by 115.145.179.233 -
Added lines 26-59:
February 26, 2016, at 05:12 AM by 115.145.179.233 -
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
February 26, 2016, at 05:07 AM by 115.145.179.233 -
Added lines 1-38: