SEMINAR SCHEDULE
SUBJECT TO CHANGE

This schedule is tentative and will be updated as we go through the semester.

 
Date Topic Presenter
January 14 Class welcome & introduction
Welcome slides
Patterson's Ten Commandments
Assignment:
Collect 2-3 recent papers about VEEs. Identify your goals for the course. 		Bruce Childers
January 21 Presentations/Readings:
1. "Overshadow: A virtualization-based approach to retrofitting protection in commodity operating systems", Chen et al., ASPLOS 2008. DOI
2. "Mixed-mode multicore reliability", Wells, Chakraborty, and Sohi, ASPLOS 2009. DOI.
Discussion topics:
How do you read a paper?
How do you write an abstract?
Project topics - try to clarify & refine. Suggest new topics. Pick a topic.
Exercise (assignment, due Jan. 28):
Write an abstract, identify project categories & keywords for a paper.
Pick a project topic, form a group, make 2-3 slides with project proposal 		Musfiq (paper 1)
Ryan (paper 2)
January 28 Papers to read for discussion:
1. Criswell, J., Lenharth, A., Dhurjati, D., and Adve, V., "Secure virtual architecture: a safe execution environment for commodity operating systems." In Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles (Stevenson, Washington, USA, October 14 - 17, 2007). SOSP '07. ACM, New York, NY, 351-366. DOI
Discussion topics:
Critique abstracts
2 to 3 slide presentation with project proposal (max 10 minutes "Wacky Idea Session")
The three critical sections: Abstract, introduction and conclusion 		Santiago
February 4 Papers to read for discussion:
1. Emmett Witchel and Mendel Rosenblum, "Embra: Fast and Flexible Machine Simulation", SIGMETRICS Conference 1996.
2. Paul Barham et al., "Xen and the Art of Virtualization", SOSP 2003.
Discussion topics:
Finalize the projects and status update.
Turn in a final project plan & your rewritten abstract (with the original one)
Volunteer to present papers, if you haven't already done one! 		John (paper 1)
Musfiq (paper 2)
February 11 Papers to read for discussion:
1. V. Bala, E. Duesterwald and S. Banerjia, "Dynamo: A Transparent Dynamic Optimization System", ACM SIGPLAN Conference on Programming Language Design and Implementation, 2000. DOI.
2. Mars, J. and Hundt, R. 2009. Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations. In Proceedings of the 2009 international Symposium on Code Generation and Optimization (March 22 - 25, 2009). Code Generation and Optimization. IEEE Computer Society, Washington, DC, 169-179. DOI.
Discussion topics:
How to review a paper.
Here are some links to review for the discussion:
The Task of the Referee
How to write a good review
A Referee's Plea
SIGPLAN policies on reviews
Peer Review (slides)
Exercise:
Write a review of the sample paper.
 1. Yong
2. Miao
February 18 Papers to read for discussion:
A. R. Lebeck and D. A. Wood, "Active Memory: A New Abstraction for Memory System Simulation", ACM Trans. on Modeling and Computer Simulation (TOMACS), Vol 7, No. 1, pp. 42-77, 1997. DOI.
 Santiago
February 25 Papers to read for discussion:
1. C. Waldspurger, "Memory resource management in VMware ESX server", Operating System Design and Implementation, 2002. DOI
2. S. King et al., "SubVirt: Implementing malware with virtual machines", Proc. of IEEE Symposium on Security and Privacy, 2006. DOI
Discussion topics:
To be determined. 		1. James
2. Yang
March 4 Papers to read for discussion:
Hunt et al., "Sealing OS Processes to Improve Dependability and Safety", ACM SIGOPS/EuroSys European Conference on Computer Systems, pp. 341-354, 2007. DOI.
Discussion topics:
To be determined. 		1. Luke
March 11 No class. Spring break.  
March 18 Papers to read for discussion:
M Kaashoek et al., "Application Performance and Flexibility on Exokernel Systems" In Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (Saint Malo, France, October 05 - 08, 1997). W. M. Waite, Ed. SOSP '97. ACM, New York, NY, 52-65. DOI
Discussion topics:
To be determined. 		To be determined.
March 25 Papers to read for discussion:
DRAM Errors in the Wild: A Large-Scale Field Study, Bianca Schroeder, Eduardo Pinheiro and Wolf-Dietrich Weber, ACM SIGMETRICS 2009. Paper
Discussion topics:
To be determined. 		Yong
April 1 Papers to read for discussion:
Corey: An Operating System for Many Cores, Silas Boyd-Wickizer, Haibo Chen, Rong Chen, et al., USENIX/ACM Symposium on Operating System Design and Implementation, 2008. Paper
Discussion topics:
To be determined. 		1. Yang
April 8 Papers to read for discussion:
Neelakantam, N., Ditzel, D. R., and Zilles, C. 2010. A real system evaluation of hardware atomicity for software speculation. In Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support For Programming Languages and Operating Systems (Pittsburgh, Pennsylvania, USA, March 13 - 17, 2010). ASPLOS '10. ACM, New York, NY, 29-38. DOI
Discussion topics:
To be determined. 		Jose
April 15 Papers to read for discussion:
Micah Dowty, Jeremy Sugerman, "GPU Virtualization on VMware's Hosted I/O Architecture", USENIX Workshop on I/O Virtualization, 2008 DOI
Jose Baiocchi, talk about DBT in embedded systems (no paper to read)
Discussion topics:
To be determined. 		John
Jose
April 22 Papers to read for discussion:
1. Leather, H., Bonilla, E., and O'Boyle, M. 2009. Automatic Feature Generation for Machine Learning Based Optimizing Compilation. In Proceedings of the 2009 international Symposium on Code Generation and Optimization (March 22 - 25, 2009). Code Generation and Optimization. IEEE Computer Society, Washington, DC, 81-91. DOI
2. Chen, J. and John, L. K. 2009. Efficient program scheduling for heterogeneous multi-core processors. In Proceedings of the 46th Annual Design Automation Conference (San Francisco, California, July 26 - 31, 2009). DAC '09. ACM, New York, NY, 927-930. DOI
Discussion topics:
To be determined. 		1. Miao
2. Ryan
April 29 Project presentations
Allow 20 minutes for talk and 10 minutes for discussion