t r ts t - - PowerPoint PPT Presentation

SLIDE 1

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥

❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

❈❤✉❝❦② ❊❧❧✐s♦♥

❯♥✐✈❡rs✐t② ♦❢ ■❧❧✐♥♦✐s

P❤❉ ❉❡❢❡♥s❡ ❏✉♥❡ ✷✽✱ ✷✵✶✷ ❚❤❡s✐s ❛❞✈✐s♦r✿

• r✐❣♦r❡ ❘♦s

✱✉

❈♦♠♠✐tt❡❡ ♠❡♠❜❡rs✿

• ✉❧ ❆❣❤❛

❏♦sé ▼❡s❡❣✉❡r ❲♦❧❢r❛♠ ❙❝❤✉❧t❡

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 2

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 3

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❚❤❡r❡ ✐s ♥♦ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 4

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❚❤❡r❡ ✐s ♥♦ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈✳ ✇❛s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 5

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❚❤❡r❡ ❛r❡ ♣❛rt✐❛❧ s❡♠❛♥t✐❝s

• ✉r❡✈✐❝❤ ❛♥❞ ❍✉❣❣✐♥s ✭✶✾✾✸✮ ❬❆❙▼❪

❈♦♦❦✱ ❈♦❤❡♥✱ ❛♥❞ ❘❡❞♠♦♥❞ ✭✶✾✾✹✮ ❬❉❡♥♦t❛t✐♦♥❛❧❪ ❈♦♦❦ ❛♥❞ ❙✉❜r❛♠❛♥✐❛♥ ✭✶✾✾✹✮ ❬❉❡♥♦t❛t✐♦♥❛❧❪ ◆♦rr✐s❤ ✭✶✾✾✽✮ ❬❙♠❛❧❧✲ ❛♥❞ ❜✐❣✲st❡♣ ❙❖❙❪ ❇❧❛❝❦ ✭✶✾✾✽✮ ❬❆①✐♦♠❛t✐❝❪ P❛♣❛s♣②r♦✉ ✭✷✵✵✶✮ ❬❉❡♥♦t❛t✐♦♥❛❧❪ ❇❧❛③② ❛♥❞ ▲❡r♦② ✭✷✵✵✾✮ ❬❇✐❣✲st❡♣ ❙❖❙❪ ▲❡r♦② ✭✷✵✶✵✮ ❬❙♠❛❧❧✲st❡♣ ❙❖❙❪ ❇✉t✱ t❤❡② s✐♠♣❧✐❢② ♦r ❧❡❛✈❡ ♦✉t ❧❛r❣❡ ♣❛rts ♦❢ t❤❡ ❧❛♥❣✉❛❣❡✿ ◆♦♥❞❡t❡r♠✐♥✐s♠✱ ❝❛sts✱ ❜✐t✜❡❧❞s✱ ✉♥✐♦♥s✱ str✉❝t ✈❛❧✉❡s✱ ✈❛r✐❛❞✐❝ ❢✉♥❝t✐♦♥s✱ ♠❡♠♦r② ❛❧✐❣♥♠❡♥t✱ ❣♦t♦✱ ❞②♥❛♠✐❝ ♠❡♠♦r② ❛❧❧♦❝❛t✐♦♥ ✭♠❛❧❧♦❝✭✮✮✱ ✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 6

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❇✉t✱ Pr❡✈✐♦✉s ❉❡✜♥✐t✐♦♥s ▲❡❛✈❡ ♦✉t ❋❡❛t✉r❡s

❉❡✜♥✐t✐♦♥ ❋❡❛t✉r❡

• ❍

❈❈❘ ❈❘ ◆♦ P❛ ❇▲ ▲❡ ❇✐t✜❡❧❞s

• ❊♥✉♠s
• ❋❧♦❛ts
• ❙tr✉❝t✴❯♥✐♦♥
• ❙tr✉❝t ❛s ❱❛❧✉❡
• ❆r✐t❤♠❡t✐❝
• ❇✐t✇✐s❡
• ❈❛sts
• ❋✉♥❝t✐♦♥s
• ❊①♣✳ ❙✐❞❡ ❊✛❡❝ts
• ❱❛r✐❛❞✐❝ ❋✉♥❝s✳
• ❊✈❛❧✳ ❙tr❛t❡❣✐❡s
• ❈♦♥❝✉rr❡♥❝②
• ❇r❡❛❦✴❈♦♥t✐♥✉❡
• ♦t♦
• ❙✇✐t❝❤
• ▲♦♥❣❥♠♣
• ▼❛❧❧♦❝
• ✿ ❋✉❧❧② ❉❡s❝r✐❜❡❞
• ✿ P❛rt✐❛❧❧② ❉❡s❝r✐❜❡❞

✿ ◆♦t ❉❡s❝r✐❜❡❞

• ❍ ❞❡♥♦t❡s ●✉r❡✈✐❝❤ ❛♥❞ ❍✉❣❣✐♥s ✭✶✾✾✸✮✱

❈❈❘ ✐s ❈♦♦❦✱ ❈♦❤❡♥✱ ❛♥❞ ❘❡❞♠♦♥❞ ✭✶✾✾✹✮✱ ❈❘ ✐s ❈♦♦❦ ❛♥❞ ❙✉❜r❛♠❛♥✐❛♥ ✭✶✾✾✹✮✱ ◆♦ ✐s ◆♦rr✐s❤ ✭✶✾✾✽✮✱ P❛ ✐s P❛♣❛s♣②r♦✉ ✭✷✵✵✶✮✱ ❇▲ ✐s ❇❧❛③② ❛♥❞ ▲❡r♦② ✭✷✵✵✾✮✱ ❛♥❞ ▲❡ ✐s ▲❡r♦② ✭✉♥♣✉❜❧✐s❤❡❞✱ ✷✵✶✵✮✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 7

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

◆♦ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❚♦♦❧s ❊✐t❤❡r

❚❤❡r❡ ❛r❡ ♠❛♥② ✉s❡❢✉❧ ❈ ❛♥❛❧②s✐s✴✈❡r✐✜❝❛t✐♦♥ t♦♦❧s✱ ✐♥❝❧✉❞✐♥❣✿ ▲✐♥t✴P✉r✐❢②✴❈♦✈❡r✐t②✴❱❛❧❣r✐♥❞ ❇❧❛st ❍❛✈♦❝ ❙❧❛♠ ❱❈❈ ❋r❛♠❛✲❈✴❈❛❞✉❝❡✉s · · · ❚❤❡s❡ t♦♦❧s ❛r❡ ❜❛s❡❞ ♦♥ ❛♣♣r♦①✐♠❛t✐✈❡ ♠♦❞❡❧s ♦❢ ❈✳ ▼♦st t♦♦❧s ❛r❡ ♥♦t ❡✈❡♥ ❜❛s❡❞ ♦♥ ❛♥ ✐♥❝♦♠♣❧❡t❡ s❡♠❛♥t✐❝s ❍❛r❞ t♦ ❛r❣✉❡ ❢♦r t❤❡ s♦✉♥❞♥❡ss ♦❢ t❤❡ t♦♦❧s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 8

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

◆♦ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❚♦♦❧s ❊✐t❤❡r

❚❤❡r❡ ❛r❡ ♠❛♥② ✉s❡❢✉❧ ❈ ❛♥❛❧②s✐s✴✈❡r✐✜❝❛t✐♦♥ t♦♦❧s✱ ✐♥❝❧✉❞✐♥❣✿ ▲✐♥t✴P✉r✐❢②✴❈♦✈❡r✐t②✴❱❛❧❣r✐♥❞ ❇❧❛st ❍❛✈♦❝ ❙❧❛♠ ❱❈❈ ❋r❛♠❛✲❈✴❈❛❞✉❝❡✉s · · · ❚❤❡s❡ t♦♦❧s ❛r❡ ❜❛s❡❞ ♦♥ ❛♣♣r♦①✐♠❛t✐✈❡ ♠♦❞❡❧s ♦❢ ❈✳ ▼♦st t♦♦❧s ❛r❡ ♥♦t ❡✈❡♥ ❜❛s❡❞ ♦♥ ❛♥ ✐♥❝♦♠♣❧❡t❡ s❡♠❛♥t✐❝s ❍❛r❞ t♦ ❛r❣✉❡ ❢♦r t❤❡ s♦✉♥❞♥❡ss ♦❢ t❤❡ t♦♦❧s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 9

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉r ❈♦♥tr✐❜✉t✐♦♥s

✶ ❆ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦❀ ✶

❈♦♠♣❧❡t❡ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ✭s❡♠❛♥t✐❝s ♦❢ ❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷

▲❛r❣❡ s✉❜s❡t ♦❢ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ✭❜❡✐♥❣ ❛❜❧❡ t♦ ✐❞❡♥t✐❢② ✐♥❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷ ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s t♦♦❧s ❢♦r ❈❀ ✸ ❚❡st s✉✐t❡ ❢♦r ❛♥❛❧②s✐s t♦♦❧s ❛♥❞ ❝♦♠♣✐❧❡rs❀ ✹ ❈♦♥str✉❝t✐✈❡ ❡✈✐❞❡♥❝❡ t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s s❝❛❧❡✳ P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 10

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉r ❈♦♥tr✐❜✉t✐♦♥s

✶ ❆ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦❀ ✶

❈♦♠♣❧❡t❡ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ✭s❡♠❛♥t✐❝s ♦❢ ❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷

▲❛r❣❡ s✉❜s❡t ♦❢ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ✭❜❡✐♥❣ ❛❜❧❡ t♦ ✐❞❡♥t✐❢② ✐♥❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷ ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s t♦♦❧s ❢♦r ❈❀ ✸ ❚❡st s✉✐t❡ ❢♦r ❛♥❛❧②s✐s t♦♦❧s ❛♥❞ ❝♦♠♣✐❧❡rs❀ ✹ ❈♦♥str✉❝t✐✈❡ ❡✈✐❞❡♥❝❡ t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s s❝❛❧❡✳ P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 11

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉r ❈♦♥tr✐❜✉t✐♦♥s

✶ ❆ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦❀ ✶

❈♦♠♣❧❡t❡ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ✭s❡♠❛♥t✐❝s ♦❢ ❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷

▲❛r❣❡ s✉❜s❡t ♦❢ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ✭❜❡✐♥❣ ❛❜❧❡ t♦ ✐❞❡♥t✐❢② ✐♥❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷ ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s t♦♦❧s ❢♦r ❈❀ ✸ ❚❡st s✉✐t❡ ❢♦r ❛♥❛❧②s✐s t♦♦❧s ❛♥❞ ❝♦♠♣✐❧❡rs❀ ✹ ❈♦♥str✉❝t✐✈❡ ❡✈✐❞❡♥❝❡ t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s s❝❛❧❡✳ P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 12

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉r ❈♦♥tr✐❜✉t✐♦♥s

✶ ❆ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦❀ ✶

❈♦♠♣❧❡t❡ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ✭s❡♠❛♥t✐❝s ♦❢ ❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷

▲❛r❣❡ s✉❜s❡t ♦❢ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ✭❜❡✐♥❣ ❛❜❧❡ t♦ ✐❞❡♥t✐❢② ✐♥❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷ ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s t♦♦❧s ❢♦r ❈❀ ✸ ❚❡st s✉✐t❡ ❢♦r ❛♥❛❧②s✐s t♦♦❧s ❛♥❞ ❝♦♠♣✐❧❡rs❀ ✹ ❈♦♥str✉❝t✐✈❡ ❡✈✐❞❡♥❝❡ t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s s❝❛❧❡✳ P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 13

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉r ❈♦♥tr✐❜✉t✐♦♥s

✶ ❆ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦❀ ✶

❈♦♠♣❧❡t❡ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ✭s❡♠❛♥t✐❝s ♦❢ ❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷

▲❛r❣❡ s✉❜s❡t ♦❢ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ✭❜❡✐♥❣ ❛❜❧❡ t♦ ✐❞❡♥t✐❢② ✐♥❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷ ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s t♦♦❧s ❢♦r ❈❀ ✸ ❚❡st s✉✐t❡ ❢♦r ❛♥❛❧②s✐s t♦♦❧s ❛♥❞ ❝♦♠♣✐❧❡rs❀ ✹ ❈♦♥str✉❝t✐✈❡ ❡✈✐❞❡♥❝❡ t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s s❝❛❧❡✳ P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 14

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉r ❈♦♥tr✐❜✉t✐♦♥s

✶ ❆ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ❢♦r ❈ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦❀ ✶

❈♦♠♣❧❡t❡ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ✭s❡♠❛♥t✐❝s ♦❢ ❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷

▲❛r❣❡ s✉❜s❡t ♦❢ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ✭❜❡✐♥❣ ❛❜❧❡ t♦ ✐❞❡♥t✐❢② ✐♥❝♦rr❡❝t ♣r♦❣r❛♠s✮

✷ ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s t♦♦❧s ❢♦r ❈❀ ✸ ❚❡st s✉✐t❡ ❢♦r ❛♥❛❧②s✐s t♦♦❧s ❛♥❞ ❝♦♠♣✐❧❡rs❀ ✹ ❈♦♥str✉❝t✐✈❡ ❡✈✐❞❡♥❝❡ t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s s❝❛❧❡✳ P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 15

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

▼② ❲♦r❦

❲♦r❦ ♦♥ K✿

❬❊❧❧✐s♦♥✱ ❙

✱ ❡r❜➔♥✉t ✱➔✱ ❘♦s ✱✉❀ ❲❆❉❚✬✵✽❪

❬■❧s❡♠❛♥✱ ❊❧❧✐s♦♥✱ ❘♦s

✱✉❀ ❚❘✬✶✵❪

❬❙

✱ ❡r❜➔♥✉t ✱➔✱ ❆r✉s♦❛✐❡✱ ▲❛③❛r✱ ❊❧❧✐s♦♥✱ ▲✉❝❛♥✉✱ ❘♦s ✱✉❀ ❑✬✶✶❪

❬❆r✉s♦❛✐❡✱ ❙

✱ ❡r❜➔♥✉t ✱➔✱ ❊❧❧✐s♦♥✱ ❘♦s ✱✉❀ ❲❘▲❆✬✶✷❪

❬▲❛③❛r✱ ❆r✉s♦❛✐❛✱ ❙

✱ ❡r❜➔♥✉t ✱➔✱ ❊❧❧✐s♦♥✱ ▼❡r❡✉t❛✱ ▲✉❝❛♥✉✱ ❘♦s ✱✉❀ ❋▼✬✶✷❪

❲♦r❦ ♦♥ ❈✿

❬❘♦s

✱✉✱ ❊❧❧✐s♦♥✱ ❙❝❤✉❧t❡❀ ❆▼❆❙❚✬✶✵❪

❬❊❧❧✐s♦♥✱ ❘♦s

✱✉❀ P❖P▲✬✶✷❪

❬❘❡❣❡❤r✱ ❈❤❡♥✱ ❈✉♦q✱ ❊✐❞❡✱ ❊❧❧✐s♦♥✱ ❨❛♥❣❀ P▲❉■✬✶✷❪ ❬❊❧❧✐s♦♥✱ ❘♦s

✱✉❀ ❙✉❜♠✐tt❡❞❪

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 16

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 17

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❈ ❙♣❡❝✐✜❝❛t✐♦♥s

❚❤❡ ❈ Pr♦❣r❛♠♠✐♥❣ ▲❛♥❣✉❛❣❡ ✭❑✫❘✮ ✭✶✾✼✽✮ ❆◆❙■ ❈ ✭✶✾✽✾✮ ■❙❖✴■❊❈ ✾✽✾✾✿✶✾✾✵ ✏❈✾✵✑ ■❙❖✴■❊❈ ✾✽✾✾✿✶✾✾✾ ✏❈✾✾✑

✺✹✵ ♣♣✳ ✻✷ ♣❡rs♦♥✲②❡❛rs ♦❢ ✇♦r❦ ✭❢r♦♠ ✶✾✾✺✕✶✾✾✾✮ ❲♦r❦ ❝♦♥t✐♥✉❡❞ ✉♥t✐❧ ✷✵✵✼ ❆❜♦✉t ✺✵ ♥❡✇ ❢❡❛t✉r❡s ♦✈❡r ❈✾✵✱ ❛♥❞ ♠❛♥② ✜①❡s

■❙❖✴■❊❈ ✾✽✾✾✿✷✵✶✶ ✏❈✶✶✑

✻✽✸ ♣♣✳ ❆❞❞s ✜rst s✉♣♣♦rt ❢♦r ❝♦♥❝✉rr❡♥❝②

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 18

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❉♦ ❲❡ ❘❡❛❧❧② ◆❡❡❞ ❋♦r♠❛❧ ❆♥❛❧②s✐s ❚♦♦❧s❄

◗✉❡st✐♦♥✳ ❲❤❛t ❤❛♣♣❡♥s ✇❤❡♥ t❤❡ ❛♣♣r♦①✐♠❛t✐✈❡ ♠♦❞❡❧s ♦❢ ❈ ❢❛❧❧ s❤♦rt❄ ❆♥s✇❡r✳ ❇❛❞ ♣r♦❣r❛♠s ❣❡t ♣r♦✈❡❞ ❝♦rr❡❝t✱ ♦r ❜❡❤❛✈✐♦rs ❣♦ ♠✐ss✐♥❣✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 19

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❲❤❛t ❛r❡ ✏❇❛❞✑ Pr♦❣r❛♠s❄

✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r ❇❡❤❛✈✐♦r✱ ✉♣♦♥ ✉s❡ ♦❢ ❛ ♥♦♥✲♣♦rt❛❜❧❡ ♦r ❡rr♦♥❡♦✉s ♣r♦❣r❛♠ ❝♦♥str✉❝t ♦r ♦❢ ❡rr♦♥❡♦✉s ❞❛t❛✱ ❬✇✐t❤❪ ♥♦ r❡q✉✐r❡♠❡♥ts✳ ❬❈✶✶✱ ➓✸✳✹✳✸✿✶❪ ■♥ ❡ss❡♥❝❡✱ t❤✐s r❡❢❡rs t♦ ♣r♦❜❧❡♠❛t✐❝ s✐t✉❛t✐♦♥s t❤❛t ❛r❡ ❤❛r❞ t♦ ✐❞❡♥t✐❢② st❛t✐❝❛❧❧② ♦r ❡①♣❡♥s✐✈❡ t♦ ✐❞❡♥t✐❢② ❞②♥❛♠✐❝❛❧❧② ■♠♣❧❡♠❡♥t❛t✐♦♥s ❝❛♥ ❞♦ ❛♥②t❤✐♥❣ ❢♦r ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r✱ ✐♥❝❧✉❞✐♥❣ ❢❛✐❧✐♥❣ t♦ ❝♦♠♣✐❧❡✱ ❝r❛s❤✐♥❣✱ ♦r ❛♣♣❡❛r✐♥❣ t♦ ✇♦r❦

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 20

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❯♥❞❡✜♥❡❞ ❇❡❤❛✈✐♦rs ❛r❡ ❋✉♥❞❛♠❡♥t❛❧ t♦ ❈

❈ ❤❛s ♦✈❡r ✷✵✵ ❡①♣❧✐❝✐t❧② ✉♥❞❡✜♥❡❞ ❦✐♥❞s ♦❢ ❜❡❤❛✈✐♦rs✳ ❉✐✈✐s✐♦♥ ❜② ③❡r♦ ❘❡❢❡rr✐♥❣ t♦ ❛♥ ♦❜❥❡❝t ♦✉ts✐❞❡ ✐ts ❧✐❢❡t✐♠❡ ❙✐❣♥❡❞ ♦✈❡r✢♦✇ ✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 21

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❚✇♦ ❯♥s❡q✉❡♥❝❡❞ ❲r✐t❡s t♦ ❵①✬

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ① ❂ ✵❀ r❡t✉r♥ ✭① ❂ ✶✮ ✰ ✭① ❂ ✷✮❀ ⑥ ❯♥❞❡✜♥❡❞ ❛❝❝♦r❞✐♥❣ t♦ ❈ st❛♥❞❛r❞

• ❈❈✹✱ ▼❙❱❈✿

r❡t✉r♥s ✹

• ❈❈✸✱ ■❈❈✱ ❈❧❛♥❣✿

r❡t✉r♥s ✸ ❇♦t❤ ❋r❛♠❛✲❈ ✭❏❡ss✐❡ ♣❧✉❣✐♥✮ ❛♥❞ ❍❛✈♦❝ ✏♣r♦✈❡✑ ✐t r❡t✉r♥s ✹

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 22

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❲r✐t❡ t♦ ❙tr✐♥❣ ▲✐t❡r❛❧

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✧❢♦♦✧❬✵❪ ❂ ✬①✬❀ r❡t✉r♥ ✧❢♦♦✧❬✵❪❀ ⑥ ❯♥❞❡✜♥❡❞ ❛❝❝♦r❞✐♥❣ t♦ ❈ st❛♥❞❛r❞

• ❈❈✿

❞♦❡s♥✬t ❝♦♠♣✐❧❡ ■❈❈✱ ❈❧❛♥❣✿ s❡❣♠❡♥t❛t✐♦♥ ❢❛✉❧t ▼❙❱❈✿ r❡t✉r♥s ❵❢✬ ❋r❛♠❛✲❈ ✭❏❡ss✐❡ ♣❧✉❣✐♥✮ ✏♣r♦✈❡s✑ ✐t r❡t✉r♥s ❵①✬

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 23

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❱❛❧✐❞ ◆♦♥❞❡t❡r♠✐♥✐s♠

✐♥t r❀ ✐♥t ❢✭✐♥t ①✮ ④ r❡t✉r♥ ✭r ❂ ①✮❀ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ r❡t✉r♥ ❢✭✶✮ ✰ ❢✭✷✮✱ r❀ ⑥ ❉❡✜♥❡❞ ✭❈♦✉❧❞ r❡t✉r♥ ✶ ♦r ✷✮

• ❈❈✱ ■❈❈✱ ▼❙❱❈✱ ❈❧❛♥❣✿

r❡t✉r♥s ✷ ❇♦t❤ ❋r❛♠❛✲❈ ✭❏❡ss✐❡ ♣❧✉❣✐♥✮ ❛♥❞ ❍❛✈♦❝ ✏♣r♦✈❡✑ ✐t ❝❛♥ ♦♥❧② r❡t✉r♥ ✷

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 24

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s

❲❡ ❛r❡ ♥♦t s❛②✐♥❣ t❤❛t t❤❡s❡ ❛♥❛❧②s✐s t♦♦❧s ❛r❡ ❜❛❞✦ ❍♦✇❡✈❡r✱ ✐t ✐s ❤❛r❞ t♦ ❛r❣✉❡ ❢♦r s♦✉♥❞♥❡ss ✇✐t❤♦✉t ❛ s❡♠❛♥t✐❝s✳ ■♥st❡❛❞ ♦❢ ❡♠❜❡❞❞✐♥❣ ❞✐✛❡r❡♥t ♠♦❞❡❧s ♦❢ ❈ ✐♥ ❡✈❡r② t♦♦❧✱ ✇❡ ♥❡❡❞✿ ❆♥ ❡①♣❧✐❝✐t ❛♥❞ t❡st❛❜❧❡ ❞❡✜♥✐t✐♦♥ ♦❢ ❈ ❚♦ ❜✉✐❧❞ t♦♦❧s t❤❛t ❝♦♥❢♦r♠ t♦ t❤✐s s❡♠❛♥t✐❝s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 25

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 26

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✶✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 27

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s

❬❊❧❧✐s♦♥✱ ❘♦s

✱✉✱ P❖P▲✬✶✷❪

P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ❲❤❡♥ ♦♥❡ t❤✐♥❦s ♦❢ ❢♦r♠❛❧ s❡♠❛♥t✐❝s✱ ♦♥❡ t②♣✐❝❛❧❧② t❤✐♥❦s ♦❢ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s✳ ❚❤❛t ✐s✱ t❤❡ s❡♠❛♥t✐❝s ♦❢ ❞❡✜♥❡❞ ♣r♦❣r❛♠s✳ ❆ ♣♦s✐t✐✈❡ s❡♠❛♥t✐❝s ❡♥❛❜❧❡s✿ Pr♦❣r❛♠ ✐♥t❡r♣r❡t❛t✐♦♥ Pr♦❣r❛♠ ❞❡❜✉❣❣✐♥❣ Pr♦❣r❛♠ ❜❡❤❛✈✐♦r ❡①♣❧♦r❛t✐♦♥ ❉❡❛❞❧♦❝❦✴▲✐✈❡❧♦❝❦ ❞❡t❡❝t✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 28

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❆ ❈♦♠♣❧❡t❡ ❉❡✜♥✐t✐♦♥ ♦❢ ❈

❲❡ ❤❛✈❡ t❤❡ ✜rst ❛r❣✉❛❜❧② ❝♦♠♣❧❡t❡ ❢♦r♠❛❧ ❞❡✜♥✐t✐♦♥ ♦❢ ❛ ❝♦♥❢♦r♠✐♥❣ ❢r❡❡st❛♥❞✐♥❣ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢ ❈✳ ❈♦♥❢♦r♠✐♥❣ ▼✉st ❛❝❝❡♣t ❛❧❧ ♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✱ ❜✉t ❝❛♥ ❛❧s♦ ❛❝❝❡♣t ♥♦♥✲♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✳ ❋r❡❡st❛♥❞✐♥❣ ❆❧❧ ❧❛♥❣✉❛❣❡ ❢❡❛t✉r❡s ❡①❝❡♣t ❝♦♠♣❧❡① ✭✐✳❡✳✱ ✐♠❛❣✐♥❛r②✮ ♥✉♠❜❡rs✱ ❛♥❞ ♦♥❧② ❛ s✉❜s❡t ♦❢ t❤❡ st❛♥❞❛r❞ ❧✐❜r❛r②✳ ■t ✐♥❝❧✉❞❡s ♦♥❧② ❁❢❧♦❛t✳❤❃ ❁✐s♦✻✹✻✳❤❃✱ ❁❧✐♠✐ts✳❤❃✱ ❁st❞❛❧✐❣♥✳❤❃✱ ❁st❞❛r❣✳❤❃✱ ❁st❞❜♦♦❧✳❤❃✱ ❁st❞❞❡❢✳❤❃✱ ❛♥❞ ❁st❞✐♥t✳❤❃✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 29

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❆ ❈♦♠♣❧❡t❡ ❉❡✜♥✐t✐♦♥ ♦❢ ❈

❲❡ ❤❛✈❡ t❤❡ ✜rst ❛r❣✉❛❜❧② ❝♦♠♣❧❡t❡ ❢♦r♠❛❧ ❞❡✜♥✐t✐♦♥ ♦❢ ❛ ❝♦♥❢♦r♠✐♥❣ ❢r❡❡st❛♥❞✐♥❣ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢ ❈✳ ❈♦♥❢♦r♠✐♥❣ ▼✉st ❛❝❝❡♣t ❛❧❧ ♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✱ ❜✉t ❝❛♥ ❛❧s♦ ❛❝❝❡♣t ♥♦♥✲♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✳ ❋r❡❡st❛♥❞✐♥❣ ❆❧❧ ❧❛♥❣✉❛❣❡ ❢❡❛t✉r❡s ❡①❝❡♣t ❝♦♠♣❧❡① ✭✐✳❡✳✱ ✐♠❛❣✐♥❛r②✮ ♥✉♠❜❡rs✱ ❛♥❞ ♦♥❧② ❛ s✉❜s❡t ♦❢ t❤❡ st❛♥❞❛r❞ ❧✐❜r❛r②✳ ■t ✐♥❝❧✉❞❡s ♦♥❧② ❁❢❧♦❛t✳❤❃ ❁✐s♦✻✹✻✳❤❃✱ ❁❧✐♠✐ts✳❤❃✱ ❁st❞❛❧✐❣♥✳❤❃✱ ❁st❞❛r❣✳❤❃✱ ❁st❞❜♦♦❧✳❤❃✱ ❁st❞❞❡❢✳❤❃✱ ❛♥❞ ❁st❞✐♥t✳❤❃✳ ❬❈✶✶✱ ➓✹✿✻❪

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 30

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❆ ❈♦♠♣❧❡t❡ ❉❡✜♥✐t✐♦♥ ♦❢ ❈

❲❡ ❤❛✈❡ t❤❡ ✜rst ❛r❣✉❛❜❧② ❝♦♠♣❧❡t❡ ❢♦r♠❛❧ ❞❡✜♥✐t✐♦♥ ♦❢ ❛ ❝♦♥❢♦r♠✐♥❣ ❢r❡❡st❛♥❞✐♥❣ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢ ❈✳ ❈♦♥❢♦r♠✐♥❣ ▼✉st ❛❝❝❡♣t ❛❧❧ ♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✱ ❜✉t ❝❛♥ ❛❧s♦ ❛❝❝❡♣t ♥♦♥✲♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✳ ❋r❡❡st❛♥❞✐♥❣ ❆❧❧ ❧❛♥❣✉❛❣❡ ❢❡❛t✉r❡s ❡①❝❡♣t ❝♦♠♣❧❡① ✭✐✳❡✳✱ ✐♠❛❣✐♥❛r②✮ ♥✉♠❜❡rs✱ ❛♥❞ ♦♥❧② ❛ s✉❜s❡t ♦❢ t❤❡ st❛♥❞❛r❞ ❧✐❜r❛r②✳ ■t ✐♥❝❧✉❞❡s ♦♥❧② ❁❢❧♦❛t✳❤❃ ❁✐s♦✻✹✻✳❤❃✱ ❁❧✐♠✐ts✳❤❃✱ ❁st❞❛❧✐❣♥✳❤❃✱ ❁st❞❛r❣✳❤❃✱ ❁st❞❜♦♦❧✳❤❃✱ ❁st❞❞❡❢✳❤❃✱ ❛♥❞ ❁st❞✐♥t✳❤❃✳ ❬❈✶✶✱ ➓✹✿✻❪

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 31

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❆ ❈♦♠♣❧❡t❡ ❉❡✜♥✐t✐♦♥ ♦❢ ❈

❲❡ ❤❛✈❡ t❤❡ ✜rst ❛r❣✉❛❜❧② ❝♦♠♣❧❡t❡ ❢♦r♠❛❧ ❞❡✜♥✐t✐♦♥ ♦❢ ❛ ❝♦♥❢♦r♠✐♥❣ ❢r❡❡st❛♥❞✐♥❣ ✐♠♣❧❡♠❡♥t❛t✐♦♥ ♦❢ ❈✳ ❈♦♥❢♦r♠✐♥❣ ▼✉st ❛❝❝❡♣t ❛❧❧ ♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✱ ❜✉t ❝❛♥ ❛❧s♦ ❛❝❝❡♣t ♥♦♥✲♣♦rt❛❜❧❡ ♣r♦❣r❛♠s✳ ❋r❡❡st❛♥❞✐♥❣ ❆❧❧ ❧❛♥❣✉❛❣❡ ❢❡❛t✉r❡s ❡①❝❡♣t ❝♦♠♣❧❡① ✭✐✳❡✳✱ ✐♠❛❣✐♥❛r②✮ ♥✉♠❜❡rs✱ ❛♥❞ ♦♥❧② ❛ s✉❜s❡t ♦❢ t❤❡ st❛♥❞❛r❞ ❧✐❜r❛r②✳ ■t ✐♥❝❧✉❞❡s ♦♥❧② ❁❢❧♦❛t✳❤❃ ❁✐s♦✻✹✻✳❤❃✱ ❁❧✐♠✐ts✳❤❃✱ ❁st❞❛❧✐❣♥✳❤❃✱ ❁st❞❛r❣✳❤❃✱ ❁st❞❜♦♦❧✳❤❃✱ ❁st❞❞❡❢✳❤❃✱ ❛♥❞ ❁st❞✐♥t✳❤❃✳ ❬❈✶✶✱ ➓✹✿✻❪

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 32

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❊①t❡♥s✐✈❡❧② ❚❡st❡❞ ❉❡✜♥✐t✐♦♥

❚❡st❡❞ ❛❣❛✐♥st t❤❡ ●❈❈ t♦rt✉r❡ t❡sts✿

❖❢ ✶✵✾✸ t❡st ♣r♦❣r❛♠s✱ ✼✼✻ ❛♣♣❡❛r t♦ ❜❡ st❛♥❞❛r❞s ❝♦♠♣❧✐❛♥t✳ ❖❢ t❤♦s❡✱ ✇❡ ♣❛ss ✼✼✵ ✭❃✾✾✪✮✳ ❇❡tt❡r r❡s✉❧ts t❤❛♥ ❈❧❛♥❣ ♦r ●❈❈ ✐ts❡❧❢❀ ♦♥❡ ❢❡✇❡r t❤❛♥ ■❈❈✳

❚❡st❡❞ ❛❣❛✐♥st t❡st s✉✐t❡s ♦❢ ♦t❤❡r ❝♦♠♣✐❧❡rs ✭❈❧❛♥❣✱ ▲❈❈✱ ❡t❝✳✮ ❚❡st❡❞ ❛❣❛✐♥st t❤♦✉s❛♥❞s ♦❢ ♣r♦❣r❛♠s ❣❡♥❡r❛t❡❞ ❜② ❈s♠✐t❤

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 33

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❖✉r ❲♦r❦ ✐s ▼♦r❡ ❈♦♠♣❧❡t❡

❉❡✜♥✐t✐♦♥ ❋❡❛t✉r❡

• ❍

❈❈❘ ❈❘ ◆♦ P❛ ❇▲ ▲❡ ❊❘ ❇✐t✜❡❧❞s

• ❊♥✉♠s
• ❋❧♦❛ts
• ❙tr✉❝t✴❯♥✐♦♥
• ❙tr✉❝t ❛s ❱❛❧✉❡
• ❆r✐t❤♠❡t✐❝
• ❇✐t✇✐s❡
• ❈❛sts
• ❋✉♥❝t✐♦♥s
• ❊①♣✳ ❙✐❞❡ ❊✛❡❝ts
• ❱❛r✐❛❞✐❝ ❋✉♥❝s✳
• ❊✈❛❧✳ ❙tr❛t❡❣✐❡s
• ❈♦♥❝✉rr❡♥❝②
• ❇r❡❛❦✴❈♦♥t✐♥✉❡
• ♦t♦
• ❙✇✐t❝❤
• ▲♦♥❣❥♠♣
• ▼❛❧❧♦❝
• ✿ ❋✉❧❧② ❉❡s❝r✐❜❡❞
• ✿ P❛rt✐❛❧❧② ❉❡s❝r✐❜❡❞

✿ ◆♦t ❉❡s❝r✐❜❡❞

• ❍ ❞❡♥♦t❡s ●✉r❡✈✐❝❤ ❛♥❞ ❍✉❣❣✐♥s ✭✶✾✾✸✮✱

❈❈❘ ✐s ❈♦♦❦✱ ❈♦❤❡♥✱ ❛♥❞ ❘❡❞♠♦♥❞ ✭✶✾✾✹✮✱ ❈❘ ✐s ❈♦♦❦ ❛♥❞ ❙✉❜r❛♠❛♥✐❛♥ ✭✶✾✾✹✮✱ ◆♦ ✐s ◆♦rr✐s❤ ✭✶✾✾✽✮✱ P❛ ✐s P❛♣❛s♣②r♦✉ ✭✷✵✵✶✮✱ ❇▲ ✐s ❇❧❛③② ❛♥❞ ▲❡r♦② ✭✷✵✵✾✮✱ ▲❡ ✐s ▲❡r♦② ✭✉♥♣✉❜❧✐s❤❡❞✱ ✷✵✶✵✮✱ ❛♥❞ ❊❘ ✐s ❊❧❧✐s♦♥ ❛♥❞ ❘♦s

✱✉ ✭♦✉r ✇♦r❦✮ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 34

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙♦♠❡ ■♥❢♦r♠❛t✐♦♥ ❛❜♦✉t ❖✉r ❙❡♠❛♥t✐❝s

▼❡❝❤❛♥✐③❡❞ ✐♥ t❤❡ K ❋r❛♠❡✇♦r❦ ✭❤tt♣✿✴✴❦✲❢r❛♠❡✇♦r❦✳♦r❣✴✮ ❘❡✇r✐t✐♥❣✲st②❧❡ s❡♠❛♥t✐❝s ❙②♥t❛①✱ ❝♦♥✜❣✉r❛t✐♦♥✱ r❡✇r✐t❡ r✉❧❡s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 35

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❈✬s K ❈♦♥✜❣✉r❛t✐♦♥

·

gotoMap

·

genv

·

gtypes

·

gstructs

·

mem

·

functions freshNat 2 nextThreadId

·

malloced

·

stringLiterals

·

translationUnits

·

declarationOrder

·

externalDefinitions

·

internalDefinitions

·

internalLocations

·

externalLocations

·

preLinkage

·

preTypes

·

declarations

·

functionTranslationUnits nextSharedLoc

·

threadStatus

·

joiningMap

·

detachingMap threadInformation

·

programText

·

compoundLiteralMap threadId nextLoc

·

buffer false blocked

·

k ?

·

callStack

·

computation

·

computationTail

·

declarationStack nestingDepthGoto

·

blockHistoryGoto

·

loopStackGoto gotoCalculation ? calculateGotoMap

·

finalComputation ?

·

blockStack

·

env

·

types

·

structs nestingDepth

·

blockHistory

·

localVariables

·

localAddresses local true shouldInit

·

currentObject

·

currentSubObject incompleteLength

·

savedInitialization

·

loopStack

·

locsWrittenTo

·

holds

·

type ?

·

declarationTypeHolder

“”

currentTranslationUnit

·

currentFunction

·

currentProgramLoc control threadLocal thread * threads T

·

xmessages

·

fileCommands

·

fid

·

uri pos

“r”

mode

“”

buff

·

sending

“”

done file * files

“”

input

“”

• utput

“”

unflushedOutput

·

resultValue

·

errorCell ?

❆ K ❝♦♥✜❣✉r❛t✐♦♥ ✐s ❛ ♥❡st❡❞ t✉♣❧❡ r❡♣r❡s❡♥t✐♥❣ t❤❡ st❛t❡ ♦❢ ❛ r✉♥♥✐♥❣ ♣r♦❣r❛♠✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 36

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙♦♠❡ ■♥❢♦r♠❛t✐♦♥ ❛❜♦✉t ❖✉r ❙❡♠❛♥t✐❝s

✶✺✵ s②♥t❛❝t✐❝ ♦♣❡r❛t♦rs ✺✾✵✵ s♦✉r❝❡ ❧✐♥❡s ♦❢ s❡♠❛♥t✐❝s ✶✷✵✵ ❞✐✛❡r❡♥t K r✉❧❡s

❖♥❧② ✽✵ r✉❧❡s ❢♦r st❛t❡♠❡♥ts ❖♥❧② ✶✻✵ ❢♦r ❡①♣r❡ss✐♦♥s ✺✵✵ r✉❧❡s ❢♦r ❞❡❝❧❛r❛t✐♦♥s ❛♥❞ t②♣❡s✦

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 37

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❱❛r✐❛❜❧❡ ▲♦♦❦✉♣

❈✶✶✱ ➓✻✳✺✳✶✿✷ ❆♥ ✐❞❡♥t✐✜❡r ✐s ❛ ♣r✐♠❛r② ❡①♣r❡ss✐♦♥✱ ♣r♦✈✐❞❡❞ ✐t ❤❛s ❜❡❡♥ ❞❡❝❧❛r❡❞ ❛s ❞❡s✐❣♥❛t✐♥❣ ❛♥ ♦❜❥❡❝t ✭✐♥ ✇❤✐❝❤ ❝❛s❡ ✐t ✐s ❛♥ ❧✈❛❧✉❡✮✳ ✳ ✳ ❈✶✶✱ ➓✻✳✸✳✷✳✶✿✶ ❆♥ ❧✈❛❧✉❡ ✐s ❛♥ ❡①♣r❡ss✐♦♥ ✭✇✐t❤ ❛♥ ♦❜❥❡❝t t②♣❡ ♦t❤❡r t❤❛♥ ✈♦✐❞✮ t❤❛t ♣♦t❡♥t✐❛❧❧② ❞❡s✐❣♥❛t❡s ❛♥ ♦❜❥❡❝t✳ ✳ ✳

lookup

X [L] : T

k

X → L

env

X → T

types

[▲] : ❚ ✐s ❛♥ ❧✈❛❧✉❡ ▲ ✇✐t❤ t②♣❡ ❚✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 38

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❘❡❢❡r❡♥❝❡

❈✶✶✱ ➓✻✳✺✳✸✳✷✿✸ ❚❤❡ ✉♥❛r② ✫ ♦♣❡r❛t♦r ②✐❡❧❞s t❤❡ ❛❞❞r❡ss ♦❢ ✐ts ♦♣❡r❛♥❞✳ ■❢ t❤❡ ♦♣❡r❛♥❞ ❤❛s t②♣❡ ✏t②♣❡✑✱ t❤❡ r❡s✉❧t ❤❛s t②♣❡ ✏♣♦✐♥t❡r t♦ t②♣❡✑✳ ✳ ✳ ❬❚❤❡❪ r❡s✉❧t ✐s ❛ ♣♦✐♥t❡r t♦ t❤❡ ♦❜❥❡❝t ♦r ❢✉♥❝t✐♦♥ ❞❡s✐❣♥❛t❡❞ ❜② ✐ts ♦♣❡r❛♥❞✳

ref & ([L] : T)

L : pointerType(T)

k

▲ : ❚ ✐s ❛ ✈❛❧✉❡ ▲ ✇✐t❤ t②♣❡ ❚✳ [▲] : ❚ ✐s ❛♥ ❧✈❛❧✉❡ ▲ ✇✐t❤ t②♣❡ ❚✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 39

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❉❡r❡❢❡r❡♥❝❡

❈✶✶✱ ➓✻✳✺✳✸✳✷✿✹ ❚❤❡ ✉♥❛r② ✯ ♦♣❡r❛t♦r ❞❡♥♦t❡s ✐♥❞✐r❡❝t✐♦♥✳ ■❢ t❤❡ ♦♣❡r❛♥❞ ✳ ✳ ✳ ♣♦✐♥ts t♦ ❛♥ ♦❜❥❡❝t✱ t❤❡ r❡s✉❧t ✐s ❛♥ ❧✈❛❧✉❡ ❞❡s✐❣♥❛t✐♥❣ t❤❡ ♦❜❥❡❝t✳ ■❢ t❤❡ ♦♣❡r❛♥❞ ❤❛s t②♣❡ ✏♣♦✐♥t❡r t♦ t②♣❡✑✱ t❤❡ r❡s✉❧t ❤❛s t②♣❡ ✏t②♣❡✑✳

deref *(L : pointerType(T))

[L] : T

k

▲ : ❚ ✐s ❛ ✈❛❧✉❡ ▲ ✇✐t❤ t②♣❡ ❚✳ [▲] : ❚ ✐s ❛♥ ❧✈❛❧✉❡ ▲ ✇✐t❤ t②♣❡ ❚✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✷✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 40

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❲❤② ❞♦❡s t❤✐s ✇♦r❦❄

❈✾✾✱ ➓✻✳✸✳✷✳✶✿✷ ❊①❝❡♣t ✇❤❡♥ ✐t ✐s t❤❡ ♦♣❡r❛♥❞ ♦❢ t❤❡ s✐③❡♦❢ ♦♣❡r❛t♦r✱ t❤❡ ✉♥❛r② ✫ ♦♣❡r❛t♦r✱ t❤❡ ✰✰ ♦♣❡r❛t♦r✱ t❤❡ ✲✲ ♦♣❡r❛t♦r✱ ♦r t❤❡ ❧❡❢t ♦♣❡r❛♥❞ ♦❢ t❤❡ ✳ ♦♣❡r❛t♦r ♦r ❛♥ ❛ss✐❣♥♠❡♥t ♦♣❡r❛t♦r✱ ❛♥ ❧✈❛❧✉❡ t❤❛t ❞♦❡s ♥♦t ❤❛✈❡ ❛rr❛② t②♣❡ ✐s ❝♦♥✈❡rt❡❞ t♦ t❤❡ ✈❛❧✉❡ st♦r❡❞ ✐♥ t❤❡ ❞❡s✐❣♥❛t❡❞ ♦❜❥❡❝t ✭❛♥❞ ✐s ♥♦ ❧♦♥❣❡r ❛♥ ❧✈❛❧✉❡✮❀ t❤✐s ✐s ❝❛❧❧❡❞ ❧✈❛❧✉❡ ❝♦♥✈❡rs✐♦♥✳ ✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 41

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 42

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❬❊❧❧✐s♦♥✱ ❘♦s

✱✉❀ ❙✉❜♠✐tt❡❞❪❀

❬❘❡❣❡❤r✱ ❈❤❡♥✱ ❈✉♦q✱ ❊✐❞❡✱ ❊❧❧✐s♦♥✱ ❨❛♥❣❀ P▲❉■✬✶✷❪

◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s ❚❤❡ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ♦❢ ❛ ❧❛♥❣✉❛❣❡ ❛r❡ t❤❡ r✉❧❡s t❤❛t ❝❛♥ ✐❞❡♥t✐❢② ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦rs✳ ❙✉❝❤ ❜❡❤❛✈✐♦rs ♥❡❡❞ ❛tt❡♥t✐♦♥ ✐♥ ♣r❛❝t✐❝❡ ✭❛s ✇❡ s❤❛❧❧ s❡❡✮✳ ❆ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ❡♥❛❜❧❡s✿ ▼❡♠♦r② s❛❢❡t② ❝❤❡❝❦❡r ❘❛❝❡ ❞❡t❡❝t♦r ■✳❡✳✱ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r ❞❡t❡❝t✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 43

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❘❡❛❧ ❲♦r❧❞ ❆♣♣❧✐❝❛t✐♦♥

❖✉r t♦♦❧ ❤❛s ❜❡❡♥ ✉s❡❞ ✐♥ ❛✉t♦♠❛t❡❞ t❡st❝❛s❡ r❡❞✉❝t✐♦♥ ❬❘❡❣❡❤r✱

❈❤❡♥✱ ❈✉♦q✱ ❊✐❞❡✱ ❊❧❧✐s♦♥✱ ❨❛♥❣❀ P▲❉■✬✶✷❪

■t✬s ❢❛st ❡♥♦✉❣❤ t♦ ❜❡ ✉s❡❢✉❧ ❈❛t❝❤❡s ❜✉❣s t❤❛t ♦t❤❡r t♦♦❧s ✭❡✳❣✳✱ ❱❛❧❣r✐♥❞✮ ❞♦ ♥♦t ◆♦ s♣✉r✐♦✉s ❡rr♦rs

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 44

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❚❡❝❤♥✐q✉❡s ❢♦r ❈❛♣t✉r✐♥❣ ❯♥❞❡✜♥❡❞ ❇❡❤❛✈✐♦r

❲❡ ✉s❡ t❤❡s❡ t❡❝❤♥✐q✉❡s t♦ ✐❞❡♥t✐❢② ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r✿ ❙✐❞❡ ❝♦♥❞✐t✐♦♥s ❙t♦r✐♥❣ ❛❞❞✐t✐♦♥❛❧ ✐♥❢♦r♠❛t✐♦♥ ❙②♠❜♦❧✐❝ ❜❡❤❛✈✐♦r ❆s ✇❡ ✇✐❧❧ s❡❡✱ t❤❡② ❛r❡ str♦♥❣❧② r❡❧❛t❡❞ t♦ ♦♥❡ ❛♥♦t❤❡r✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 45

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙✐❞❡ ❈♦♥❞✐t✐♦♥s

❆ ♣❧❛✐♥✱ ✉♥s❛❢❡ r✉❧❡✳ ✳ ✳

deref *(L : pointerType(T))

[L] : T

k

❝❛♥ ❜❡ ♠❛❞❡ s❛❢❡r ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ❢♦r t②♣❡✳ ✳ ✳ ❛♥❞ ❢♦r ♣♦s✐t✐♦♥✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 46

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙✐❞❡ ❈♦♥❞✐t✐♦♥s

❆ ♣❧❛✐♥✱ ✉♥s❛❢❡ r✉❧❡✳ ✳ ✳

deref *(L : pointerType(T))

[L] : T

k

❝❛♥ ❜❡ ♠❛❞❡ s❛❢❡r ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ❢♦r t②♣❡✳ ✳ ✳

∧ ≥

deref’ *(L : pointerType(T))

[L] : T

k

when T = void

❛♥❞ ❢♦r ♣♦s✐t✐♦♥✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 47

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙✐❞❡ ❈♦♥❞✐t✐♦♥s

❆ ♣❧❛✐♥✱ ✉♥s❛❢❡ r✉❧❡✳ ✳ ✳

deref *(L : pointerType(T))

[L] : T

k

❝❛♥ ❜❡ ♠❛❞❡ s❛❢❡r ✇✐t❤ s✐❞❡ ❝♦♥❞✐t✐♦♥s ❢♦r t②♣❡✳ ✳ ✳

∧ ≥

deref’ *(L : pointerType(T))

[L] : T

k

when T = void

❛♥❞ ❢♦r ♣♦s✐t✐♦♥✳ ✳ ✳

deref” *(loc(B, O) : pointerType(T))

[loc(B, O)] : T

k

B

basePtr

Len

len

when O < Len ∧ T = void

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 48

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙✐❞❡ ❈♦♥❞✐t✐♦♥s ✭❈♦♥t✳✮

❲❡ ✉s❡❞ s✐❞❡ ❝♦♥❞✐t✐♦♥s t♦ ❛✈♦✐❞ ❞❡✜♥✐♥❣ ♠❛♥② ❦✐♥❞s ♦❢ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r✿ ❙❛❢❡ ❞❡r❡❢❡r❡♥❝✐♥❣ ✭♣r❡✈✐♦✉s ❡①❛♠♣❧❡✮ ❉✐✈✐s✐♦♥ ❜② ③❡r♦ ✭✇❤❡♥ ❞❡♥♦♠ = ✵✮ ❩❡r♦ ❧❡♥❣t❤ ♦❜❥❡❝ts ✭✇❤❡♥ ♥ ≥ ✶✮ ❆r✐t❤♠❡t✐❝ ♦✈❡r✢♦✇ ✭✇❤❡♥ s✉♠ ≤ ■◆❚❴▼❆❳✮ ❉❛t❛ r❛❝❡s ✭✇❤❡♥ ¬♦✈❡r❧❛♣s✭✇r✐t❡✶✱ ✇r✐t❡✷✮✮ ✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 49

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙t♦r✐♥❣ ❆❞❞✐t✐♦♥❛❧ ■♥❢♦r♠❛t✐♦♥

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ① ❂ ✵❀ r❡t✉r♥ ✭① ❂ ✶✮ ✰ ✭① ❂ ✷✮❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 50

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙t♦r✐♥❣ ❆❞❞✐t✐♦♥❛❧ ■♥❢♦r♠❛t✐♦♥

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ① ❂ ✵❀ r❡t✉r♥ ✭① ❂ ✶✮ ✰ ✭① ❂ ✷✮❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ❚♦ ❞❡t❡❝t ✉♥s❡q✉❡♥❝❡❞ r❡❛❞s✴✇r✐t❡s✱ ✇❡ st❛rt ❦❡❡♣✐♥❣ tr❛❝❦ ♦❢ ✇r✐t❡s✿

∧

• writeByte

writeByte writeByte′

(Loc, V )

k

S

• Loc

locsWrittenTo

when Loc ∈ S

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 51

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙t♦r✐♥❣ ❆❞❞✐t✐♦♥❛❧ ■♥❢♦r♠❛t✐♦♥

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ① ❂ ✵❀ r❡t✉r♥ ✭① ❂ ✶✮ ✰ ✭① ❂ ✷✮❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ❲❡ ❛❧s♦ ❝❤❡❝❦ t❤❛t r❡❛❞s ❛r❡ ♥♦t ♦❢ ♣r❡✈✐♦✉s❧② ✇r✐tt❡♥ t♦ ❧♦❝❛t✐♦♥s✿

readByte readByte readByte′

(Loc)

k

S

locsWrittenTo

when Loc ∈ S

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 52

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙t♦r✐♥❣ ❆❞❞✐t✐♦♥❛❧ ■♥❢♦r♠❛t✐♦♥

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ① ❂ ✵❀ r❡t✉r♥ ✭① ❂ ✶✮ ✰ ✭① ❂ ✷✮❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ❲❡ ❡♠♣t② t❤❡ ❧♦❝s❲r✐tt❡♥❚♦ ❝❡❧❧ ❛t ❡✈❡r② s❡q✉❡♥❝❡ ♣♦✐♥t✿

seqPoint seqPoint

• k

S

• locsWrittenTo

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 53

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙t♦r✐♥❣ ❆❞❞✐t✐♦♥❛❧ ■♥❢♦r♠❛t✐♦♥ ✭❈♦♥t✳✮

❲❡ st♦r❡❞ ❛❞❞✐t✐♦♥❛❧ ✐♥❢♦r♠❛t✐♦♥ t♦ ❛✈♦✐❞ ❞❡✜♥✐♥❣ ♠❛♥② ❦✐♥❞s ♦❢ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r✿ ❯♥s❡q✉❡♥❝❡❞ r❡❛❞s ❛♥❞ ✇r✐t❡s ▼♦❞✐❢②✐♥❣ ❝♦♥st ♦❜❥❡❝ts ❯♥❧♦❝❦✐♥❣ t❤❡ ♠✉t❡①❡s ♦❢ ♦t❤❡r t❤r❡❛❞s ❉❡❝❧❛r✐♥❣ ❛ ✈❛r✐❛❜❧❡ t✇✐❝❡ ♣❡r s❝♦♣❡ ✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 54

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ❛✱ ❜❀ ✐❢ ✭✫❛ ❁ ✫❜✮ ④ ✳✳✳ ⑥ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ❛❬✹❪❀ ✐♥t ❜❬✹❪❀ ❛❬✻❪ ❂ ✶✼❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ▼❡♠♦r② ❛❧❧♦❝❛t✐♦♥ ♦r❞❡r ✐s ✉♥s♣❡❝✐✜❡❞ ✐♥ ❈ ❆♥② ♣❛rt✐❝✉❧❛r ❛❧❧♦❝❛t✐♦♥ s❝❤❡♠❡ ✇♦✉❧❞ ❛❧❧♦✇ ♣r♦❣r❛♠s t♦ r✉♥ t❤❛t ❛r❡♥✬t ♣♦rt❛❜❧❡ ❖❜❥❡❝ts ❛r❡ s❡❧❢✲❝♦♥t❛✐♥❡❞ ❛♥❞ ♦♥❡ ♠✉st r❡❛❞✴✇r✐t❡ ✐♥✲❜♦✉♥❞s ❚❤❡r❡❢♦r❡✱ ✇❡ ♠❛❦❡ ♠❡♠♦r② s②♠❜♦❧✐❝✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 55

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ❛✱ ❜❀ ✐❢ ✭✫❛ ❁ ✫❜✮ ④ ✳✳✳ ⑥ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ❛❬✹❪❀ ✐♥t ❜❬✹❪❀ ❛❬✻❪ ❂ ✶✼❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ▼❡♠♦r② ❛❧❧♦❝❛t✐♦♥ ♦r❞❡r ✐s ✉♥s♣❡❝✐✜❡❞ ✐♥ ❈ ❆♥② ♣❛rt✐❝✉❧❛r ❛❧❧♦❝❛t✐♦♥ s❝❤❡♠❡ ✇♦✉❧❞ ❛❧❧♦✇ ♣r♦❣r❛♠s t♦ r✉♥ t❤❛t ❛r❡♥✬t ♣♦rt❛❜❧❡ ❖❜❥❡❝ts ❛r❡ s❡❧❢✲❝♦♥t❛✐♥❡❞ ❛♥❞ ♦♥❡ ♠✉st r❡❛❞✴✇r✐t❡ ✐♥✲❜♦✉♥❞s ❚❤❡r❡❢♦r❡✱ ✇❡ ♠❛❦❡ ♠❡♠♦r② s②♠❜♦❧✐❝✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 56

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r

✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ❛✱ ❜❀ ✐❢ ✭✫❛ ❁ ✫❜✮ ④ ✳✳✳ ⑥ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✐♥t ❛❬✹❪❀ ✐♥t ❜❬✹❪❀ ❛❬✻❪ ❂ ✶✼❀ ✴✴ ✉♥❞❡❢✐♥❡❞✦ ⑥ ▼❡♠♦r② ❛❧❧♦❝❛t✐♦♥ ♦r❞❡r ✐s ✉♥s♣❡❝✐✜❡❞ ✐♥ ❈ ❆♥② ♣❛rt✐❝✉❧❛r ❛❧❧♦❝❛t✐♦♥ s❝❤❡♠❡ ✇♦✉❧❞ ❛❧❧♦✇ ♣r♦❣r❛♠s t♦ r✉♥ t❤❛t ❛r❡♥✬t ♣♦rt❛❜❧❡ ❖❜❥❡❝ts ❛r❡ s❡❧❢✲❝♦♥t❛✐♥❡❞ ❛♥❞ ♦♥❡ ♠✉st r❡❛❞✴✇r✐t❡ ✐♥✲❜♦✉♥❞s ❚❤❡r❡❢♦r❡✱ ✇❡ ♠❛❦❡ ♠❡♠♦r② s②♠❜♦❧✐❝✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✸✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 57

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r ✭❈♦♥t✳✮

❲❡ ✉s❡ ❧♦❝(❇❛s❡, ❖✛s❡t) ❢♦r ❛ ❧♦❝❛t✐♦♥✿ ❖✛s❡t ❜②t❡ ♦❢ t❤❡ ❇❛s❡ ♦❜❥❡❝t✳ ❚❤✐s ❛❧❧♦✇s ✉s t♦ ❤❛♥❞❧❡ ❜♦t❤ ❡q✉❛❧✐t② ❛♥❞ r❡❧❛t✐♦♥❛❧ ♦♣❡r❛t♦rs ♣r♦♣❡r❧②✿ ❆❧❧ ❜②t❡s ✐♥ t❤❡ s❛♠❡ ♦❜❥❡❝t s❤❛r❡ ❛ ❜❛s❡ ✭❛♥❞ ❛r❡ ❝♦♠♣❛r❛❜❧❡✮ ❇②t❡s ♦❢ ❞✐✛❡r❡♥t ♦❜❥❡❝ts ❤❛✈❡ ❞✐✛❡r❡♥t ❜❛s❡s ✭❛♥❞ ❛r❡ ♥♦t ❝♦♠♣❛r❛❜❧❡✮ ❚❤❡ s❛♠❡ ♠❡❝❤❛♥✐s♠ ❛❧s♦ ❡♥s✉r❡s ♠❡♠♦r② s❛❢❡t②✿ ❇②t❡s ❝❛♥ ♦♥❧② ❜❡ r❡❛❞ ❢r♦♠ ♦r ✇r✐tt❡♥ t♦ ❛ s✐♥❣❧❡ ♦❜❥❡❝t ✭❝❛♥♥♦t r❡❛❞ ♦r ✇r✐t❡ ♦✉t ♦❢ ❜♦✉♥❞s✮

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 58

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r ✭❈♦♥t✳✮

❲❡ ✉s❡ ❧♦❝(❇❛s❡, ❖✛s❡t) ❢♦r ❛ ❧♦❝❛t✐♦♥✿ ❖✛s❡t ❜②t❡ ♦❢ t❤❡ ❇❛s❡ ♦❜❥❡❝t✳ ❚❤✐s ❛❧❧♦✇s ✉s t♦ ❤❛♥❞❧❡ ❜♦t❤ ❡q✉❛❧✐t② ❛♥❞ r❡❧❛t✐♦♥❛❧ ♦♣❡r❛t♦rs ♣r♦♣❡r❧②✿ ❆❧❧ ❜②t❡s ✐♥ t❤❡ s❛♠❡ ♦❜❥❡❝t s❤❛r❡ ❛ ❜❛s❡ ✭❛♥❞ ❛r❡ ❝♦♠♣❛r❛❜❧❡✮ ❇②t❡s ♦❢ ❞✐✛❡r❡♥t ♦❜❥❡❝ts ❤❛✈❡ ❞✐✛❡r❡♥t ❜❛s❡s ✭❛♥❞ ❛r❡ ♥♦t ❝♦♠♣❛r❛❜❧❡✮ ❚❤❡ s❛♠❡ ♠❡❝❤❛♥✐s♠ ❛❧s♦ ❡♥s✉r❡s ♠❡♠♦r② s❛❢❡t②✿ ❇②t❡s ❝❛♥ ♦♥❧② ❜❡ r❡❛❞ ❢r♦♠ ♦r ✇r✐tt❡♥ t♦ ❛ s✐♥❣❧❡ ♦❜❥❡❝t ✭❝❛♥♥♦t r❡❛❞ ♦r ✇r✐t❡ ♦✉t ♦❢ ❜♦✉♥❞s✮

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 59

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r ✭❈♦♥t✳✮

❲❡ ✉s❡ ❧♦❝(❇❛s❡, ❖✛s❡t) ❢♦r ❛ ❧♦❝❛t✐♦♥✿ ❖✛s❡t ❜②t❡ ♦❢ t❤❡ ❇❛s❡ ♦❜❥❡❝t✳ ❚❤✐s ❛❧❧♦✇s ✉s t♦ ❤❛♥❞❧❡ ❜♦t❤ ❡q✉❛❧✐t② ❛♥❞ r❡❧❛t✐♦♥❛❧ ♦♣❡r❛t♦rs ♣r♦♣❡r❧②✿ ❆❧❧ ❜②t❡s ✐♥ t❤❡ s❛♠❡ ♦❜❥❡❝t s❤❛r❡ ❛ ❜❛s❡ ✭❛♥❞ ❛r❡ ❝♦♠♣❛r❛❜❧❡✮ ❇②t❡s ♦❢ ❞✐✛❡r❡♥t ♦❜❥❡❝ts ❤❛✈❡ ❞✐✛❡r❡♥t ❜❛s❡s ✭❛♥❞ ❛r❡ ♥♦t ❝♦♠♣❛r❛❜❧❡✮ ❚❤❡ s❛♠❡ ♠❡❝❤❛♥✐s♠ ❛❧s♦ ❡♥s✉r❡s ♠❡♠♦r② s❛❢❡t②✿ ❇②t❡s ❝❛♥ ♦♥❧② ❜❡ r❡❛❞ ❢r♦♠ ♦r ✇r✐tt❡♥ t♦ ❛ s✐♥❣❧❡ ♦❜❥❡❝t ✭❝❛♥♥♦t r❡❛❞ ♦r ✇r✐t❡ ♦✉t ♦❢ ❜♦✉♥❞s✮

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 60

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❙②♠❜♦❧✐❝ ❇❡❤❛✈✐♦r ✭❈♦♥t✳✮

❲❡ ✉s❡❞ s②♠❜♦❧✐❝ ❜❡❤❛✈✐♦r t♦ ❛✈♦✐❞ ❞❡✜♥✐♥❣ ♠❛♥② ❦✐♥❞s ♦❢ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r✿ ❲r✐t✐♥❣✴r❡❛❞✐♥❣ ♦✉t ♦❢ ❜♦✉♥❞s ❈♦♠♣❛r✐s♦♥s ❜❡t✇❡❡♥ ✐♥❝♦♠♣❛r❛❜❧❡ ♦❜❥❡❝ts ■♠♣r♦♣❡r❧② st♦r✐♥❣ ♣♦✐♥t❡rs ✐♥ ♠❡♠♦r② ❯s✐♥❣ ✐♥t❡❞❡t❡r♠✐♥❛t❡ ♠❡♠♦r② ✭❡✳❣✳✱ ✉♥✐♥✐t✐❛❧✐③❡❞ ✈❛r✐❛❜❧❡s✮ ✳ ✳ ✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 61

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❯♥❞❡✜♥❡❞ ❇❡❤❛✈✐♦r ❚❡st ❙✉✐t❡s

❍♦✇ ❞♦ ✇❡ ❡✈❛❧✉❛t❡ ♦✉r ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s❄ ◆♦ ❡①✐st✐♥❣ t❡st s✉✐t❡ ♦❢ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r ❲❡ ❞❡❝✐❞❡❞ t♦ ♠❛❦❡ ♦✉r ♦✇♥

✶

❚❛❦❡ ❛♥ ❡①✐st✐♥❣ st❛t✐❝ ❛♥❛❧②s✐s t♦♦❧ t❡st s✉✐t❡ ❛♥❞ ❡①tr❛❝t ♦♥❧② t❤❡ ✉♥❞❡✜♥❡❞ ♣r♦❣r❛♠s

✷

❲r✐t❡ ♦✉r ♦✇♥ ❝♦♠♣❧❡t❡❧② ❢r♦♠ s❝r❛t❝❤

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 62

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❊①tr❛❝t✐♦♥ ❢r♦♠ ❏✉❧✐❡t ❚❡st ❙✉✐t❡

❲❡ ❡①tr❛❝t❡❞ ✉♥❞❡✜♥❡❞ t❡sts ❢r♦♠ ❏✉❧✐❡t t❡st s✉✐t❡ ✭❜② ◆■❙❚✮✿ ❖r✐❣✐♥❛❧❧② ♦✈❡r ✹✺✱✵✵✵ t❡sts ❢♦r s❡❝✉r❡ ♣r♦❣r❛♠♠✐♥❣ ❲❡ ✐❞❡♥t✐✜❡❞ ✹✱✶✶✸ ✉♥❞❡✜♥❡❞ t❡sts ∼ ✾✻ ❙▲❖❈ ♣❡r t❡st ✭✶✼✾ ❙▲❖❈ ❧✐♥❦✐♥❣ t❤❡ ❤❡❧♣❡r✲❧✐❜r❛r②✮ ❱✳ ❆♥❛❧②s✐s ❛♥❞ ♦✉r t♦♦❧ ✇❡r❡ ✐♠♣r♦✈❡❞ ✇✐t❤ ❢❡❡❞❜❛❝❦

❚♦♦❧s ✭✪ ♣❛ss❡❞✮ ❯♥❞❡✜♥❡❞ ❇❡❤❛✈✐♦r ◆♦✳ ❚❡sts ❱❛❧❣r✐♥❞ ❈❤❡❝❦P♦✐♥t❡r ❱✳ ❆♥❛❧②s✐s ❖✉r ❚♦♦❧ ❯s❡ ♦❢ ✐♥✈❛❧✐❞ ♣♦✐♥t❡r ✸✶✾✸ ✼✵✳✾ ✽✾✳✶ ✶✵✵✳✵ ✶✵✵✳✵ ❉✐✈✐s✐♦♥ ❜② ③❡r♦ ✼✼ ✵✳✵ ✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵ ❇❛❞ ❛r❣✉♠❡♥t t♦ ❢r❡❡✭✮ ✸✸✹ ✶✵✵✳✵ ✾✾✳✼ ✶✵✵✳✵ ✶✵✵✳✵ ❯♥✐♥✐t✐❛❧✐③❡❞ ♠❡♠♦r② ✹✷✷ ✶✵✵✳✵ ✷✾✳✸ ✶✵✵✳✵ ✶✵✵✳✵ ❇❛❞ ❢✉♥❝t✐♦♥ ❝❛❧❧ ✹✻ ✶✵✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵ ■♥t❡❣❡r ♦✈❡r✢♦✇ ✹✶ ✵✳✵ ✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 63

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❊①tr❛❝t✐♦♥ ❢r♦♠ ❏✉❧✐❡t ❚❡st ❙✉✐t❡

❲❡ ❡①tr❛❝t❡❞ ✉♥❞❡✜♥❡❞ t❡sts ❢r♦♠ ❏✉❧✐❡t t❡st s✉✐t❡ ✭❜② ◆■❙❚✮✿ ❖r✐❣✐♥❛❧❧② ♦✈❡r ✹✺✱✵✵✵ t❡sts ❢♦r s❡❝✉r❡ ♣r♦❣r❛♠♠✐♥❣ ❲❡ ✐❞❡♥t✐✜❡❞ ✹✱✶✶✸ ✉♥❞❡✜♥❡❞ t❡sts ∼ ✾✻ ❙▲❖❈ ♣❡r t❡st ✭✶✼✾ ❙▲❖❈ ❧✐♥❦✐♥❣ t❤❡ ❤❡❧♣❡r✲❧✐❜r❛r②✮ ❱✳ ❆♥❛❧②s✐s ❛♥❞ ♦✉r t♦♦❧ ✇❡r❡ ✐♠♣r♦✈❡❞ ✇✐t❤ ❢❡❡❞❜❛❝❦

❚♦♦❧s ✭✪ ♣❛ss❡❞✮ ❯♥❞❡✜♥❡❞ ❇❡❤❛✈✐♦r ◆♦✳ ❚❡sts ❱❛❧❣r✐♥❞ ❈❤❡❝❦P♦✐♥t❡r ❱✳ ❆♥❛❧②s✐s ❖✉r ❚♦♦❧ ❯s❡ ♦❢ ✐♥✈❛❧✐❞ ♣♦✐♥t❡r ✸✶✾✸ ✼✵✳✾ ✽✾✳✶ ✶✵✵✳✵ ✶✵✵✳✵ ❉✐✈✐s✐♦♥ ❜② ③❡r♦ ✼✼ ✵✳✵ ✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵ ❇❛❞ ❛r❣✉♠❡♥t t♦ ❢r❡❡✭✮ ✸✸✹ ✶✵✵✳✵ ✾✾✳✼ ✶✵✵✳✵ ✶✵✵✳✵ ❯♥✐♥✐t✐❛❧✐③❡❞ ♠❡♠♦r② ✹✷✷ ✶✵✵✳✵ ✷✾✳✸ ✶✵✵✳✵ ✶✵✵✳✵ ❇❛❞ ❢✉♥❝t✐♦♥ ❝❛❧❧ ✹✻ ✶✵✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵ ■♥t❡❣❡r ♦✈❡r✢♦✇ ✹✶ ✵✳✵ ✵✳✵ ✶✵✵✳✵ ✶✵✵✳✵

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 64

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❍❛♥❞ ❲r✐tt❡♥ ❚❡st ❙✉✐t❡

❲❡ ❛❧s♦ ❤❛♥❞✇r♦t❡ ♦✉r ♦✇♥ t❡st s✉✐t❡✿ ❖♥❡ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r ♣❡r t❡st ❚❡sts ❝♦♠❡ ✐♥ ♣❛✐rs✿ ♦♥❡ ✉♥❞❡✜♥❡❞✱ ♦♥❡ ❞❡✜♥❡❞❀ ♠❛❦❡s s✉r❡ t♦♦❧s ❛r❡ ✐❞❡♥t✐❢②✐♥❣ r❡❛❧ ❜✉❣s ✶✼✽ t❡sts ❝♦✈❡r✐♥❣ ✼✵ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦rs ❚♦♦❧s ❙t❛t✐❝ ✭✪ P❛ss❡❞✮ ❉②♥❛♠✐❝ ✭✪ P❛ss❡❞✮ ❱❛❧❣r✐♥❞ ✵✳✵ ✷✳✸ ❈❤❡❝❦Ptr✳ ✷✳✹ ✶✸✳✶ ❱✳ ❆♥❛❧②s✐s ✶✳✻ ✹✺✳✸ ❖✉r ❚♦♦❧ ✹✹✳✽ ✻✹✳✵

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 65

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❍❛♥❞ ❲r✐tt❡♥ ❚❡st ❙✉✐t❡

❲❡ ❛❧s♦ ❤❛♥❞✇r♦t❡ ♦✉r ♦✇♥ t❡st s✉✐t❡✿ ❖♥❡ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦r ♣❡r t❡st ❚❡sts ❝♦♠❡ ✐♥ ♣❛✐rs✿ ♦♥❡ ✉♥❞❡✜♥❡❞✱ ♦♥❡ ❞❡✜♥❡❞❀ ♠❛❦❡s s✉r❡ t♦♦❧s ❛r❡ ✐❞❡♥t✐❢②✐♥❣ r❡❛❧ ❜✉❣s ✶✼✽ t❡sts ❝♦✈❡r✐♥❣ ✼✵ ✉♥❞❡✜♥❡❞ ❜❡❤❛✈✐♦rs ❚♦♦❧s ❙t❛t✐❝ ✭✪ P❛ss❡❞✮ ❉②♥❛♠✐❝ ✭✪ P❛ss❡❞✮ ❱❛❧❣r✐♥❞ ✵✳✵ ✷✳✸ ❈❤❡❝❦Ptr✳ ✷✳✹ ✶✸✳✶ ❱✳ ❆♥❛❧②s✐s ✶✳✻ ✹✺✳✸ ❖✉r ❚♦♦❧ ✹✹✳✽ ✻✹✳✵

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 66

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❈♦♥❝❧✉s✐♦♥s ❢r♦♠ ❚❡st✐♥❣

◆♦ t♦♦❧ ✇❛s ❛❜❧❡ t♦ ❝❛t❝❤ ❜❡❤❛✈✐♦rs ❛❝❝✉r❛t❡❧② ✉♥❧❡ss t❤❡② s♣❡❝✐✜❝❛❧❧② ❢♦❝✉s❡❞ ♦♥ t❤♦s❡ ❜❡❤❛✈✐♦rs ❯♥❞❡✜♥❡❞♥❡ss ❝❤❡❝❦✐♥❣ ❞♦❡s ♥♦t s✐♠♣❧② ❝♦♠❡ ❢♦r ❢r❡❡ ❚♦♦❧s ✇❡r❡ ❛❜❧❡ t♦ ✐♠♣r♦✈❡ ♣❡r❢♦r♠❛♥❝❡ ❜② ❧♦♦❦✐♥❣ ❛t ❝♦♥❝r❡t❡ ❢❛✐❧✐♥❣ t❡sts ❛♥❞ ❛❞❛♣t✐♥❣ t❤❡✐r t❡❝❤♥✐q✉❡s ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s ♦❢ ✉♥❞❡✜♥❡❞♥❡ss ✇♦r❦s ❛t ❧❡❛st ❛s ✇❡❧❧ ♦r ❜❡tt❡r t❤❛♥ ♣♦♣✉❧❛r t♦♦❧s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 67

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❈♦♥❝❧✉s✐♦♥s ❢r♦♠ ❚❡st✐♥❣

◆♦ t♦♦❧ ✇❛s ❛❜❧❡ t♦ ❝❛t❝❤ ❜❡❤❛✈✐♦rs ❛❝❝✉r❛t❡❧② ✉♥❧❡ss t❤❡② s♣❡❝✐✜❝❛❧❧② ❢♦❝✉s❡❞ ♦♥ t❤♦s❡ ❜❡❤❛✈✐♦rs ❯♥❞❡✜♥❡❞♥❡ss ❝❤❡❝❦✐♥❣ ❞♦❡s ♥♦t s✐♠♣❧② ❝♦♠❡ ❢♦r ❢r❡❡ ❚♦♦❧s ✇❡r❡ ❛❜❧❡ t♦ ✐♠♣r♦✈❡ ♣❡r❢♦r♠❛♥❝❡ ❜② ❧♦♦❦✐♥❣ ❛t ❝♦♥❝r❡t❡ ❢❛✐❧✐♥❣ t❡sts ❛♥❞ ❛❞❛♣t✐♥❣ t❤❡✐r t❡❝❤♥✐q✉❡s ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s ♦❢ ✉♥❞❡✜♥❡❞♥❡ss ✇♦r❦s ❛t ❧❡❛st ❛s ✇❡❧❧ ♦r ❜❡tt❡r t❤❛♥ ♣♦♣✉❧❛r t♦♦❧s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 68

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❈♦♥❝❧✉s✐♦♥s ❢r♦♠ ❚❡st✐♥❣

◆♦ t♦♦❧ ✇❛s ❛❜❧❡ t♦ ❝❛t❝❤ ❜❡❤❛✈✐♦rs ❛❝❝✉r❛t❡❧② ✉♥❧❡ss t❤❡② s♣❡❝✐✜❝❛❧❧② ❢♦❝✉s❡❞ ♦♥ t❤♦s❡ ❜❡❤❛✈✐♦rs ❯♥❞❡✜♥❡❞♥❡ss ❝❤❡❝❦✐♥❣ ❞♦❡s ♥♦t s✐♠♣❧② ❝♦♠❡ ❢♦r ❢r❡❡ ❚♦♦❧s ✇❡r❡ ❛❜❧❡ t♦ ✐♠♣r♦✈❡ ♣❡r❢♦r♠❛♥❝❡ ❜② ❧♦♦❦✐♥❣ ❛t ❝♦♥❝r❡t❡ ❢❛✐❧✐♥❣ t❡sts ❛♥❞ ❛❞❛♣t✐♥❣ t❤❡✐r t❡❝❤♥✐q✉❡s ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s ♦❢ ✉♥❞❡✜♥❡❞♥❡ss ✇♦r❦s ❛t ❧❡❛st ❛s ✇❡❧❧ ♦r ❜❡tt❡r t❤❛♥ ♣♦♣✉❧❛r t♦♦❧s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 69

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

❈♦♥❝❧✉s✐♦♥s ❢r♦♠ ❚❡st✐♥❣

◆♦ t♦♦❧ ✇❛s ❛❜❧❡ t♦ ❝❛t❝❤ ❜❡❤❛✈✐♦rs ❛❝❝✉r❛t❡❧② ✉♥❧❡ss t❤❡② s♣❡❝✐✜❝❛❧❧② ❢♦❝✉s❡❞ ♦♥ t❤♦s❡ ❜❡❤❛✈✐♦rs ❯♥❞❡✜♥❡❞♥❡ss ❝❤❡❝❦✐♥❣ ❞♦❡s ♥♦t s✐♠♣❧② ❝♦♠❡ ❢♦r ❢r❡❡ ❚♦♦❧s ✇❡r❡ ❛❜❧❡ t♦ ✐♠♣r♦✈❡ ♣❡r❢♦r♠❛♥❝❡ ❜② ❧♦♦❦✐♥❣ ❛t ❝♦♥❝r❡t❡ ❢❛✐❧✐♥❣ t❡sts ❛♥❞ ❛❞❛♣t✐♥❣ t❤❡✐r t❡❝❤♥✐q✉❡s ❙❡♠❛♥t✐❝s✲❜❛s❡❞ ❛♥❛❧②s✐s ♦❢ ✉♥❞❡✜♥❡❞♥❡ss ✇♦r❦s ❛t ❧❡❛st ❛s ✇❡❧❧ ♦r ❜❡tt❡r t❤❛♥ ♣♦♣✉❧❛r t♦♦❧s

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 70

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 71

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s

❚❤❡s❡ t♦♦❧s ❛r❡ ♣r♦✈✐❞❡❞ ✏❢♦r ❢r❡❡✑ ❜② r❡✇r✐t✐♥❣ ❧♦❣✐❝ ❛♥❞ K✿ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❡①♣❧♦r❡r ▲❚▲ ▼♦❞❡❧✲❝❤❡❝❦❡r ❉❡❜✉❣❣❡r ❘❛❝❡ ❞❡t❡❝t♦r Pr♦❣r❛♠ ✈❡r✐✜❡r ✭✈✐❛ ▼❛t❝❤✐♥❣ ▲♦❣✐❝✮

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 72

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 73

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

◆♦r♠❛❧ ■♥t❡r♣r❡t❛t✐♦♥

✩ ❝❛t ❤❡❧❧♦❴✇♦r❧❞✳❝

★✐♥❝❧✉❞❡ ❁st❞✐♦✳❤❃ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ♣r✐♥t❢✭✧❍❡❧❧♦ ✇♦r❧❞✦❭♥✧✮❀ ⑥

✩ ❦❝❝ ❤❡❧❧♦❴✇♦r❧❞✳❝ ✩ ✳✴❛✳♦✉t ❍❡❧❧♦ ✇♦r❧❞✦ ✩ ❣❝❝ ❤❡❧❧♦❴✇♦r❧❞✳❝ ✩ ✳✴❛✳♦✉t ❍❡❧❧♦ ✇♦r❧❞✦

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 74

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

◆♦r♠❛❧ ■♥t❡r♣r❡t❛t✐♦♥

✩ ❝❛t ❤❡❧❧♦❴✇♦r❧❞✳❝

★✐♥❝❧✉❞❡ ❁st❞✐♦✳❤❃ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ♣r✐♥t❢✭✧❍❡❧❧♦ ✇♦r❧❞✦❭♥✧✮❀ ⑥

✩ ❦❝❝ ❤❡❧❧♦❴✇♦r❧❞✳❝ ✩ ✳✴❛✳♦✉t ❍❡❧❧♦ ✇♦r❧❞✦ ✩ ❣❝❝ ❤❡❧❧♦❴✇♦r❧❞✳❝ ✩ ✳✴❛✳♦✉t ❍❡❧❧♦ ✇♦r❧❞✦

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 75

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

◆♦r♠❛❧ ■♥t❡r♣r❡t❛t✐♦♥

✩ ❝❛t ❤❡❧❧♦❴✇♦r❧❞✳❝

★✐♥❝❧✉❞❡ ❁st❞✐♦✳❤❃ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ♣r✐♥t❢✭✧❍❡❧❧♦ ✇♦r❧❞✦❭♥✧✮❀ ⑥

✩ ❦❝❝ ❤❡❧❧♦❴✇♦r❧❞✳❝ ✩ ✳✴❛✳♦✉t ❍❡❧❧♦ ✇♦r❧❞✦ ✩ ❣❝❝ ❤❡❧❧♦❴✇♦r❧❞✳❝ ✩ ✳✴❛✳♦✉t ❍❡❧❧♦ ✇♦r❧❞✦

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✹✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 76

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

■♥t❡r♣r❡t❛t✐♦♥ t♦ ❋✐♥❞ ❇✉❣s

✩ ❝❛t ❜✉❣❣②❴str❝♣②✳❝

★✐♥❝❧✉❞❡ ❁str✐♥❣✳❤❃ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ❝❤❛r ❞❡st❬✺❪✱ sr❝❬✺❪ ❂ ✧❤❡❧❧♦✧❀ str❝♣②✭❞❡st✱ sr❝✮❀ ⑥

✩ ❦❝❝ ❜✉❣❣②❴str❝♣②✳❝ ✩ ✳✴❛✳♦✉t ❊❘❘❖❘✦ ❑❈❈ ❡♥❝♦✉♥t❡r❡❞ ❛♥ ❡rr♦r ✇❤✐❧❡ ❡①❡❝✉t✐♥❣ t❤✐s ♣r♦❣r❛♠✳ ❉❡s❝r✐♣t✐♦♥✿ ❘❡❛❞✐♥❣ ♦✉ts✐❞❡ t❤❡ ❜♦✉♥❞s ♦❢ ❛♥ ♦❜❥❡❝t✳ ❋✐❧❡✿ ❜✉❣❣②❴str❝♣②✳❝ ❋✉♥❝t✐♦♥✿ str❝♣② ▲✐♥❡✿ ✹

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 77

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

■♥t❡r♣r❡t❛t✐♦♥ t♦ ❋✐♥❞ ❇✉❣s

✩ ❝❛t ❜✉❣❣②❴str❝♣②✳❝

★✐♥❝❧✉❞❡ ❁str✐♥❣✳❤❃ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ❝❤❛r ❞❡st❬✺❪✱ sr❝❬✺❪ ❂ ✧❤❡❧❧♦✧❀ str❝♣②✭❞❡st✱ sr❝✮❀ ⑥

✩ ❦❝❝ ❜✉❣❣②❴str❝♣②✳❝ ✩ ✳✴❛✳♦✉t ❊❘❘❖❘✦ ❑❈❈ ❡♥❝♦✉♥t❡r❡❞ ❛♥ ❡rr♦r ✇❤✐❧❡ ❡①❡❝✉t✐♥❣ t❤✐s ♣r♦❣r❛♠✳ ❉❡s❝r✐♣t✐♦♥✿ ❘❡❛❞✐♥❣ ♦✉ts✐❞❡ t❤❡ ❜♦✉♥❞s ♦❢ ❛♥ ♦❜❥❡❝t✳ ❋✐❧❡✿ ❜✉❣❣②❴str❝♣②✳❝ ❋✉♥❝t✐♦♥✿ str❝♣② ▲✐♥❡✿ ✹

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 78

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 79

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❋✐♥❞ ❇✉❣s

✩ ❝❛t ❡✈❛❧❴♦r❞❡r✳❝

✐♥t ❞❡♥♦♠✐♥❛t♦r ❂ ✺❀ ✐♥t s❡t❉❡♥♦♠✐♥❛t♦r✭✐♥t ❞✮ ④ r❡t✉r♥ ❞❡♥♦♠✐♥❛t♦r ❂ ❞❀ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ r❡t✉r♥ s❡t❉❡♥♦♠✐♥❛t♦r✭✵✮ ✰ ✭✼ ✴ ❞❡♥♦♠✐♥❛t♦r✮❀ ⑥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 80

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❋✐♥❞ ❇✉❣s ✭❈♦♥t✳✮

✩ ❝❧❛♥❣ ✲❖✵ ❡✈❛❧❴♦r❞❡r✳❝ ✫✫ ✳✴❛✳♦✉t ❋❧♦❛t✐♥❣ ♣♦✐♥t ❡①❝❡♣t✐♦♥ ✩ ❝❧❛♥❣ ✲❖✷ ❡✈❛❧❴♦r❞❡r✳❝ ✫✫ ✳✴❛✳♦✉t ✩

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 81

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❋✐♥❞ ❇✉❣s ✭❈♦♥t✳✮

✩ ❝❛t ❡✈❛❧❴♦r❞❡r✳❝

✐♥t ❞❡♥♦♠✐♥❛t♦r ❂ ✺❀ ✐♥t s❡t❉❡♥♦♠✐♥❛t♦r✭✐♥t ❞✮ ④ r❡t✉r♥ ❞❡♥♦♠✐♥❛t♦r ❂ ❞❀ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ r❡t✉r♥ s❡t❉❡♥♦♠✐♥❛t♦r✭✵✮ ✰ ✭✼ ✴ ❞❡♥♦♠✐♥❛t♦r✮❀ ⑥

✩ ❦❝❝ ❡✈❛❧❴♦r❞❡r✳❝ ✩ ❙❊❆❘❈❍❂✶ ✳✴❛✳♦✉t

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 82

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❋✐♥❞ ❇✉❣s ✭❈♦♥t✳✮

✷ s♦❧✉t✐♦♥s ❢♦✉♥❞ ✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲ ❙♦❧✉t✐♦♥ ✶ Pr♦❣r❛♠ ❣♦t st✉❝❦ ❋✐❧❡✿ ❡✈❛❧❴♦r❞❡r✳❝ ▲✐♥❡✿ ✽ ❉❡s❝r✐♣t✐♦♥✿ ❉✐✈✐s✐♦♥ ❜② ✵✳ ✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲ ❙♦❧✉t✐♦♥ ✷ Pr♦❣r❛♠ ❝♦♠♣❧❡t❡❞ s✉❝❝❡ss❢✉❧❧② ❘❡t✉r♥ ✈❛❧✉❡✿ ✶

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✺ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 83

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❋✐♥❞ ❇✉❣s ✭❈♦♥t✳✮

✩ ●❘❆P❍❂✶ ❙❊❆❘❈❍❂✶ ✳✴❛✳♦✉t

11 14 write 7 9 read-shared 17 18 19 write 16 20 write 13 6 8 12 15 read-shared 10 5 write

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✻ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 84

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❊①♣❧♦r❡ ◆♦♥❞❡t❡r♠✐♥✐s♠

✩ ❝❛t ♥♦♥❞❡t✳❝

✐♥t r❀ ✐♥t ❢✭✐♥t ①✮ ④ r❡t✉r♥ ✭r ❂ ①✮❀ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ r❡t✉r♥ ❢✭✶✮ ✰ ❢✭✷✮✱ r❀ ⑥

✩ ❦❝❝ ♥♦♥❞❡t✳❝ ✩ ●❘❆P❍❂✶ ❙❊❆❘❈❍❂✶ ✳✴❛✳♦✉t

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 85

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❊①♣❧♦r❡ ◆♦♥❞❡t❡r♠✐♥✐s♠

✩ ❝❛t ♥♦♥❞❡t✳❝

✐♥t r❀ ✐♥t ❢✭✐♥t ①✮ ④ r❡t✉r♥ ✭r ❂ ①✮❀ ⑥ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ r❡t✉r♥ ❢✭✶✮ ✰ ❢✭✷✮✱ r❀ ⑥

✩ ❦❝❝ ♥♦♥❞❡t✳❝ ✩ ●❘❆P❍❂✶ ❙❊❆❘❈❍❂✶ ✳✴❛✳♦✉t

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✼ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 86

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❊①♣❧♦r❡ ◆♦♥❞❡t❡r♠✐♥✐s♠ ✭❈♦♥t✳✮

✷ s♦❧✉t✐♦♥s ❢♦✉♥❞ ✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲ ❙♦❧✉t✐♦♥ ✶ Pr♦❣r❛♠ ❝♦♠♣❧❡t❡❞ s✉❝❝❡ss❢✉❧❧② ❘❡t✉r♥ ✈❛❧✉❡✿ ✶ ✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲ ❙♦❧✉t✐♦♥ ✷ Pr♦❣r❛♠ ❝♦♠♣❧❡t❡❞ s✉❝❝❡ss❢✉❧❧② ❘❡t✉r♥ ✈❛❧✉❡✿ ✷

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 87

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❙❡❛r❝❤ t♦ ❊①♣❧♦r❡ ◆♦♥❞❡t❡r♠✐♥✐s♠ ✭❈♦♥t✳✮

✷ s♦❧✉t✐♦♥s ❢♦✉♥❞ ✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲ ❙♦❧✉t✐♦♥ ✶ Pr♦❣r❛♠ ❝♦♠♣❧❡t❡❞ s✉❝❝❡ss❢✉❧❧② ❘❡t✉r♥ ✈❛❧✉❡✿ ✶ ✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲✲ ❙♦❧✉t✐♦♥ ✷ Pr♦❣r❛♠ ❝♦♠♣❧❡t❡❞ s✉❝❝❡ss❢✉❧❧② ❘❡t✉r♥ ✈❛❧✉❡✿ ✷

33 32 34 terminate 11 12 21 22 7 9 10 26 30 write 17 23 24 28 write 18 25 read-shared 16 13 15 29 27 31 read-shared 6 8 14 write 20 19 write write write terminate 5 call-main

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✽ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 88

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✺✾ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 89

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣

✩ ❝❛t ❧✐❣❤ts✳❝

t②♣❡❞❡❢ ❡♥✉♠ ④❣r❡❡♥✱ ②❡❧❧♦✇✱ r❡❞⑥ st❛t❡❀ st❛t❡ ❧✐❣❤t◆❙ ❂ ❣r❡❡♥❀ st❛t❡ ❧✐❣❤t❊❲ ❂ r❡❞❀ ✐♥t ❝❤❛♥❣❡◆❙✭✮ ④ s✇✐t❝❤ ✭❧✐❣❤t◆❙✮ ④ ❝❛s❡✭❣r❡❡♥✮✿ ❧✐❣❤t◆❙ ❂ ②❡❧❧♦✇❀ r❡t✉r♥ ✵❀ ❝❛s❡✭②❡❧❧♦✇✮✿ ❧✐❣❤t◆❙ ❂ r❡❞❀ r❡t✉r♥ ✵❀ ❝❛s❡✭r❡❞✮✿ ✐❢ ✭❧✐❣❤t❊❲ ❂❂ r❡❞✮ ④ ❧✐❣❤t◆❙ ❂ ❣r❡❡♥❀ ⑥ r❡t✉r♥ ✵❀ ⑥⑥ ✳✳✳ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✇❤✐❧❡✭✶✮ ④ ❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮❀ ⑥ ⑥ ★♣r❛❣♠❛ ❴❴❧t❧ s❛❢❡t②✿ ❬❪ ✭❧✐❣❤t◆❙ ❂❂ r❡❞ ❭✴ ❧✐❣❤t❊❲ ❂❂ r❡❞✮ ★♣r❛❣♠❛ ❴❴❧t❧ ♣r♦❣r❡ss◆❙✿ ❬❪ ❁❃ ✭❧✐❣❤t◆❙ ❂❂ ❣r❡❡♥✮

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 90

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣

✩ ❝❛t ❧✐❣❤ts✳❝

t②♣❡❞❡❢ ❡♥✉♠ ④❣r❡❡♥✱ ②❡❧❧♦✇✱ r❡❞⑥ st❛t❡❀ st❛t❡ ❧✐❣❤t◆❙ ❂ ❣r❡❡♥❀ st❛t❡ ❧✐❣❤t❊❲ ❂ r❡❞❀ ✐♥t ❝❤❛♥❣❡◆❙✭✮ ④ s✇✐t❝❤ ✭❧✐❣❤t◆❙✮ ④ ❝❛s❡✭❣r❡❡♥✮✿ ❧✐❣❤t◆❙ ❂ ②❡❧❧♦✇❀ r❡t✉r♥ ✵❀ ❝❛s❡✭②❡❧❧♦✇✮✿ ❧✐❣❤t◆❙ ❂ r❡❞❀ r❡t✉r♥ ✵❀ ❝❛s❡✭r❡❞✮✿ ✐❢ ✭❧✐❣❤t❊❲ ❂❂ r❡❞✮ ④ ❧✐❣❤t◆❙ ❂ ❣r❡❡♥❀ ⑥ r❡t✉r♥ ✵❀ ⑥⑥ ✳✳✳ ✐♥t ♠❛✐♥✭✈♦✐❞✮ ④ ✇❤✐❧❡✭✶✮ ④ ❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮❀ ⑥ ⑥ ★♣r❛❣♠❛ ❴❴❧t❧ s❛❢❡t②✿ ❬❪ ✭❧✐❣❤t◆❙ ❂❂ r❡❞ ❭✴ ❧✐❣❤t❊❲ ❂❂ r❡❞✮ ★♣r❛❣♠❛ ❴❴❧t❧ ♣r♦❣r❡ss◆❙✿ ❬❪ ❁❃ ✭❧✐❣❤t◆❙ ❂❂ ❣r❡❡♥✮

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✵ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 91

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 92

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 93

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 94

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 95

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 96

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 97

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥ ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

▲❚▲✲❇❛s❡❞ ▼♦❞❡❧ ❈❤❡❝❦✐♥❣ ✭❈♦♥t✳✮

✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❋❛❧s❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❞♦❡s ♥♦t ❤♦❧❞✳ ★ ❝❤❛♥❣❡ ✧❝❤❛♥❣❡◆❙✭✮ ✰ ❝❤❛♥❣❡❊❲✭✮✧ t♦ ✧❝❤❛♥❣❡◆❙✭✮❀ ❝❤❛♥❣❡❊❲✭✮✧ ✩ ❦❝❝ ❧✐❣❤ts✳❝ ✩ ▼❖❉❊▲❈❍❊❈❑❂s❛❢❡t② ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵s❛❢❡t②✬ ♣r♦♣❡rt② ❤♦❧❞s✳ ✩ ▼❖❉❊▲❈❍❊❈❑❂♣r♦❣r❡ss◆❙ ✳✴❛✳♦✉t ❚r✉❡✦ ❚❤❡ ❵♣r♦❣r❡ss◆❙✬ ♣r♦♣❡rt② ❤♦❧❞s✳

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✶ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 98

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥

❖✉t❧✐♥❡

✶

■♥tr♦❞✉❝t✐♦♥ ■♥tr♦❞✉❝t✐♦♥ ▼♦t✐✈❛t✐♦♥

✷

❙❡♠❛♥t✐❝s ♦❢ ❈ P♦s✐t✐✈❡ ❙❡♠❛♥t✐❝s ◆❡❣❛t✐✈❡ ❙❡♠❛♥t✐❝s

✸

❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ■♥t❡r♣r❡t❡r ❙t❛t❡✲s♣❛❝❡ ❙❡❛r❝❤ ▼♦❞❡❧ ❈❤❡❝❦❡r

✹

❈♦♥❝❧✉s✐♦♥

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✷ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 99

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥

❋✉t✉r❡ ❲♦r❦

❖✉r ✇♦r❦ s❡r✈❡s ❛s ❛ str♦♥❣ ❢♦✉♥❞❛t✐♦♥ ❢♦r ♣♦t❡♥t✐❛❧ ❡①t❡♥s✐♦♥s✿ ❙❡♠❛♥t✐❝s

❈✶✶ ❢❡❛t✉r❡s ✭❴❆❧✐❣♥❛s✱ ❴❆t♦♠✐❝✱ ❡t❝✳✮ ❙t✐❧❧ s♦♠❡ ♥❡❣❛t✐✈❡✲s❡♠❛♥t✐❝s ❢❡❛t✉r❡s ❧❡❢t t♦ ❛❞❞r❡ss ✭❡✳❣✳✱ str✐❝t ❛❧✐❛s✐♥❣✮ ❊①t❡♥s✐♦♥s t♦ ❈ ✭●❈❈✱ ❆♣♣❧❡ ❜❧♦❝❦s✱ ❈❯❉❆✱ ❡t❝✳✮

❚♦♦❧s

❊①t❡♥❞✐♥❣ ▼❛t❝❤❈ t♦ ✇♦r❦ ✇✐t❤ ❢✉❧❧ ❈ s❡♠❛♥t✐❝s ❆❜str❛❝t✐♥❣ st❛t❡✲s♣❛❝❡ ❢♦r s❡❛r❝❤ ❛♥❞ ♠♦❞❡❧ ❝❤❡❝❦✐♥❣

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✸ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s

SLIDE 100

■♥tr♦❞✉❝t✐♦♥ ❙❡♠❛♥t✐❝s ♦❢ ❈ ❙❡♠❛♥t✐❝s✲❇❛s❡❞ ❆♥❛❧②s✐s ❚♦♦❧s ❈♦♥❝❧✉s✐♦♥

❙✉♠♠❛r②

❲❡ ❤❛✈❡ t❤❡ ✜rst ❛r❣✉❛❜❧② ❝♦♠♣❧❡t❡ ❢♦r♠❛❧ s❡♠❛♥t✐❝s ♦❢ ❈ ■s ❡①❡❝✉t❛❜❧❡✱ ❛♥❞ ❤❛s ❜❡❡♥ t❤♦r♦✉❣❤❧② t❡st❡❞ ❛❣❛✐♥st t❤❡ ●❈❈ t♦rt✉r❡ t❡st s✉✐t❡ ❋♦❝✉s❡s ♦♥ ❜♦t❤ ♣♦s✐t✐✈❡ ❛♥❞ ♥❡❣❛t✐✈❡ s❡♠❛♥t✐❝s ❈❛♥ ❜❡ ✉s❡❞ t♦ ❣❡♥❡r❛t❡ ❛♥❛❧②s✐s t♦♦❧s ❉❡♠♦♥str❛t❡s t❤❛t r❡✇r✐t✐♥❣✲❜❛s❡❞ s❡♠❛♥t✐❝s ❝❛♥ ❤❛♥❞❧❡ ❧❛r❣❡ ❧❛♥❣✉❛❣❡s ❛♥❞ ❛❧❧ t❤❡✐r ❣r✐tt② ❞❡t❛✐❧s ❆✈❛✐❧❛❜❧❡ ❛t ❤tt♣✿✴✴❝✲s❡♠❛♥t✐❝s✳❣♦♦❣❧❡❝♦❞❡✳❝♦♠✴

P❤❉ ❉❡❢❡♥s❡ ❈❤✉❝❦② ❊❧❧✐s♦♥ ✻✹ ✴ ✻✹ ❆♥ ❊①❡❝✉t❛❜❧❡ ❋♦r♠❛❧ ❙❡♠❛♥t✐❝s ♦❢ ❈ ✇✐t❤ ❆♣♣❧✐❝❛t✐♦♥s