Leveraging Existing Instrumentation to Automatically Infer - PowerPoint PPT Presentation

Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models Ivan Beschastnikh Yuriy Brun Sigurd Schneider Michael Sloan University of Washington Saarland University Michael D. Ernst 1

Synoptic: * ... Mining from 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 Ivan Beschastnikh Yuriy Brun Sigurd Schneider Michael Sloan University of Washington Saarland University Michael D. Ernst * http://en.wikipedia.org/wiki/File:DFAexample.svg 2

Motivating question I am a developer. Why does my system behave in a certain manner? 3

One answer is to... Study the relevant artifacts src : 2, dst : 0, timestamp : 16, type : prepare src : 2, dst : 0, timestamp : 16, type : prepare src : 2, dst : 1, timestamp : 17, type : prepare src : 2, dst : 1, timestamp : 17, type : prepare src : 0, dst : 2, timestamp : 18, type : commit src : 0, dst : 2, timestamp : 18, type : commit src : 1, dst : 2, timestamp : 19, type : commit src : 1, dst : 2, timestamp : 19, type : commit src : 2, dst : 0, timestamp : 20, type : tx_commit src : 2, dst : 0, timestamp : 20, type : tx_commit src : 2, dst : 1, timestamp : 21, type : tx_commit src : 2, dst : 1, timestamp : 21, type : tx_commit src : 0, dst : 2, timestamp : 22, type : ack src : 0, dst : 2, timestamp : 22, type : ack src : 1, dst : 2, timestamp : 23, type : ack src : 1, dst : 2, timestamp : 23, type : ack src : 2, dst : 0, timestamp : 0, type : prepare src : 2, dst : 0, timestamp : 0, type : prepare src : 2, dst : 1, timestamp : 1, type : prepare src : 2, dst : 1, timestamp : 1, type : prepare src : 0, dst : 2, timestamp : 2, type : commit src : 0, dst : 2, timestamp : 2, type : commit src : 1, dst : 2, timestamp : 3, type : commit src : 1, dst : 2, timestamp : 3, type : commit src : 2, dst : 0, timestamp : 4, type : tx_commit src : 2, dst : 0, timestamp : 4, type : tx_commit src : 2, dst : 1, timestamp : 5, type : tx_commit src : 2, dst : 1, timestamp : 5, type : tx_commit src : 0, dst : 2, timestamp : 6, type : ack src : 0, dst : 2, timestamp : 6, type : ack src : 1, dst : 2, timestamp : 7, type : ack src : 1, dst : 2, timestamp : 7, type : ack src : 2, dst : 0, timestamp : 8, type : prepare src : 2, dst : 0, timestamp : 8, type : prepare src : 2, dst : 1, timestamp : 9, type : prepare src : 2, dst : 1, timestamp : 9, type : prepare src : 0, dst : 2, timestamp : 10, type : commit src : 0, dst : 2, timestamp : 10, type : commit src : 1, dst : 2, timestamp : 11, type : commit src : 1, dst : 2, timestamp : 11, type : commit src : 2, dst : 0, timestamp : 12, type : tx_commit src : 2, dst : 0, timestamp : 12, type : tx_commit src : 2, dst : 1, timestamp : 13, type : tx_commit src : 2, dst : 1, timestamp : 13, type : tx_commit src : 0, dst : 2, timestamp : 14, type : ack src : 0, dst : 2, timestamp : 14, type : ack src : 1, dst : 2, timestamp : 15, type : ack src : 1, dst : 2, timestamp : 15, type : ack src : 2, dst : 0, timestamp : 16, type : prepare src : 2, dst : 0, timestamp : 16, type : prepare src : 2, dst : 1, timestamp : 17, type : prepare src : 2, dst : 1, timestamp : 17, type : prepare src : 0, dst : 2, timestamp : 18, type : commit src : 0, dst : 2, timestamp : 18, type : commit src : 1, dst : 2, timestamp : 19, type : commit src : 1, dst : 2, timestamp : 19, type : commit src : 2, dst : 0, timestamp : 20, type : tx_commit src : 2, dst : 0, timestamp : 20, type : tx_commit src : 2, dst : 1, timestamp : 21, type : tx_commit src : 2, dst : 1, timestamp : 21, type : tx_commit src : 0, dst : 2, timestamp : 22, type : ack src : 0, dst : 2, timestamp : 22, type : ack src : 1, dst : 2, timestamp : 23, type : ack src : 1, dst : 2, timestamp : 23, type : ack src : 2, dst : 0, timestamp : 0, type : prepare src : 2, dst : 0, timestamp : 0, type : prepare src : 2, dst : 1, timestamp : 1, type : prepare src : 2, dst : 1, timestamp : 1, type : prepare src : 0, dst : 2, timestamp : 2, type : commit src : 0, dst : 2, timestamp : 2, type : commit ... src : 1, dst : 2, timestamp : 3, type : commit src : 1, dst : 2, timestamp : 3, type : commit src : 2, dst : 0, timestamp : 4, type : tx_commit src : 2, dst : 0, timestamp : 4, type : tx_commit src : 2, dst : 1, timestamp : 5, type : tx_commit src : 2, dst : 1, timestamp : 5, type : tx_commit src : 0, dst : 2, timestamp : 6, type : ack src : 1, dst : 2, timestamp : 7, type : ack src : 2, dst : 0, timestamp : 8, type : prepare src : 2, dst : 1, timestamp : 9, type : prepare Specification Code Log 4 (IN

Leveraging Existing Instrumentation to Automatically Infer - PowerPoint PPT Presentation

Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models Ivan Beschastnikh Yuriy Brun Sigurd Schneider Michael Sloan University of Washington Saarland University Michael D. Ernst 1 Synoptic: * ... Mining

Instrew: Leveraging LLVM for High Performance Dynamic Binary Instrumentation Alexis Engelke

Solar Securitization: Leveraging Alternative Financing Without Jeopardizing Existing Investor Tax

Leveraging new and existing labour force data to understand the impact of COVID-19 on workers in

NY Green Bank Access to Capital & Leveraging Existing Financing Tools Amy McCartin | April

LCCMR ID: 218-H Project Title: Minnesota River Water Trail: Leveraging Existing Public Access

Instrumentation best practices in Brewing Slide 1 Ola Wesstrom Instrumentation best practices in

Pin Tutorial What is Instrumentation? A technique that inserts extra code into a program to

GT14: Instrumentation et detection GT14: Instrumentation et detection Tracking detectors

Dynamic Binary Instrumentation: Introduction to Pin Instrumentation A technique that injects

The Emergence of a New Funding Structure Leveraging Alternative Financing Without Jeopardizing

DAHR to MARC: Leveraging Existing Discographic David Seubert, UCSB Data to Expedite Jennifer

Loom Weaving Instrumentation for Program Analysis Brian Kidney (Presenter) Jonathan Anderson

WP8 Monitoring seismicity and fluid activity near the fault using existing cabled and autonomous

Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of

Cryogenic Instrumentation and Controls Cryogenic Instrumentation and Controls of String 2 of

Integration of Family Planning and Child Immunization Services: Leveraging Private-Public

2 3 4 Service Server Client Server ConnecOon Recovered!

Adapting TCP for Recon fj gurable Datacenter Networks Matthew K. Mukerjee* , Christopher Canel*

CSCI 4760 - Computer Networks Fall 2016 Instructor: Prof. Roberto Perdisci perdisci@cs.uga.edu

Introduc>on Network Evolu>on ABack Model Evolu>on

DIY Internet with MinimaLT Low-latency secure networking JSConf.EU 2013 Andy Wingo

Why MySQL Replication Fails, and How to Get it Back September, 26, 2017 Sveta Smirnova Sveta

2018-01-10 Horst Grtz Institute for IT Security Chair for Network and Data Security Paul

Ensemble Adversarial Training A1acks and Defenses Facebook December 15 th 2017 Florian Tramr

Leveraging Existing Instrumentation to Automatically Infer - PowerPoint PPT Presentation

Leveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models Ivan Beschastnikh Yuriy Brun Sigurd Schneider Michael Sloan University of Washington Saarland University Michael D. Ernst 1 Synoptic: * ... Mining

Instrew: Leveraging LLVM for High Performance Dynamic Binary Instrumentation Alexis Engelke

Solar Securitization: Leveraging Alternative Financing Without Jeopardizing Existing Investor Tax

Leveraging new and existing labour force data to understand the impact of COVID-19 on workers in

NY Green Bank Access to Capital &amp; Leveraging Existing Financing Tools Amy McCartin | April

LCCMR ID: 218-H Project Title: Minnesota River Water Trail: Leveraging Existing Public Access

Instrumentation best practices in Brewing Slide 1 Ola Wesstrom Instrumentation best practices in

Pin Tutorial What is Instrumentation? A technique that inserts extra code into a program to

GT14: Instrumentation et detection GT14: Instrumentation et detection Tracking detectors

Dynamic Binary Instrumentation: Introduction to Pin Instrumentation A technique that injects

The Emergence of a New Funding Structure Leveraging Alternative Financing Without Jeopardizing

DAHR to MARC: Leveraging Existing Discographic David Seubert, UCSB Data to Expedite Jennifer

Loom Weaving Instrumentation for Program Analysis Brian Kidney (Presenter) Jonathan Anderson

WP8 Monitoring seismicity and fluid activity near the fault using existing cabled and autonomous

Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of

Cryogenic Instrumentation and Controls Cryogenic Instrumentation and Controls of String 2 of

Integration of Family Planning and Child Immunization Services: Leveraging Private-Public

2 3 4 Service Server Client Server ConnecOon Recovered!

Adapting TCP for Recon fj gurable Datacenter Networks Matthew K. Mukerjee* , Christopher Canel*

CSCI 4760 - Computer Networks Fall 2016 Instructor: Prof. Roberto Perdisci perdisci@cs.uga.edu

Introduc&gt;on Network Evolu&gt;on ABack Model Evolu&gt;on

DIY Internet with MinimaLT Low-latency secure networking JSConf.EU 2013 Andy Wingo

Why MySQL Replication Fails, and How to Get it Back September, 26, 2017 Sveta Smirnova Sveta

2018-01-10 Horst Grtz Institute for IT Security Chair for Network and Data Security Paul

Ensemble Adversarial Training A1acks and Defenses Facebook December 15 th 2017 Florian Tramr

NY Green Bank Access to Capital & Leveraging Existing Financing Tools Amy McCartin | April

Introduc>on Network Evolu>on ABack Model Evolu>on