course missive cs2750 spring in deo speramus brown
TRANSCRIPT
![Page 1: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/1.jpg)
Course Missive
CS2750
Spring
In Deo Speramus
Brown
![Page 2: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/2.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 2
Our Mission
• Learn how to– Come up-to-speed on a research area– Read a research paper– Map out an area from a paper– Present results to an audience
![Page 3: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/3.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 3
The Two Generals
Red army winsIf both sides
attack together
![Page 4: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/4.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 4
Communications
Red armies send messengers across valley
![Page 5: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/5.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 5
Communications
Messengers don’t always make it
![Page 6: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/6.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 6
Your Mission
Design a protocol to ensure that Red armies attack
simultaneously
![Page 7: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/7.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 7
Theorem
There is no non-trivial protocol that ensures that the Red
armies attack simultaneously
![Page 8: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/8.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 8
Proof Strategy
• Assume a protocol exists
• Reason about its properties
• Derive a contradiction
![Page 9: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/9.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 9
Proof
1. Consider the protocol that sends fewest messages
![Page 10: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/10.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 10
Proof
1. Consider the protocol that sends fewest messages
2. It still works if last message lost
![Page 11: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/11.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 11
Proof
1. Consider the protocol that sends fewest messages
2. It still works if last message lost
3. So just don’t send it– Messengers’ union pleased
![Page 12: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/12.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 12
Proof
1. Consider the protocol that sends fewest messages
2. It still works if last message lost
3. So just don’t send it– Messengers’ union happy
4. But now we have a shorter protocol!
![Page 13: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/13.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 13
Proof
1. Consider the protocol that sends fewest messages
2. It still works if last message lost
3. So just don’t send it– Messengers’ union happy
4. But now we have a shorter protocol!
5. Contradicting #1
![Page 14: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/14.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 14
Advisor
You May Find Yourself …
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You
![Page 15: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/15.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 15
Advisor
You May Find Yourself …
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You
I’m so Pwned…
![Page 16: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/16.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 16
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
Yes, Ma’am, right away!Yes, Ma’am, right away!
YouAdvisor
![Page 17: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/17.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 17
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
Yes, Ma’am, right away!Yes, Ma’am, right away!
Advantage:•Buys time to find another advisor.•No one really expects software to work anyway
Advantage:•Buys time to find another advisor.•No one really expects software to work anyway
YouAdvisor
![Page 18: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/18.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 18
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
Yes, Ma’am, right away!Yes, Ma’am, right away!
Advantage:•Buys time to find another job•No one really expects software to work anyway
Advantage:•Buys time to find another job•No one really expects software to work anyway
Disadvantage:•You’re doomed
Disadvantage:•You’re doomed
YouAdvisor
![Page 19: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/19.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 19
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
I can’t find a fault-tolerant algorithm, I guess I’m just a
pathetic loser.
I can’t find a fault-tolerant algorithm, I guess I’m just a
pathetic loser.
YouAdvisor
![Page 20: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/20.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 20
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
I can’t find a fault-tolerant algorithm, I guess I’m just a
pathetic loser.
I can’t find a fault-tolerant algorithm, I guess I’m just a
pathetic loser.
Advantage:•No need to take CS275
Advantage:•No need to take CS275
YouAdvisor
![Page 21: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/21.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 21
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
I can’t find a fault-tolerant algorithm, I guess I’m just a
pathetic loser.
I can’t find a fault-tolerant algorithm, I guess I’m just a
pathetic loser.
Advantage:•No need to take CS275
Advantage:•No need to take CS275
Disadvantage:•Advisor fires you, uses grant money to hire undergraduates
Disadvantage:•Advisor fires you, uses grant money to hire undergraduates
YouAdvisor
![Page 22: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/22.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 22
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
Using skills honed in CS275, I discovered prior work that suggests we had better rethink the problem spec.
Using skills honed in CS275, I discovered prior work that suggests we had better rethink the problem spec.
YouAdvisor
![Page 23: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/23.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 23
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
I want a real-time ROTFL- compliant Two Generals
protocol using UDP datagrams running on our enterprise-level
fiber tachyion network ...
You might say
Using skills honed in CS275, I discovered prior work that suggests we had better rethink the problem spec.
Using skills honed in CS275, I discovered prior work that suggests we had better rethink the problem spec.
YouAdvisor
Tenure-track!
![Page 24: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/24.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 24
Our Mission
• Learn how to– Come up-to-speed on a research area– Read a research paper– Map out an area from a paper– Present results to an audience
![Page 25: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/25.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 25
Reading a Research Paper
• Many research papers are badly written– Conference deadlines– Conference page limits– Brilliant but inarticulate authors
![Page 26: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/26.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 26
Leslie Lamport Review
![Page 27: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/27.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 27
Leslie Lamport ReviewBadly-written, misunderstood paper
that few had read.
![Page 28: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/28.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 28
Continued …
![Page 29: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/29.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 29
Continued …
Eh?
![Page 30: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/30.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 30
Continued …
Why indeed?
![Page 31: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/31.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 31
Continued …
Why not?
![Page 32: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/32.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 32
Continued …
Marketing FAIL
![Page 33: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/33.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 33
Hard Cases Make Bad Law
• This example does not mean– Every badly written paper has hidden value
![Page 34: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/34.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 34
Hard Cases Make Bad Law
• This example does not mean– Every badly written paper has hidden value
• But some do
![Page 35: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/35.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 35
Hard Cases Make Bad Law
• This example does not mean– Every badly written paper has hidden value
• But some do• And some well-written papers
– Have little to say
![Page 36: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/36.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 36
Hard Cases Make Bad Law
• This example does not mean– Every badly written paper has hidden value
• But some do• And some well-written papers
– Have little to say
• “The race is not always to the swift”– But the smart money bets that way …
![Page 37: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/37.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 37
Our Mission
• Learn how to come up-to-speed on a research area
• Exact area doesn’t matter (much)– Skill is fungible
• You are always going to need this skill– So start now!
![Page 38: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/38.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 38
Our Methodology
• Recent conference proceedings– Indicate which topics are hot– Even if the papers themselves are
• Incremental• Cryptic• Or worse!
![Page 39: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/39.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 39
Our Methodology
• Recent conference proceedings– Indicate which topics are hot– Even if the papers themselves are
• Incremental• Cryptic• Or worse!
• Even the worst papers– Have to cite the best
![Page 40: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/40.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 40
Detective Work
• Start with a recently published paper– So we know someone cares
![Page 41: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/41.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 41
Detective Work
• Start with a recently published paper– So we know someone cares
• Skim through it & primary citations– Which citations seem important?
![Page 42: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/42.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 42
Detective Work
• Start with a recently published paper– So we know someone cares
• Skim through it & primary citations– Which citations seem important?
• Identify area’s primary paper– The one to read if you read only one– First? Best improvement? Best written?
![Page 43: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/43.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 43
Presentation (35% of Grade)
• Form team of 1, 2, or 3 people• Pick recent paper• Perform “due diligence” on area• Identify one paper that everyone else
– Must read first– Must submit evaluation
• Give presentation• Repeat as needed …
![Page 44: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/44.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 44
Your Presentation
• Defines problem
• Establishes background
• Identifies primary paper
• Leads discussion
• Identifies open research questions
![Page 45: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/45.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 45
Participation (10% of Grade)
• Research papers sometimes– Are poorly written,– Make exaggerated or misleading claims– Contain errors or ambiguities (imagine that!).
• I expect students to speak up– Ask questions– Make observations– Apply critical scrutiny.
• It’s no fun without the studio audience!
![Page 46: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/46.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 46
Paper Evaluations(10% of grade)
• Your name & paper name• Summarize the paper
– no more than five sentences
• Strengths– no more than three, one sentence each
• Weaknesses– no more than three, one sentence each
• Open problems or issues– no more than three sentences
![Page 47: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/47.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 47
Paper Evaluations(10% of grade)
• Evaluations– will be graded on a scale of 1 to 3.– Default grade is 2.– Insightful reviews get 3– Disappointing reviews get 1.
.
![Page 48: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/48.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 48
Paper Evaluations(10% of grade)
• Mail evaluations to instructor before start of class in which the paper is presented.
• Late or incomplete evaluations get no credit.
• Must evaluate at least 2/3 of papers presented.
![Page 49: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/49.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 49
Presentation Evaluations(10% of grade)
• Presenter name(s)• Vision:
– did presenter explain why it matters?
• Style:– did presenter make eye contact, mumble, etc?
• Exposition– confusing slides?
• Q&A– How were questions handled?
![Page 50: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/50.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 50
Presentation Evaluations(10% of grade)
• Send evaluations to instructor– before Friday 5:00 PM in the week in which the
presentation occurred. No exceptions.– must do 2/3 of presentations
• Be frank, but polite.• Instructor will anonymize and send to
presenters• Exception:
– no need to evaluate instructor’s presentations– too hard to anonymize
![Page 51: Course Missive CS2750 Spring In Deo Speramus Brown](https://reader038.vdocuments.us/reader038/viewer/2022110320/56649ca35503460f9496286b/html5/thumbnails/51.jpg)
Apr 18, 2023 © 2014 Maurice Herlihy 51
Project (30% of grade)
• Requirements same as presentation, except that you:– Work alone, not in a team– Write a term paper, not a presentation.
• Consult the instructor!