l ife g uard practical repair of persistent route failures
play

L IFE G UARD: Practical Repair of Persistent Route Failures Ethan - PowerPoint PPT Presentation

Nov 06, 2023 •267 likes •1.34k views

L IFE G UARD: Practical Repair of Persistent Route Failures Ethan Katz-Bassett (USC) Colin Scott, David Choffnes, Italo Cunha, Valas Valancius, Nick Feamster, Harsha Madhyastha, Tom Anderson, Arvind Krishnamurthy This work is generously funded

  1. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK NTT:Ping? Fr:GMU Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works L IFE G UARD : Practical Repair of Persistent Route Failures 12

  2. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU GMU:Ping! NTT Rostelecom Fr:NTT ! Forward path works L IFE G UARD : Practical Repair of Persistent Route Failures 12

  3. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works L IFE G UARD : Practical Repair of Persistent Route Failures 12

  4. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works L IFE G UARD : Practical Repair of Persistent Route Failures 12

  5. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Rostele: Ping? Fr:GMU Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works ! Rostelcom is not forwarding traffic towards GMU L IFE G UARD : Practical Repair of Persistent Route Failures 13

  6. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works ! Rostelcom is not forwarding traffic towards GMU L IFE G UARD : Practical Repair of Persistent Route Failures 13

  7. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works ! Rostelcom is not forwarding traffic towards GMU L IFE G UARD : Practical Repair of Persistent Route Failures 13

  8. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works ! Rostelcom is not forwarding traffic towards GMU L IFE G UARD : Practical Repair of Persistent Route Failures 13

  9. How does L IFE G UARD locate a failure? During outage: Level3 Telia TransTelecom ZSTTK Source: Source: Source: Target: Target: GMU GMU Smartkom Smartkom GMU NTT Rostelecom ! Forward path works ! Rostelcom is not forwarding traffic towards GMU L IFE G UARD : Practical Repair of Persistent Route Failures 13

  10. How L IFE G UARD Locates Failures L IFE G UARD : 1. Maintains background historical atlas 2. Isolates direction of failure, measures working direction 3. Tests historical paths in failing direction in order to prune candidate failure locations 4. Locates failure as being at the horizon of reachability L IFE G UARD : Practical Repair of Persistent Route Failures 14

  11. Our Approach and Outline L IFE G UARD : L ocating I nternet F ailures E ffectively and G enerating U sable A lternate R outes D ynamically ! Locate the ISP / link causing the problem ! Suggest that other ISPs reroute around the problem L IFE G UARD : Practical Repair of Persistent Route Failures 15

  12. Our Approach and Outline L IFE G UARD : L ocating I nternet F ailures E ffectively and G enerating U sable A lternate R outes D ynamically ! Locate the ISP / link causing the problem ! Suggest that other ISPs reroute around the problem ! What would we like to add to BGP to enable this? ! What can we deploy today, using only available protocols and router support? L IFE G UARD : Practical Repair of Persistent Route Failures 15

  13. Our Goal for Failure Avoidance ! Enable content / service providers to repair persistent routing problems affecting them, regardless of which ISP is causing them Setting ! Assume we can locate problem ! Assume we are multi-homed / have multiple data centers ! Assume we speak BGP ! We use BGP-Mux to speak BGP to the real Internet: 5 US universities as providers L IFE G UARD : Practical Repair of Persistent Route Failures 16

  14. Self-Repair of Forward Paths Straightforward: Choose a path that avoids the problem. L IFE G UARD : Practical Repair of Persistent Route Failures 17

  15. Self-Repair of Forward Paths Straightforward: Choose a path that avoids the problem. L IFE G UARD : Practical Repair of Persistent Route Failures 17

  16. Self-Repair of Forward Paths Straightforward: Choose a path that avoids the problem. L IFE G UARD : Practical Repair of Persistent Route Failures 17

  17. Self-Repair of Forward Paths Straightforward: Choose a path that avoids the problem. L IFE G UARD : Practical Repair of Persistent Route Failures 17

  18. A Mechanism for Failure Avoidance Forward path: Choose route that avoids ISP or ISP-ISP link Reverse path: Want others to choose paths to my prefix P that avoid ISP or ISP-ISP link X ! Want a BGP announcement AVOID(X,P): ! Any ISP with a route to P that avoids X uses such a route ! Any ISP not using X need only pass on the announcement L IFE G UARD : Practical Repair of Persistent Route Failures 18

  19. Ideal Self-Repair of Reverse Paths L IFE G UARD : Practical Repair of Persistent Route Failures 19

  20. Ideal Self-Repair of Reverse Paths AVOID(L3,WS) L IFE G UARD : Practical Repair of Persistent Route Failures 19

  21. Ideal Self-Repair of Reverse Paths AVOID(L3,WS) AVOID(L3,WS) L IFE G UARD : Practical Repair of Persistent Route Failures 19

  22. Ideal Self-Repair of Reverse Paths AVOID(L3,WS) AVOID(L3,WS) AVOID(L3,WS) L IFE G UARD : Practical Repair of Persistent Route Failures 19

  23. Ideal Self-Repair of Reverse Paths AVOID(L3,WS) AVOID(L3,WS) AVOID(L3,WS) L IFE G UARD : Practical Repair of Persistent Route Failures 19

  24. Do paths exist that AVOID problem? L IFE G UARD repairs outages by instructing others to avoid particular routes. Q: Do alternative routes exist? A: Alternate policy-compliant paths exist in 90% of simulated AVOID(X,P) announcements. ! Simulated 10 million AVOIDs on actual measured routes. L IFE G UARD : Practical Repair of Persistent Route Failures 20

  25. Practical Self-Repair of Reverse Paths L IFE G UARD : Practical Repair of Persistent Route Failures 21

  26. Practical Self-Repair of Reverse Paths WS L IFE G UARD : Practical Repair of Persistent Route Failures 21

  27. Practical Self-Repair of Reverse Paths ATT ! WS WS Qwest ! WS L IFE G UARD : Practical Repair of Persistent Route Failures 21

  28. Practical Self-Repair of Reverse Paths L3 ! ATT ! WS ATT ! WS WS Sprint ! Qwest ! WS AISP ! Qwest ! WS Qwest ! WS L IFE G UARD : Practical Repair of Persistent Route Failures 21

  29. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS Sprint ! Qwest ! WS AISP ! Qwest ! WS Qwest ! WS L IFE G UARD : Practical Repair of Persistent Route Failures 21

  30. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS Sprint ! Qwest ! WS AISP ! Qwest ! WS Qwest ! WS L IFE G UARD : Practical Repair of Persistent Route Failures 21

  31. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS Sprint ! Qwest ! WS AISP ! Qwest ! WS Qwest ! WS L IFE G UARD : Practical Repair of Persistent Route Failures 21

  32. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS Sprint ! Qwest ! WS AVOID(L3,WS) AISP ! Qwest ! WS Qwest ! WS L IFE G UARD : Practical Repair of Persistent Route Failures 22

  33. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS AISP ! Qwest ! WS Qwest ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  34. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS Qwest ! WS ! L3 ! WS AISP ! Qwest ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  35. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS AISP ! Qwest ! WS ! L3 ! WS Qwest ! WS ! L3 ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  36. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS ! L3 ! WS Sprint ! Qwest ! WS Qwest ! WS ! L3 ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  37. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS L3 ! ATT ! WS ATT ! WS ATT ! WS ! L3 ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS ! L3 ! WS Sprint ! Qwest ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  38. Practical Self-Repair of Reverse Paths UW ! L3 ! ATT ! WS ? ATT ! WS ATT ! WS ! L3 ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS ! L3 ! WS Sprint ! Qwest ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  39. Practical Self-Repair of Reverse Paths UW ! Sprint ! Qwest ! WS ! L3 ! WS UW ! L3 ! ATT ! WS ? ATT ! WS ATT ! WS ! L3 ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS ! L3 ! WS Sprint ! Qwest ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  40. Practical Self-Repair of Reverse Paths UW ! Sprint ! Qwest ! WS ! L3 ! WS UW ! L3 ! ATT ! WS ? ATT ! WS ATT ! WS ! L3 ! WS WS ! L3 ! WS WS Sprint ! Qwest ! WS ! L3 ! WS Sprint ! Qwest ! WS BGP loop prevention encourages switch to working path. L IFE G UARD : Practical Repair of Persistent Route Failures 22

  41. Stuff I Don’t Have Time to Talk About Results from real poisonings ! Poisoning in the wild / poisoning anomalies ! Case study of restoring connectivity Making poisoning flexible ! Monitoring broken path while it is disabled ! Allowing ISPs w/o alternatives to use disabled route L IFE G UARD ’s scalability ! Overhead and speed of failure location ! Router update load if many ISPs deploy our approach Alternatives to poisoning ! Compatibility with secure routing (BGPSEC, etc.) ! Comparing to other route control mechanisms L IFE G UARD : Practical Repair of Persistent Route Failures 23

  42. Can poisoning approximate AVOID effects? L IFE G UARD ’s poisoning repairs outages by disabling routes to induce route exploration. Q: Does poisoning disrupt working routes? A: No. As I will describe: (a) Under certain circumstances, we can disable a link without disabling the full ISP . (b) We can speed BGP convergence by carefully crafting announcements. L IFE G UARD : Practical Repair of Persistent Route Failures 24

  43. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O ! We only want C3 to change its route, to avoid A-B2 L IFE G UARD : Practical Repair of Persistent Route Failures 25

  44. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O ! We only want C3 to change its route, to avoid A-B2 L IFE G UARD : Practical Repair of Persistent Route Failures 25

  45. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O ! We only want C3 to change its route, to avoid A-B2 ! Forward direction is easy: choose a different route L IFE G UARD : Practical Repair of Persistent Route Failures 26

  46. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O ! We only want C3 to change its route, to avoid A-B2 ! Forward direction is easy: choose a different route L IFE G UARD : Practical Repair of Persistent Route Failures 26

  47. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O ! We only want C3 to change its route, to avoid A-B2 ! Forward direction is easy: choose a different route L IFE G UARD : Practical Repair of Persistent Route Failures 27

  48. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP L IFE G UARD : Practical Repair of Persistent Route Failures 28

  49. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP L IFE G UARD : Practical Repair of Persistent Route Failures 28

  50. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O-O-O O-A-O O-A-O O-A-O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP L IFE G UARD : Practical Repair of Persistent Route Failures 29

  51. What if some routes in an ISP still work? A ? ? Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O-O-O O-A-O O-A-O O-A-O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP L IFE G UARD : Practical Repair of Persistent Route Failures 30

  52. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! Selective advertising via just D1 is also blunt L IFE G UARD : Practical Repair of Persistent Route Failures 31

  53. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 New path C1 C4 D1 D2 O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! Selective advertising via just D1 is also blunt L IFE G UARD : Practical Repair of Persistent Route Failures 31

  54. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Original path B1 B2 ? New path ? C1 C4 D1 D2 ? O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! Selective advertising via just D1 is also blunt L IFE G UARD : Practical Repair of Persistent Route Failures 32

  55. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! If D1 and D2 (transitively) connect to different PoPs of A , selectively poison via D2 and not D1 L IFE G UARD : Practical Repair of Persistent Route Failures 33

  56. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! If D1 and D2 (transitively) connect to different PoPs of A , selectively poison via D2 and not D1 L IFE G UARD : Practical Repair of Persistent Route Failures 33

  57. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O-O-O O-A-O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! If D1 and D2 (transitively) connect to different PoPs of A , selectively poison via D2 and not D1 L IFE G UARD : Practical Repair of Persistent Route Failures 34

  58. What if some routes in an ISP still work? A Network link C2 C3 Transitive link Pre-poisoning path B1 B2 Post-poisoning path C1 C4 D1 D2 O-O-O O-A-O O ! We only want C3 to change its route, to avoid A-B2 ! Poisoning seems blunt, disabling an entire ISP ! If D1 and D2 (transitively) connect to different PoPs of A , selectively poison via D2 and not D1 L IFE G UARD : Practical Repair of Persistent Route Failures 35

  59. Can poisoning approximate AVOID effects? L IFE G UARD ’s poisoning repairs outages by disabling routes to induce route exploration. Q: Does poisoning disrupt working routes? A: No. As I will describe: (a) “Selective poisoning” can avoid 73% of links without disabling entire AS. ‣ Real-world results from 5 provider BGP-Mux testbed (b) We can speed BGP convergence by carefully crafting announcements. L IFE G UARD : Practical Repair of Persistent Route Failures 36

  60. Naive Poisoning Causes Transient Loss ! Some ISPs may have B-A-O B-A-O F C working paths that E-D-A-O avoid problem ISP X D-A-O A-O ! Naively, poisoning E B F-B-A-O causes path exploration even for these ISPs A-O O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 37

  61. Naive Poisoning Causes Transient Loss ! Some ISPs may have B-A-O B-A-O F C working paths that E-D-A-O avoid problem ISP X D-A-O A-O ! Naively, poisoning E B F-B-A-O causes path exploration even for these ISPs A-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 38

  62. Naive Poisoning Causes Transient Loss ! Some ISPs may have B-A-O B-A-O F C working paths that E-D-A-O avoid problem ISP X D-A-O A-O-X-O ! Naively, poisoning E B F-B-A-O causes path exploration even for these ISPs A-O-X-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 39

  63. Naive Poisoning Causes Transient Loss ! Some ISPs may have B-A-O-X-O B-A-O-X-O F C working paths that E-D-A-O E-D-A-O avoid problem ISP X D-A-O-X-O A-O-X-O ! Naively, poisoning E B F-B-A-O F-B-A-O causes path exploration even for these ISPs A-O-X-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 40

  64. Naive Poisoning Causes Transient Loss ! Some ISPs may have E-D-A-O B-A-O-X-O E-D-A-O B-A-O-X-O F C working paths that E-D-A-O B-A-O-X-O E-D-A-O avoid problem ISP X F-B-A-O D-A-O-X-O F-B-A-O A-O-X-O ! Naively, poisoning E B F-B-A-O D-A-O-X-O F-B-A-O causes path exploration even for these ISPs A-O-X-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 41

  65. Naive Poisoning Causes Transient Loss ! Some ISPs may have E-D-A-O E-D-A-O B-A-O-X-O E-D-A-O B-A-O-X-O F C working paths that E-D-A-O B-A-O-X-O E-D-A-O avoid problem ISP X D-A-O-X-O F-B-A-O F-B-A-O F-B-A-O A-O-X-O ! Naively, poisoning E B F-B-A-O D-A-O-X-O F-B-A-O causes path exploration even for these ISPs A-O-X-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 42

  66. Naive Poisoning Causes Transient Loss ! Some ISPs may have B-A-O-X-O E-D-A-O E-D-A-O B-A-O-X-O E-D-A-O B-A-O-X-O F C working paths that E-D-A-O E-D-A-O B-A-O-X-O E-D-A-O avoid problem ISP X D-A-O-X-O F-B-A-O F-B-A-O F-B-A-O A-O-X-O D-A-O-X-O ! Naively, poisoning E B F-B-A-O D-A-O-X-O F-B-A-O F-B-A-O causes path exploration even for these ISPs A-O-X-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 43

  67. Naive Poisoning Causes Transient Loss ! Some ISPs may have B-A-O-X-O B-A-O-X-O F C working paths that E-D-A-O-X-O avoid problem ISP X D-A-O-X-O A-O-X-O ! Naively, poisoning E B F-B-A-O-X-O causes path exploration even for these ISPs A-O-X-O O-X-O D A ! Path exploration causes transient loss AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 44

  68. Prepend to Reduce Path Exploration ! Most routing decisions B-A-O-O-O B-A-O-O-O F C based on: E-D-A-O-O-O (1) next hop ISP D-A-O-O-O A-O-O-O (2) path length E B F-B-A-O-O-O ! Keep these fixed to speed convergence A-O-O-O O-O-O D A ! Prepending prepares ISPs for later poison AVOID(X,P) O L IFE G UARD : Practical Repair of Persistent Route Failures 45

Recommend

BGP Persistent Route Oscillation Solution (draft-walton-bgp-route-oscillation-stop-01.txt )

BGP Persistent Route Oscillation Solution (draft-walton-bgp-route-oscillation-stop-01.txt )

BGP Persistent Route Oscillation Solution (draft-walton-bgp-route-oscillation-stop-01.txt ) Daniel Walton, Alvaro Retana, Enke Chen {dwalton, aretana, enkechen}@cisco.com IETF63_ADD_PATH 1 What is the problem? BGP Persistent Route

286 views • 15 slides
Semantics with Failures Practical Considerations If map and reduce are deterministic, then

Semantics with Failures Practical Considerations If map and reduce are deterministic, then

9/29/2011 Semantics with Failures Practical Considerations If map and reduce are deterministic, then output Conserve network bandwidth (Locality optimization) Schedule map task on machine that already has a copy of the identical

244 views • 11 slides
Towards Practical Deletion Repair of Inconsistent DL-programs Thomas Eiter Michael Fink Daria

Towards Practical Deletion Repair of Inconsistent DL-programs Thomas Eiter Michael Fink Daria

Motivation Overview DL-programs Support Sets for DL-atoms Repair Answer Set Computation Experiments Conclusion Towards Practical Deletion Repair of Inconsistent DL-programs Thomas Eiter Michael Fink Daria Stepanova Knowledge-Based

789 views • 46 slides
Appendix 2 RESTORATIVE APPROACHES CJ v RJ Criminal Justice Route Restorative Justice Route

Appendix 2 RESTORATIVE APPROACHES CJ v RJ Criminal Justice Route Restorative Justice Route

Appendix 2 RESTORATIVE APPROACHES CJ v RJ Criminal Justice Route Restorative Justice Route Offence Offence Recognise Injury Punish Heal/Repair LIMITED VICTIM VICTIM VIEWS HEARD INVOLVEMENT IN CJ BY OFFENDER route

431 views • 17 slides
A Practical Guide to Persistent Homology Dmitriy Morozov Lawrence Berkeley National Lab A

A Practical Guide to Persistent Homology Dmitriy Morozov Lawrence Berkeley National Lab A

A Practical Guide to Persistent Homology Dmitriy Morozov Lawrence Berkeley National Lab A Practical Guide to Persistent Homology (Dionysus edition) from dionysus import * from dionysus.viewer import * Code snippets available at: from

1.39k views • 82 slides
Route 147 and Route 11 Roadway Reconstruction Project PA Route 147 Section 110 US Route 11

Route 147 and Route 11 Roadway Reconstruction Project PA Route 147 Section 110 US Route 11

Route 147 and Route 11 Roadway Reconstruction Project PA Route 147 Section 110 US Route 11 Section 113 Northumberland County LARSON DESIGN GROUP, INC. DEPARTMENT OF TRANSPORTATION 715 JORDAN AVENUE 1000 COMMERCE PARK DRIVE, SUITE 201

661 views • 16 slides
Investigation of Failures 49 CFR 192.617 192.617 Investigation of Failures Each operator

Investigation of Failures 49 CFR 192.617 192.617 Investigation of Failures Each operator

Investigation of Failures 49 CFR 192.617 192.617 Investigation of Failures Each operator shall establish procedures for analyzing accidents and failures, including the selection of samples of the failed facility or equipment for

948 views • 55 slides
Black Valley Road Slide Repair Route 3007 Southampton Township Bedford County PROJECT TEAM

Black Valley Road Slide Repair Route 3007 Southampton Township Bedford County PROJECT TEAM

PENNDOT PROJECT INFORMATION Black Valley Road Slide Repair Route 3007 Southampton Township Bedford County PROJECT TEAM Design Unit: Direct Questions to Bruce E. Schweitzer, Design Project Manager at 814.696.7198 or bschweitze@pa.gov

129 views • 9 slides
Resonant Pulse Combustors: A Reliable Route to Practical Pressure Gain Combustion Dan Paxson

Resonant Pulse Combustors: A Reliable Route to Practical Pressure Gain Combustion Dan Paxson

https://ntrs.nasa.gov/search.jsp?R=20170007284 2017-08-12T04:59:11+00:00Z National Aeronautics and Space Administration Resonant Pulse Combustors: A Reliable Route to Practical Pressure Gain Combustion Dan Paxson NASA John H. Glenn Research

320 views • 13 slides
Sibyl A Practical Internet Route Oracle talo Cunha P. Marchetta, M. Calder, Y-C. Chiu B.

Sibyl A Practical Internet Route Oracle talo Cunha P. Marchetta, M. Calder, Y-C. Chiu B.

Sibyl A Practical Internet Route Oracle talo Cunha P. Marchetta, M. Calder, Y-C. Chiu B. Schlinker, B. Machado, A. Pescap V. Giotsas, H. Madhyastha, E. Katz-Bassett Traceroute is Widely Used The number one go - to tool is traceroute.

478 views • 19 slides
Sibyl: A Practical Internet Route Oracle Ethan Katz-Bassett (University of Southern California)

Sibyl: A Practical Internet Route Oracle Ethan Katz-Bassett (University of Southern California)

1 Sibyl: A Practical Internet Route Oracle Ethan Katz-Bassett (University of Southern California) with: Pietro Marchetta (University of Napoli Federico II), Matt Calder, Yi-Ching Chiu (USC), Italo Cunha (UFMG), Harsha Madhyastha

707 views • 45 slides
Protection and Restoration Introduction Fact: Networks fail. Types of failures: Path

Protection and Restoration Introduction Fact: Networks fail. Types of failures: Path

SYSC 5801 Protection and Restoration Introduction Fact: Networks fail. Types of failures: Path failures Link failures Node failures Results: packet losses, waste of resources, and higher delay. What IGP does in the event

721 views • 35 slides
Tissue Repair Kristine Krafts, M.D. Tissue Repair Lecture Objectives Define tissue repair,

Tissue Repair Kristine Krafts, M.D. Tissue Repair Lecture Objectives Define tissue repair,

Tissue Repair Kristine Krafts, M.D. Tissue Repair Lecture Objectives Define tissue repair, regeneration, and scarring. Explain the difference between labile, stable, and permanent tissues, and give examples of each. Explain the

620 views • 38 slides
Distributed Shared Persistent Memory (SoCC 17) Yizhou Shan, Yiying Zhang Persistent Memory

Distributed Shared Persistent Memory (SoCC 17) Yizhou Shan, Yiying Zhang Persistent Memory

Distributed Shared Persistent Memory (SoCC 17) Yizhou Shan, Yiying Zhang Persistent Memory (PM/NVM) CPU Byte Addressable Persistent Cache Low Latency Capacity Cost effective PM DRAM 2 Many PM Work, but All in Single Machine

712 views • 33 slides
TRI-REPAIR: 30-Day Outcomes of Transcatheter TV Repair in Patients With Severe Secondary

TRI-REPAIR: 30-Day Outcomes of Transcatheter TV Repair in Patients With Severe Secondary

TRI-REPAIR: 30-Day Outcomes of Transcatheter TV Repair in Patients With Severe Secondary Tricuspid Regurgitation Georg Nickenig, MD Heart Center University of Bonn Germany Disclosure Statement of Financial Interest Within the past 12

534 views • 21 slides
2018 Repair irs and Repair ir Opti tions movin ing forw rward WPF has been experiencing

2018 Repair irs and Repair ir Opti tions movin ing forw rward WPF has been experiencing

Western Fin inancial Pla lace Cit City of f Cr Cranbrook Co Council il Prese sentatio ion February 25 th , 2019 Presentation by: Building Consulting Services Kevin Wilkins 2018 Repair irs and Repair ir Opti tions movin ing forw

551 views • 25 slides
Problems with open approach History of popliteal aneurysm repair 1888, Rudolph Matas first

Problems with open approach History of popliteal aneurysm repair 1888, Rudolph Matas first

4/3/2014 History of popliteal aneurysm repair Outcomes for Endovascular Treatment of Popliteal Aneurysms 2nd century AD, Antyllus, the Father of Aneurysm are Similar to Open Repair Surgery performed the first recorded aneurysm repair

185 views • 5 slides
Alternative Fuels and Repair Facilities Introduction: Gas Technology Institute Independent,

Alternative Fuels and Repair Facilities Introduction: Gas Technology Institute Independent,

Alternative Fuels and Repair Facilities Introduction: Gas Technology Institute Independent, not-for-profit established to tackle tough energy challenges, turning raw technology into practical solutions. Idea Market Analysis Technology

280 views • 27 slides
Assessment of sinoatrial node function at patients with persistent and long-standing persistent

Assessment of sinoatrial node function at patients with persistent and long-standing persistent

Assessment of sinoatrial node function at patients with persistent and long-standing persistent forms of atrial fibrillation after Maze III procedure combined with a mitral valve operation A.A. Kulikov, L.A. Bokeria Bakoulev Scientific Center

267 views • 12 slides
Failures and Consensus Failures and Consensus Coordination Coordination If the solution to

Failures and Consensus Failures and Consensus Coordination Coordination If the solution to

Failures and Consensus Failures and Consensus Coordination Coordination If the solution to availability and scalability is to decentralize and replicate functions and data, how do we coordinate the nodes? data consistency update

712 views • 36 slides
Carbon Fiber Composites for Concrete Repair UNIQUE FRP TECHNOLOGY USED TO REPAIR AND

Carbon Fiber Composites for Concrete Repair UNIQUE FRP TECHNOLOGY USED TO REPAIR AND

Carbon Fiber Composites for Concrete Repair UNIQUE FRP TECHNOLOGY USED TO REPAIR AND STRENGTHEN MUNICIPAL AQUEDUCT SYSTEM Jay Thomas, Vice President Structural Preservation Systems, Inc., Springfield, Virginia One of the first-ever

487 views • 3 slides
U.S. Bike Route 1 City of Savannah / Sustainability Office/ U.S. Bike Route 1/ March 28, 2019

U.S. Bike Route 1 City of Savannah / Sustainability Office/ U.S. Bike Route 1/ March 28, 2019

U.S. Bike Route 1 City of Savannah / Sustainability Office/ U.S. Bike Route 1/ March 28, 2019 U.S. Bike Route 1 Background U.S. Bicycle Route System is a national network of public bike travel routes Over 13,000 miles are rideable

519 views • 8 slides
Mitigation of BGP Route Leaks ietf-idr-route-leak-detection-mitigation-06 (Route leak definition:

Mitigation of BGP Route Leaks ietf-idr-route-leak-detection-mitigation-06 (Route leak definition:

Methods for Prevention, Detection and Mitigation of BGP Route Leaks ietf-idr-route-leak-detection-mitigation-06 (Route leak definition: RFC 7908) K. Sriram, D. Montgomery, B. Dickson, K. Patel, and A. Robachevsky IDR Working Group Meeting,

244 views • 9 slides
Do Automated Program Repair Techniques Repair Hard and Important Bugs? Manish Motwani Sandhya

Do Automated Program Repair Techniques Repair Hard and Important Bugs? Manish Motwani Sandhya

Do Automated Program Repair Techniques Repair Hard and Important Bugs? Manish Motwani Sandhya Sankarnarayanan Ren e Just Yuriy Brun University of Massachusetts Amherst Automatic Program Repair: An Active Research Area patched program

525 views • 37 slides

More recommend