{"id":19662214,"url":"https://github.com/efeslab/eecs582","last_synced_at":"2026-03-02T09:03:01.472Z","repository":{"id":82343531,"uuid":"441811080","full_name":"efeslab/eecs582","owner":"efeslab","description":"Course website for Advanced Operating Systems","archived":false,"fork":false,"pushed_at":"2022-04-08T01:04:00.000Z","size":210,"stargazers_count":13,"open_issues_count":0,"forks_count":1,"subscribers_count":9,"default_branch":"main","last_synced_at":"2025-11-22T09:03:48.531Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/efeslab.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-12-26T04:46:41.000Z","updated_at":"2025-02-24T07:19:49.000Z","dependencies_parsed_at":null,"dependency_job_id":"92dce21e-fe92-4e83-9791-3a011118d2cb","html_url":"https://github.com/efeslab/eecs582","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/efeslab/eecs582","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/efeslab%2Feecs582","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/efeslab%2Feecs582/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/efeslab%2Feecs582/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/efeslab%2Feecs582/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/efeslab","download_url":"https://codeload.github.com/efeslab/eecs582/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/efeslab%2Feecs582/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29996280,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-02T01:47:34.672Z","status":"online","status_checked_at":"2026-03-02T02:00:07.342Z","response_time":60,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-11T16:09:57.076Z","updated_at":"2026-03-02T09:03:01.404Z","avatar_url":"https://github.com/efeslab.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# EECS 582: Advanced Operating Systems\n\n## Announcements\n\n|Date| Note|\n| :- | :- |\n|**01/06**|\u003cp\u003e- Fill in [the EECS 582 Student Information form](https://docs.google.com/forms/d/e/1FAIpQLSeNnGuJ6VbzVFS5LENLEjo_bG5O10PNMVigqCFtkF1HxyQAxQ/viewform?usp=sf_link)\u003c/p\u003e\u003cp\u003e- You will receive an invitation to join the 582 slack channel after creating an account on the paper-review website (see the “Paper reviews” below)\u003c/p\u003e\u003cp\u003e- Final paper templates: \u003chttps://www.usenix.org/conferences/author-resources/paper-templates\u003e\u003c/p\u003e\u003cp\u003eWe did not have a live-stream for today's lecture, but we will endeavor to have a live-stream for all future lectures. [Join this Zoom meeting](https://umich.zoom.us/j/97838896677) to watch the live-stream (you must login using UMich SSO).\u003c/p\u003e|\n|**01/06**|You can use [this document](https://docs.google.com/document/d/1sRoTSKAlXwpV6KzaxUQbJbTxPwrHfn9-RCUw_Pp31r4/edit?usp=sharing) to discuss your background and interests (with the ultimate goal of finding some team members!)|\n|**01/09**|Please check [Presentation Schedule](https://docs.google.com/spreadsheets/d/e/2PACX-1vQS5MSkzCGxqS8_PJkHxmm1hq97i609zl48RLsF0Os3BbQUX0vE0zDsZoXxAj_ovKFWtnFRd9tclrYF/pubhtml?gid=54539822) and start preparing for the paper presentation assigned to you. If your preferences cannot be fulfilled, please fill another \"Student Information form\" with new preferences. Remember that papers are assigned to students at a first-come-first-serve manner.|\n|**01/09**|Please check [Project Availability](https://docs.google.com/spreadsheets/d/e/2PACX-1vQS5MSkzCGxqS8_PJkHxmm1hq97i609zl48RLsF0Os3BbQUX0vE0zDsZoXxAj_ovKFWtnFRd9tclrYF/pubhtml?gid=184304098\u0026single=true), a project will be marked as \"FULL\" when enough (determined by the project supervisor) students signed up for it. Start talking to project supervisors and finding your teammates! Rember to email us with your teammates CCed to sign up for a project.|\n|**01/24**|\u003cp\u003ePlease check the main course Slack channel (eecs582-winter22) for information on asking questions to be discussed after paper presentations.\u003c/p\u003e\u003cp\u003eWe added a discussion slide template (with some tips on leading/participating in discussions), available [here](https://docs.google.com/presentation/d/1R2YPja3NSDXA97PNjX9AzB_ddS-YeaVoHBkkbKym6ZA/edit?usp=sharing).\u003c/p\u003e\u003cp\u003eWe're going to be creating discussion threads per paper on Slack for you to ask questions that you'd like to have discussed or answered after the presentation. You can also ask questions for discussion anonymously through [this Google Form](https://forms.gle/Robqykue8PRBNXc69).\u003c/p\u003e|\n|**01/31**|\u003cp\u003eMid-term presentation schedules are out. Please find your project groups below (on either Feb.22 or Feb.24). If two classes are not enough, we will continue the presentation in the extra hour on Friday (Feb.25). The presentations are supposed to be a **10min talk** followed by a **5min Q\u0026A**.\u003c/p\u003e|\n|**03/25**|\u003cp\u003eClass on Mar.29 is rescheduled to Apr.14; Mar.31 is rescheduled to Apr.19. The paper review assignment of paper \"Tensorflow\" is changed to the \"Ray\". See the updated schedule below.\u003c/p\u003e|\n|**04/07**|\u003cp\u003eFinal presentation due date rescheduled from Apr.19 to Apr.28. See the updated schedule below.\u003c/p\u003e|\n\n## Administrivia\n\n### Course Info\n\n|**Course**|EECS 582, Winter 2022, 4 credits |\n| :- | :- |\n|**Meetings**|\u003cp\u003e1010 DOW T/Th: 12:00–1:30 PM (Lectures/Discussion, for the first 3 lectures, rest will be presentations)\u003c/p\u003e\u003cp\u003e(When we do meet on Fridays, it will be at 3150 DOW, 1:30–2:30PM)\u003c/p\u003e|\n|**Live-Stream**|\u003cp\u003e**Please come in person if you are able.** However, if you cannot due to safety concerns, etc., you can join the live-stream on this [Zoom meeting](https://umich.zoom.us/j/97838896677). Note, you must be logged into Zoom using your UMich credentials.\u003c/p\u003e|\n|**[Recordings](https://leccap.engin.umich.edu/leccap/site/hfqi73bp8h3o440ss46)**|Course lectures will be audio/video recorded and made available to other students in this course. As part of your participation in this course, you may be recorded.|\n|**Instructors**|[Tanvir Ahmed Khan](https://web.eecs.umich.edu/~takh/), [Ian Neal](https://about.iangneal.io) |\n|**GSI**|Gefei Zuo|\n|**Contact**|\u003ceecs582-staff@umich.edu\u003e|\n|**Office hours**|Zoom, by appointment only|\n|**Paper reviews**|\u003cp\u003e\u003chttps://eecs582.eecs.umich.edu/papers/\u003e **(Create an account ASAP!)**\u003c/p\u003e\u003cp\u003eTo submit a review after logging in, click “New submission” and enter the title of the paper. Attach your review as a PDF file according to the [format](https://gist.github.com/kasikci/49e7107dfdee281d6f6450b132555550) (there are a variety of tools to convert markdown to PDF). Put your name and your umich email as the author. Affiliation and abstract don’t matter.\u003c/p\u003e|\n\n### Grading\n\n| Paper Reviews                                         | 20% |\n| :- | :- |\n|**Presentations (paper presentations + midterm + final)**|**15%**|\n|**Class Participation**|**10%**|\n|**Project (prototype)**|**45%**|\n|**Project (final paper)**|**10%**|\n\n\n- Paper Reviews: You can miss 4 reviews with no penalty. Afterwards, each miss beyond that will result in 25% decrease (i.e., 5% out of the 20% alloted for the Paper Reviews component) in grade for this portion of the course. Missing eight or more paper reviews will result in getting 0% out of the 20% possible for the Paper Reviews component.\n- Paper Presentations: we have a template for discussion questions (and some tips on leading/participating in paper discussions) [here](https://docs.google.com/presentation/d/1R2YPja3NSDXA97PNjX9AzB_ddS-YeaVoHBkkbKym6ZA/edit?usp=sharing). You can ask discussion questions on slack and anonymous questions for discussion [here](https://forms.gle/Robqykue8PRBNXc69).\n- See the first set of lecture slides (link coming soon) for more details.\n\n\n### Project Milestones\n\n| Date          | Milestone                          | Details                                                      |\n| ------------- | ---------------------------------- | ------------------------------------------------------------ |\n| Jan   11/ASAP | Find   project partners            | Find 2-3 like-minded students                                |\n| Jan   13      | Contact   project supervisor/staff | Email the supervising PhD students OR email EECS 582 staff with your group’s proposal |\n| Jan   21      | Finalize   deliverables            | After regular back-and-forth discussions with the project supervisors |\n| Feb   22–25   | Mid-semester   presentations       | Define and motivate the problem, survey   related work, and form initial hypothesis and idea |\n| Apr   28      | Video   presentations              | Record   a presentation of your findings                     |\n| Apr   28      | Research   paper                   | Submit a project paper like the ones we’ve read              |\n\n## Schedule\n\nThe papers due for a review are marked with an **(R**)**.** Here is the review [template](https://gist.github.com/kasikci/49e7107dfdee281d6f6450b132555550) we will use. \n\n\n\n|**Date**|**Topic**|**Required Material**|**Optional Material**|\n| :- | :- | :- | :- |\n|\u003cp\u003eJan 6 [Th]\u003c/p\u003e\u003cp\u003e([slides](https://drive.google.com/file/d/1f__moeVgMIbK2thi--RVeFsawsnA5r4k/view?usp=sharing))\u003c/p\u003e\u003cp\u003e([video](https://leccap.engin.umich.edu/leccap/player/r/yItCC3))\u003c/p\u003e|\u003cp\u003e**Welcome to EECS 582 - Introductions**\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[You and Your Research](https://www.youtube.com/watch?v=a1zDuOPkMSw)\u003c/p\u003e\u003cp\u003e[Strong Inference](http://pages.cs.wisc.edu/~markhill/science64_strong_inference.pdf)\u003c/p\u003e\u003cp\u003e[The Many Faces of System Research](https://www.usenix.org/legacy/event/hotos05/final_papers_backup/red_team/red_html/paper.html)\u003c/p\u003e|\u003cp\u003e[The Night Watch](https://www.usenix.org/system/files/1311_05-08_mickens.pdf)\u003c/p\u003e\u003cp\u003e[Doing a Systems PhD](https://docs.google.com/presentation/d/1em55Tcl1XZAO0dSOe7FnsqlPPss16mXoU0CFUo3CtUQ/edit?usp=sharing)\u003c/p\u003e\u003cp\u003e[The Scientific Method](https://www.youtube.com/watch?v=0KmimDq4cSU)\u003c/p\u003e|\n|Jan 7 [F]|No class|\u003cp\u003e***Select papers to present***\u003c/p\u003e\u003cp\u003e[How to Read a Paper?](https://www.albany.edu/spatial/WebsiteFiles/ResearchAdvices/how-to-read-a-paper.pdf)\u003c/p\u003e\u003cp\u003e[Writing Systems Conference Reviews](https://people.inf.ethz.ch/troscoe/pubs/review-writing.pdf)\u003c/p\u003e|\u003cp\u003e[Reading \u0026 Evaluating Papers](http://www.cs.kent.edu/~jmaletic/howtoread.html)\u003c/p\u003e\u003cp\u003e[Task of the referee](https://www.cs.utexas.edu/users/mckinley/notes/reviewing-smith.pdf)\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\n|\u003cp\u003eJan 11 [T]\u003c/p\u003e\u003cp\u003e([slides](https://drive.google.com/file/d/1Dnj1GyE7UDXoNvguPkA3PZiYzyDs_FeA/view?usp=sharing))\u003c/p\u003e\u003cp\u003e([video](https://leccap.engin.umich.edu/leccap/player/r/yYcsLf))\u003c/p\u003e|\u003cp\u003eSystem Design\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e***Find project partners***\u003c/p\u003e\u003cp\u003e[Hints for Computer System Design](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/acrobat-17.pdf)\u003c/p\u003e\u003cp\u003e[Updated Hints for Computer System Design](https://www.youtube.com/watch?v=TRLJ6XdmgnA)\u003c/p\u003e|[Updated Hints Paper](https://arxiv.org/abs/2011.02455)|\n|\u003cp\u003eJan 13 [Th]\u003c/p\u003e\u003cp\u003e([slides](https://drive.google.com/file/d/19ZCSFHYQMttfrUFDQEtD-axybOYUNlJ9/view?usp=sharing))\u003c/p\u003e\u003cp\u003e([video](https://leccap.engin.umich.edu/leccap/player/r/sVX64A))\u003c/p\u003e|\u003cp\u003eTackling\u003c/p\u003e\u003cp\u003eComplexity\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e***Pick projects and get in touch with your contact students and us (through email)***\u003c/p\u003e\u003cp\u003e[Design Philosophy of DARPA Internet Protocols](http://ccr.sigcomm.org/archive/1995/jan95/ccr-9501-clark.pdf)\u003c/p\u003e\u003cp\u003e[End to End Arguments in System Design](http://web.mit.edu/Saltzer/www/publications/endtoend/endtoend.pdf) **(R)**\u003c/p\u003e|[The Architecture of Complexity](https://www.cc.gatech.edu/classes/AY2013/cs7601_spring/papers/Simon-Complexity.pdf)|\n|\u003cp\u003eJan 14 [F] \u003c/p\u003e\u003cp\u003e\u003c/p\u003e|No class|\u003cp\u003e[How to Give a Bad Talk?](https://people.eecs.berkeley.edu/~pattrsn/talks/BadTalk.pdf)\u003c/p\u003e\u003cp\u003e[How to Give a Great Talk?](https://www.youtube.com/watch?v=sT_-owjKIbA)\u003c/p\u003e\u003cp\u003e[A good conference talk](https://www.youtube.com/watch?v=jE0V-p1odPg)\u003c/p\u003e|[How to Give a Technical Talk?](https://homes.cs.washington.edu/~mernst/advice/giving-talk.html)|\n|\u003cp\u003eJan 18 [T]\u003c/p\u003e \u003cp\u003e([slides](https://drive.google.com/file/d/1hcpDmP9Iaj1QxwvPMWi5qKubEqbZOHis/view?usp=sharing))\u003c/p\u003e\u003cp\u003e([video](https://leccap.engin.umich.edu/leccap/player/r/CbEIUf))\u003c/p\u003e|\u003cp\u003eKernels\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e***Presentations begin***\u003c/p\u003e\u003cp\u003e[The Unix Timesharing System](https://people.eecs.berkeley.edu/~brewer/cs262/unix.pdf) \u003c/p\u003e\u003cp\u003e[Exokernel](https://pdos.csail.mit.edu/6.828/2016/readings/engler95exokernel.pdf) **(R)**\u003c/p\u003e|\u003cp\u003e[THE](https://klevas.mif.vu.lt/~liutauras/books/Dijkstra%20-%20The%20structure%20of%20the%20THE%20multiprogramming%20system.pdf)\u003c/p\u003e\u003cp\u003e[The Unix Operating System](https://www.youtube.com/watch?v=tc4ROCJYbm0\u0026t=1s)\u003c/p\u003e\u003cp\u003e[Pilot Operating System](https://pdfs.semanticscholar.org/adc0/5b35955558934a1d200d6ed71ac378574ff3.pdf)\u003c/p\u003e\u003cp\u003e[Tannenbaum-Torvalds Debate](https://en.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_debate)\u003c/p\u003e\u003cp\u003e[Threads and Input/Output in the Synthesis Kernel](https://www.researchgate.net/profile/Calton-Pu-2/publication/2687881_Threads_and_InputOutput_in_the_Synthesis_Kernel/links/54d249980cf2b0c614692038/Threads-and-Input-Output-in-the-Synthesis-Kernel.pdf)\u003c/p\u003e|\n|Jan 20 [Th]|\u003cp\u003eNaming\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[Development of the DNS](https://courses.cs.washington.edu/courses/cse551/09sp/papers/dns.pdf)\u003c/p\u003e\u003cp\u003e[Designing a Global Name System](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/acrobat-15.pdf) **(R)** \u003c/p\u003e|[Practical Naming Examples](https://www.youtube.com/watch?v=zm2VP0kHl1M\u0026ab_channel=MITOpenCourseWare)|\n|Jan 21 [F]|\u003cp\u003eNo class\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e***Submit deliverables for the project (forms the basis of your grade)***\u003c/p\u003e\u003cp\u003e[How to Write a Great Research paper?](https://www.youtube.com/watch?v=VK51E3gHENc)\u003c/p\u003e\u003cp\u003e[How to Write a Good Systems Paper?](https://www.usenix.org/legacy/publications/library/proceedings/dsl97/good_paper.html)\u003c/p\u003e|[The Elements of Style](https://www.amazon.com/Elements-Style-William-Strunk-Jr/dp/194564401X)|\n|Jan 25 [T]|\u003cp\u003eLocality\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[The Locality Principle](http://denninginstitute.com/pjd/PUBS/CACMcols/cacmJul05.pdf)  **(R)**\u003c/p\u003e\u003cp\u003e[Optimizations for Improving Data Locality](http://www.cs.utexas.edu/users/mckinley/papers/asplos-1994.pdf)\u003c/p\u003e|[Numbers you should know ](https://people.eecs.berkeley.edu/~rcs/research/interactive_latency.html)|\n|Jan 27 [Th]|\u003cp\u003ePerformance\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[AutoFDO](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/45290.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[NVBit](https://github.com/NVlabs/NVBit/releases/download/v1.0/MICRO_19_NVBit.pdf)\u003c/p\u003e|[Google-Wide Profiling](https://storage.googleapis.com/pub-tools-public-publication-data/pdf/36575.pdf)|\n|Jan 28 [F]|No class||[DTrace](http://www.brendangregg.com/dtrace.html)|\n|Feb 1 [T]|\u003cp\u003eVirtualization-1\u003c/p\u003e|\u003cp\u003e[IX](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-belay.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Resource Containers](http://www.scs.stanford.edu/nyu/03sp/sched/resource.pdf)\u003c/p\u003e|[Disco](http://pages.cs.wisc.edu/~remzi/Classes/838/Spring2013/Papers/bugnion97disco.pdf)|\n|Feb 3 [Th]|\u003cp\u003eVirtualization-2\u003c/p\u003e|\u003cp\u003e[Xen and the Art of Virtualization](https://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xensosp.pdf) **(R)** \u003c/p\u003e\u003cp\u003e[Formal Requirements for Virtualization](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.141.4815\u0026rep=rep1\u0026type=pdf)\u003c/p\u003e|[Arrakis](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-peter_simon.pdf)|\n|Feb 4 [F]|No class|||\n|Feb 8 [T]|\u003cp\u003eSecurity-1\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[How Diffie Hellman Fails In Practice](https://weakdh.org/imperfect-forward-secrecy-ccs15.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Control Flow Integrity](https://users.soe.ucsc.edu/~abadi/Papers/cfi-tissec-revised.pdf) \u003c/p\u003e|[17 Mistakes Microsoft Made in the Xbox Security System](https://kapravelos.com/teaching/csc405-s17/readings/xbox-security.pdf)|\n|Feb 10 [Th]|Security-2|\u003cp\u003e[Spectre](https://spectreattack.com/spectre.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Systematic Evaluation of Transient Execution Attacks and Defenses](https://www.usenix.org/system/files/sec19-canella.pdf)\u003c/p\u003e|\u003cp\u003e[Foreshadow](https://foreshadowattack.eu/foreshadow.pdf)\u003c/p\u003e\u003cp\u003e[A Note on the Confinement Problem](https://www.cs.utexas.edu/~shmat/courses/cs380s_fall09/lampson73.pdf)\u003c/p\u003e|\n|Feb 11 [F]|No class|***Work on projects***||\n|Feb 15 [T]|\u003cp\u003eDebugging\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[Delta Debugging](https://www.st.cs.uni-saarland.de/publications/files/zeller-esec-1999.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Magpie](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/magpie-osdi.pdf)\u003c/p\u003e|\u003cp\u003e[Paxos](https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf)\u003c/p\u003e\u003cp\u003e[Paxos for Human Beings](http://web.eecs.umich.edu/~barisk/teaching/eecs582/paxos-for-humans.pdf)\u003c/p\u003e|\n|Feb 17 [Th]|\u003cp\u003eFault\u003c/p\u003e\u003cp\u003eTolerance\u003c/p\u003e|\u003cp\u003e[Microreboot](https://www.usenix.org/legacy/event/osdi04/tech/full_papers/candea/candea.pdf)\u003c/p\u003e\u003cp\u003e[Byzantine Fault Tolerance](https://people.csail.mit.edu/alinush/6.824-spring-2015/papers/pbft.pdf) **(R)**\u003c/p\u003e|[Error-free Multi-Valued Consensus](http://disc.ece.illinois.edu/publications/guanfeng-PODC2011.pdf)|\n|Feb 18 [F]|No class|***Work on Projects***||\n|Feb 22 [T]|\u003cp\u003eProjects\u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e***Mid-term Presentations***\u003c/p\u003e\u003cp\u003e(P2,P5,P6,P7,P9)\u003c/p\u003e||\n|Feb 24 [Th]|Projects|\u003cp\u003e***Mid-term Presentations***\u003c/p\u003e\u003cp\u003e(P11,P12 (group1,2,3),P14)\u003c/p\u003e||\n|Feb 25 [F]|No class|***Work on Projects***||\n|Mar 1 [T]|No class|***Break***||\n|Mar 3 [Th]|No class|***Break***||\n|Mar 4 [F]|No class|***Break***||\n|Mar 8 [T]|Failures|\u003cp\u003e[REPT](https://www.usenix.org/conference/osdi18/presentation/weidong) **(R)**\u003c/p\u003e\u003cp\u003e[Bugs as Deviant Behavior](https://web.stanford.edu/~engler/deviant-sosp-01.pdf)\u003c/p\u003e||\n|Mar 10 [Th]|\u003cp\u003eDatacenter\u003c/p\u003e\u003cp\u003eSystems - 1\u003c/p\u003e|\u003cp\u003e[MapReduce](https://static.googleusercontent.com/media/research.google.com/en//archive/mapreduce-osdi04.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Google File System](https://static.googleusercontent.com/media/research.google.com/en//archive/gfs-sosp2003.pdf)\u003c/p\u003e|\u003cp\u003e[Log-Structured File System](http://pages.cs.wisc.edu/~remzi/OSTEP/file-lfs.pdf)\u003c/p\u003e\u003cp\u003e[Redbook](http://www.redbook.io/)\u003c/p\u003e|\n|Mar 11 [F]|No class|***Work on projects***||\n|Mar 15 [T]|\u003cp\u003eDatacenter\u003c/p\u003e\u003cp\u003eSystems - 2\u003c/p\u003e|\u003cp\u003e[Hive](http://infolab.stanford.edu/~ragho/hive-icde2010.pdf)\u003c/p\u003e\u003cp\u003e[Spanner](https://static.googleusercontent.com/media/research.google.com/en//archive/spanner-osdi2012.pdf) **(R)**\u003c/p\u003e|\u003cp\u003e[The Google File System](https://www.cs.ucdavis.edu/~wu/ecs251/ecs251_GFS_sosp2003.pdf)\u003c/p\u003e\u003cp\u003e[GFS: An Evolution on Fast-Forward](http://queue.acm.org/detail.cfm?id=1594206)\u003c/p\u003e|\n|Mar 17 [Th]|\u003cp\u003eDatacenter\u003c/p\u003e\u003cp\u003eSystems - 3\u003c/p\u003e|\u003cp\u003e[Big Table](https://static.googleusercontent.com/media/research.google.com/en//archive/bigtable-osdi06.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Canopy: An End-to-End Performance Tracing And Analysis System](http://static.cs.brown.edu/people/jcmace/papers/kaldor2017canopy.pdf)\u003c/p\u003e|\u003cp\u003e[TAO: Facebook’s Distributed Data Store for the Social Graph](https://www.usenix.org/system/files/conference/atc13/atc13-bronson.pdf)\u003c/p\u003e\u003cp\u003e[Segcache: a memory-efficient and scalable in-memory key-value cache for small objects](https://www.pdl.cmu.edu/PDL-FTP/Storage/NSDI21_segcache.pdf)\u003c/p\u003e|\n|Mar 18 [F]|No class|***Work on projects***||\n|Mar 22 [T]|\u003cp\u003eTesting and\u003c/p\u003e\u003cp\u003eVerification - 1\u003c/p\u003e|\u003cp\u003e[Klee](https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Sel4: Formal verification of an OS Kernel](https://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf) \u003c/p\u003e\u003cp\u003e\u003c/p\u003e|\u003cp\u003e[Therac 25: An engineering Disaster](http://www.bowdoin.edu/~allen/courses/cs260/readings/therac.pdf)\u003c/p\u003e\u003cp\u003e[Northeastern Blackout](https://en.wikipedia.org/wiki/Northeast_blackout_of_2003)\u003c/p\u003e\u003cp\u003e[A Few Billion LOC Later](https://web.stanford.edu/~engler/BLOC-coverity.pdf)\u003c/p\u003e|\n|Mar 24 [Th]|\u003cp\u003eTesting and\u003c/p\u003e\u003cp\u003eVerification - 2\u003c/p\u003e|\u003cp\u003e[Jaaru: Efficiently Model Checking Persistent Memory Programs](http://web.cs.ucla.edu/~harryxu/papers/jaaru-asplos21.pdf)\u003c/p\u003e\u003cp\u003e[Agamotto: How Persistent is your Persistent Memory Application?](https://www.usenix.org/conference/osdi20/presentation/neal) **(R)**\u003c/p\u003e|\u003cp\u003e[Cross-Failure Bug Detection in Persistent Memory Programs](https://www.cs.virginia.edu/~smk9u/liu_xfd_asplos2020.pdf)\u003c/p\u003e\u003cp\u003e[Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores](https://cosmoss-vt.github.io/pages/pubs/witcher-fu-sosp21.pdf)\u003c/p\u003e|\n|Mar 25 [F]|No class|***Work on projects***||\n|Mar 29 [T]|No class|***Work on projects***||\n|Mar 31 [Th]|No class|***Work on projects***||\n|Apr 1 [F]|No class|***Work on projects and final paper***||\n|Apr 5 [T]|\u003cp\u003eHeterogeneous\u003c/p\u003e\u003cp\u003eSystems\u003c/p\u003e|\u003cp\u003e[Cascade](https://cs.stanford.edu/people/eschkufz/docs/asplos_19.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[FIRRTL](https://aspire.eecs.berkeley.edu/wp/wp-content/uploads/2017/11/Reusability-is-FIRRTL-Ground-Izraelevitz.pdf)\u003c/p\u003e|[Popcorn](http://www.ssrg.ece.vt.edu/papers/eurosys15.pdf)|\n|Apr 7 [Th]|Concurrency|\u003cp\u003e[Lamport Clocks](https://amturing.acm.org/p558-lamport.pdf)\u003c/p\u003e\u003cp\u003e[Learning From Mistakes](https://www.cs.columbia.edu/~junfeng/09fa-e6998/papers/concurrency-bugs.pdf) **(R)**\u003c/p\u003e|[The Problem with Threads](https://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-1.pdf)|\n|Apr 8 [F]|No class|***Work on projects and final paper***||\n|Apr 12 [T]|\u003cp\u003eAtomicity \u0026\u003c/p\u003e\u003cp\u003eConsistency\u003c/p\u003e|\u003cp\u003e[Dynamo](https://www.allthingsdistributed.com/files/amazon-dynamo-sosp2007.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Optimistic Concurrency Control](https://www.eecs.harvard.edu/~htk/publication/1981-tods-kung-robinson.pdf)\u003c/p\u003e|\u003cp\u003e[CAP Theorem](https://pdfs.semanticscholar.org/5015/8bc1a8a67295ab7bce0550886a9859000dc2.pdf)\u003c/p\u003e\u003cp\u003e[CAP Theorem Twelve Years Later](https://www.infoq.com/articles/cap-twelve-years-later-how-the-rules-have-changed)\u003c/p\u003e|\n|Apr 14 [Th]|\u003cp\u003eMachine\u003c/p\u003e\u003cp\u003eLearning\u003c/p\u003e\u003cp\u003eSystems\u003c/p\u003e|\u003cp\u003e[T](https://ai.google/research/pubs/pub45381)[ensorFlow](https://ai.google/research/pubs/pub45381) \u003c/p\u003e\u003cp\u003e\u003cp\u003e[Ray: A Distributed Framework for Emerging AI Applications](https://www.usenix.org/system/files/osdi18-moritz.pdf)**(R)**\u003c/p\u003e|\u003cp\u003e[Machines That Think?](https://www.edge.org/response-detail/26200)\u003c/p\u003e\u003cp\u003e[The Great AI Awakening](https://www.nytimes.com/2016/12/14/magazine/the-great-ai-awakening.html)\u003c/p\u003e\u003cp\u003e[On the Dangers of Stochastic Parrots: Can Language Models Be Too Big? 🦜](https://dl-acm-org.proxy.lib.umich.edu/doi/pdf/10.1145/3442188.3445922)\u003c/p\u003e|\n|Apr 15 [F]|No class|***Work on projects and final paper***||\n|Apr 19 [T]|Rethinking the OS Design|\u003cp\u003e***Last (scheduled) day of class***\u003c/p\u003e\u003cp\u003e[Barrelfish](https://people.inf.ethz.ch/troscoe/pubs/sosp09-barrelfish.pdf) **(R)**\u003c/p\u003e\u003cp\u003e[Linux Scalability](https://pdos.csail.mit.edu/papers/linux:osdi10.pdf) \u003c/p\u003e|[Scalable Commutativity Rule](https://people.csail.mit.edu/nickolai/papers/clements-sc.pdf)|\n|Apr 28 [Th]||**Final Paper and Presentation Due**||\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fefeslab%2Feecs582","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fefeslab%2Feecs582","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fefeslab%2Feecs582/lists"}