prior work
play

Prior Work Consensus Consensus Reliable BGP Consensus Reliable - PowerPoint PPT Presentation

Jul 09, 2023 •474 likes •1.05k views

Prior Work Consensus Consensus Reliable BGP Consensus Reliable BGP Consensus Routing Reliable BGP Routing Reliable BGP Routing Routing Graceful Seamless Graceful Seamless Seamless Graceful Graceful Seamless Migration Migration

  6. Prior Work Consensus Consensus Reliable BGP Consensus Reliable BGP Consensus Routing Reliable BGP Routing Reliable BGP Routing Routing Graceful Seamless Graceful Seamless Seamless Graceful Graceful Seamless Migration Migration Migration Migration Migration Migration Migration Migration 4

  7. Prior Work Consensus Consensus Reliable BGP Consensus Reliable BGP Consensus Routing Reliable BGP Routing Reliable BGP Routing Routing Graceful Seamless Graceful Seamless Seamless Graceful Graceful Seamless Migration Migration Migration Migration Migration Migration Migration Migration 4

  30. Universal Property Preservation Theorem: Per-packet consistent updates preserve all trace properties. Trace Property Any property of a single packet’s path through the network. Examples of Trace Properties: Loop freedom, access control, waypointing ... Trace Property Verifcation Tools: Anteater , Header Space Analysis, ConfjgChecker ... 11

  32. MECHANISMS 13

  45. Correctness Question : How do we convince ourselves these mechanisms are correct? Solution : We built an operational semantics, formalized our mechanisms and proved them correct Example: 2-Phase Update } 1. Install new rules on internal switches, leave Unobservable old confjguration in place 2. Install edge rules that stamp with the new } One-touch version number 18

  46. Correctness Question : How do we convince ourselves these mechanisms are correct? Solution : We built an operational semantics, formalized our mechanisms and proved them correct Example: 2-Phase Update } 1. Install new rules on internal switches, leave Unobservable old confjguration in place 2. Install edge rules that stamp with the new } One-touch version number Theorem: Unobservable + one-touch = per-packet. 18

  47. IMPLEMENTATION & EVALUATION 19

  49. Evaluation Question: How much extra rule space is required? Setup Topologies • Mininet VM Applications • Routing and Multicast Fattree Scenarios • Adding/removing hosts • Adding/removing links • Both at the same time Small-world Waxman 21

  50. Results: Routing Application Full Subset Fattree Small-world Waxman 22

  51. Results: Routing Application 100% Full Subset Worst-Case Rule Overhead 75% 50% 25% 0% Host Link Both Host Link Both Host Link Both Fattree Small-world Waxman 22

  52. Results: Routing Application 100% Full Subset Worst-Case Rule Overhead 75% 50% 25% 0% Host Link Both Host Link Both Host Link Both Fattree Small-world Waxman 22

  53. WRAP UP 23

  54. Conclusion Update abstractions • Per-packet • Per-fow Mechanisms • 2-Phase Update • Optimizations Implementation • Runtime • Verifjer Formal model • Network operational semantics • Universal property preservation 24

  55. Thank You! Collaborators Shrutarshi Basu (Cornell) Arjun Guha (Cornell) Stephen Gutz (Cornell) Rob Harrison (West Point) Nanxi Kang (Princeton) Naga Praveen Katta (Princeton) Chris Monsanto (Princeton) http://frenetic-lang.org Josh Reich (Princeton) Cole Schlesinger (Princeton) Robert Soulé (Cornell) Alec Story (Cornell) Nate Foster (Cornell) Mike Freedman (Princeton) Jen Rexford (Princeton) Emin Gün Sirer (Cornell) Dave Walker (Princeton) 25

  56. BACKUP SLID ES 26

Recommend

1 Prior Work Stereology Prior Work Stereology Prior Work Texture Synthesis Prior

1 Prior Work Stereology Prior Work Stereology Prior Work Texture Synthesis Prior

Objective Objective Stereological Techniques Given a 2D slice through an aggregate material, for Solid Textures create a 3D volume with a comparable appearance. Rob Jagnow Julie Dorsey Holly Rushmeier MIT Yale University Yale University

636 views • 6 slides
Health Insurance Exchange Finance Work Group 8/9/12 Agenda Overview of prior work from work

Health Insurance Exchange Finance Work Group 8/9/12 Agenda Overview of prior work from work

Health Insurance Exchange Finance Work Group 8/9/12 Agenda Overview of prior work from work group Timeline Funding Pros and Cons High level recommendations/principles Benefit Analysis (who benefits from Exchange) Review of

762 views • 32 slides
Magna Carta Group Members: Kirby Gee, April Yu, Gavin Mai Problem Prior Work - Self reporting

Magna Carta Group Members: Kirby Gee, April Yu, Gavin Mai Problem Prior Work - Self reporting

Magna Carta Group Members: Kirby Gee, April Yu, Gavin Mai Problem Prior Work - Self reporting sites Prior Work - Carta Current Progress Currently in the process of receiving data from professor in CS department Questions to get feedback

251 views • 6 slides
Karthik Dinakar MAS 771 Brief introduction of problem space Prior & related work

Karthik Dinakar MAS 771 Brief introduction of problem space Prior & related work

Karthik Dinakar MAS 771 Brief introduction of problem space Prior & related work Algorithmic approach Demonstration Evaluation Limitations Future Work & lessons learned Pragmatic language impairment [Bishop

360 views • 15 slides
1 Prior Work: Depth from Defocus Prior Work: Modifying Cameras DSLR with a focusing mechanism

1 Prior Work: Depth from Defocus Prior Work: Modifying Cameras DSLR with a focusing mechanism

Light fields Light Fields: From Shape Recovery to Sparse Reconstruction Ravi Ramamoorthi University of California, San Diego Refocusing Viewpoint Change L4CV Keynote, Jul 26, 2017 Consumer light field cameras Outline Motivation Light

113 views • 10 slides
Introduction and reprise of prior ISCTM work From Challenges to Opportunities in Disease

Introduction and reprise of prior ISCTM work From Challenges to Opportunities in Disease

XV Annual Scientific Meeting, 18-21 Feb 2019, Washington DC, USA Introduction and reprise of prior ISCTM work From Challenges to Opportunities in Disease Progression / Modification Luca Pani, MD University of Miami and VeraSci, USA University

275 views • 11 slides
Prior Learning Assessment Content of Presentation Introduction to Prior Learning Assessment

Prior Learning Assessment Content of Presentation Introduction to Prior Learning Assessment

Prior Learning Assessment Content of Presentation Introduction to Prior Learning Assessment Developing a Portfolio Tips & Hints Submission Evaluation Process Awards & Applying Credits What is Prior Learning

406 views • 37 slides
Outline Project goal and problem definition Prior Work: Octree textures on GPU Parallel

Outline Project goal and problem definition Prior Work: Octree textures on GPU Parallel

Outline Project goal and problem definition Prior Work: Octree textures on GPU Parallel Octrees on GPU (2 implementations) Space Filling Curves CUDA programming model Octree Construction Results: Comparison of two

835 views • 54 slides
Implementing new Topology Mapping Primitives Guillermo Baltra Prior Work Primitives for

Implementing new Topology Mapping Primitives Guillermo Baltra Prior Work Primitives for

Implementing new Topology Mapping Primitives Guillermo Baltra Prior Work Primitives for Active Internet Topology Mapping: Toward High-Frequency Characterization, Beverly, R., Berger, A., Xie, G., IMC 2010. Demonstrated the ability of

1.2k views • 80 slides
Post-AIA Section 102 and Prior Art: Navigating the Expanded Scope of Prior Art and AIA Exceptions

Post-AIA Section 102 and Prior Art: Navigating the Expanded Scope of Prior Art and AIA Exceptions

Presenting a live 90-minute webinar with interactive Q&A Post-AIA Section 102 and Prior Art: Navigating the Expanded Scope of Prior Art and AIA Exceptions THURS DAY, S EPTEMBER 11, 2014 1pm East ern | 12pm Cent ral | 11am Mount

1.12k views • 89 slides
From Elms to Ash and Beyond Managing Our Urban Forest for Diversity & Resilience Ralph

From Elms to Ash and Beyond Managing Our Urban Forest for Diversity & Resilience Ralph

From Elms to Ash and Beyond Managing Our Urban Forest for Diversity & Resilience Ralph Sievert Director of Forestry Craig Pinkalla Forestry Preservation Coordinator Prior to EAB Prior to EAB Prior to EAB Prior to EAB Prior to EAB

1.02k views • 89 slides
City Council / County Board Work Session #3 Thursday, September 7, 2017 CH 21 Downtown Prior

City Council / County Board Work Session #3 Thursday, September 7, 2017 CH 21 Downtown Prior

City Council / County Board Work Session #3 Thursday, September 7, 2017 CH 21 Downtown Prior Lake Reconstruction Tonights Meeting - Agenda Overall Purpose to Inform on: Part 1: Corridor Visioning Concepts + Part 2: TH 13 / CH 21

690 views • 58 slides
Prior Art Search Overview Start the prior art search by selecting one or more KEYWORDS. Use

Prior Art Search Overview Start the prior art search by selecting one or more KEYWORDS. Use

Prior Art Search Overview Start the prior art search by selecting one or more KEYWORDS. Use these menus to revise & narrow the search Open similar items Example of patent review The next 8 slides illustrate how we could quickly

282 views • 25 slides
Work Group interpretations of data Sara Oliver MD, MSPH ACIP Meeting October 30, 2020 For more

Work Group interpretations of data Sara Oliver MD, MSPH ACIP Meeting October 30, 2020 For more

ACIP COVID-19 Vaccines Work Group interpretations of data Sara Oliver MD, MSPH ACIP Meeting October 30, 2020 For more information: www.cdc.gov/COVID19 Prior infection Summary of Work Group interpretation: COVID-19 vaccine and Prior infection

703 views • 20 slides
Molina Healthcare Prior Authorization Prior Authorization is a request for prospective review. It

Molina Healthcare Prior Authorization Prior Authorization is a request for prospective review. It

Molina Healthcare Prior Authorization Prior Authorization is a request for prospective review. It is designed to : Assist in benefit determination Prevent unanticipated denials of coverage Create a collaborative approach to

187 views • 18 slides
Work Sample Assignment: construct a marketing plan for Svedka Vodka circa 1998, prior to product

Work Sample Assignment: construct a marketing plan for Svedka Vodka circa 1998, prior to product

Work Sample Assignment: construct a marketing plan for Svedka Vodka circa 1998, prior to product launch Highlights: Slide design, story creation/slide organization, insights, professional writing SVEDKA Vodka Team Mercedes Agenda Purpose

470 views • 21 slides
Logics and Explanations This talk draws on prior joint work with Gillman Payette, especially

Logics and Explanations This talk draws on prior joint work with Gillman Payette, especially

Logic Colloquium 2018 Nicole Wyatt University of Calgary Logics and Explanations This talk draws on prior joint work with Gillman Payette, especially Nicole Wyatt and Gillman Payette. Logical Particularism. In: Pluralisms: Truth and Logic

891 views • 25 slides
CALSWEC WORKFORCE STUDY: PRELIMINARY FINDINGS PLEASE DO NOT DISTRIBUTE BROADLY WITHOUT PRIOR

CALSWEC WORKFORCE STUDY: PRELIMINARY FINDINGS PLEASE DO NOT DISTRIBUTE BROADLY WITHOUT PRIOR

CALSWEC WORKFORCE STUDY: PRELIMINARY FINDINGS PLEASE DO NOT DISTRIBUTE BROADLY WITHOUT PRIOR APPROVAL Sandhya Rao Hermon, Ph.D. California Social Work Education Center 1993 MEASURING SUCCESS 2015 RESULTS 9,860 students have been supported

627 views • 29 slides
Using Prior Knowledge Ji Kubalk jiri.kubalik@cvut.cz Symbolic Regression Using Prior

Using Prior Knowledge Ji Kubalk jiri.kubalik@cvut.cz Symbolic Regression Using Prior

Symbolic Regression Using Prior Knowledge Ji Kubalk jiri.kubalik@cvut.cz Symbolic Regression Using Prior Knowledge Insufficient training data sparse and noisy, unevenly sample the input space, may completely omit some parts of

478 views • 12 slides
Provider Healthcare Portal Prior Authorization Guidelines Indiana Health Coverage Programs DXC

Provider Healthcare Portal Prior Authorization Guidelines Indiana Health Coverage Programs DXC

Provider Healthcare Portal Prior Authorization Guidelines Indiana Health Coverage Programs DXC Technology October 2017 Agenda Functions of care management Create a prior authorization fee-for- service View the status of a prior

453 views • 21 slides
Quantification of prior impact in terms of prior effective historical and current sample size

Quantification of prior impact in terms of prior effective historical and current sample size

Quantification of prior impact in terms of prior effective historical and current sample size Manuel Wiesenfarth & Silvia Calderazzo German Cancer Research Center (DKFZ) m.wiesenfarth@dkfz.de Workshop Bayes Methods, December 6, G

619 views • 20 slides
Revenues Summary Use of Prior Year Reserves Other Financing Sources Miscellaneous Revenue

Revenues Summary Use of Prior Year Reserves Other Financing Sources Miscellaneous Revenue

City of Dunwoody YTD Statement of Revenues and Expenses Through October 31, 2015 Total Annual Revenues & Resources Budget YTD Budget YTD Actual YTD Variance Prior YTD Actual Flux (% of YTD (Diff from Prior Budget) Year) ($ '000)

928 views • 64 slides
Efficient Monte Carlo computation of Fisher information matrix using prior information Sonjoy

Efficient Monte Carlo computation of Fisher information matrix using prior information Sonjoy

Introduction and Motivation Contribution/Results of the Proposed Work Summary Efficient Monte Carlo computation of Fisher information matrix using prior information Sonjoy Das, UB James C. Spall, APL/JHU Roger Ghanem, USC SIAM Conference on

639 views • 31 slides
Using prior knowledge in dynamic settings for multivariate Gaussian processes Dan Cornford

Using prior knowledge in dynamic settings for multivariate Gaussian processes Dan Cornford

Using prior knowledge in dynamic settings for multivariate Gaussian processes Dan Cornford d.cornford@aston.ac.uk Aston University, Birmingham, UK http://wiki.aston.ac.uk/DanCornford Joint work with: Yuan Shen, Michael Vrettas, Manfred Opper,

609 views • 23 slides

More recommend