SLIDE 1
Inferring Hierarchical Motifs from Execution Traces
Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman
saba@northeastern.edu
All truths are easy to understand once they are discovered; the point is to discover them.
— Galileo Galilei
Inferring Hierarchical Motifs from Execution Traces Saba Alimadadi , - - PowerPoint PPT Presentation
Inferring Hierarchical Motifs from Execution Traces Saba Alimadadi , - - PowerPoint PPT Presentation
Inferring Hierarchical Motifs from Execution Traces Saba Alimadadi , Ali Mesbah, Karthik Pattabiraman saba@northeastern.edu All truths are easy to understand once they are discovered; the point is to discover them. Galileo Galilei Search
SLIDE 2
SLIDE 3
Search Relate Collect Model
[Ko et al. ’06], [Murphy et al. ’95]
SLIDE 4
Execution Traces: Complex and Overwhelming
SLIDE 5
fn fn fn fn fn fn fn fn fn fn fn fn
recurring patterns?
SLIDE 6
fn fn fn fn fn fn fn fn fn fn fn fn
previously unknown
pattern pattern
SLIDE 7
fn fn fn fn fn fn fn fn fn fn fn fn
tolerant of small changes
pattern pattern pattern pattern
SLIDE 8
fn fn fn fn fn fn fn fn fn fn fn fn
hierarchical
pattern pattern pattern pattern pattern
SLIDE 9
Inspired by bio-informatics
Motifs of program execution
Smith-Waterman [1981] BLAST [1990]
SLIDE 10
JS
17.5 35 52.5 70 85000 170000 255000 340000
Most Popular Programming Language
JavaScript Java
active repositories
JavaScript Java
popularity %
SLIDE 11
function validateEmail () { // do stuff } function checkAddress () { // do more stuff }
Select one
Student Email: Address: Occupation: Submit
window foo validateEmail checkAddress bar baz
SLIDE 12
Select one
Student Email: Address: Occupation: Submit
validateEmail() checkAddress()
- ccupation()
submit()
SLIDE 13
Select one
Student Email: Address: Occupation: Submit
Select one
Degree:
studentForm() validateEmail() checkAddress()
- ccupation()
submit()
SLIDE 14
Student
Email: Address: Occupation:
Submit
Degree:
validateEmail() checkAddress()
- ccupation()
studentForm() submit()
SLIDE 15
Student
Email: Address: Occupation:
Submit
Degree:
validateEmail() checkAddress()
- ccupation()
studentForm() submit()
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database
SLIDE 16
Student
Email: Address: Occupation:
Submit
Degree:
validateEmail() checkAddress()
- ccupation()
studentForm() submit()
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
BLAST [Altschul et al. 1990]
SLIDE 17
Student
Email: Address: Occupation:
Submit
Degree:
validateEmail() checkAddress()
- ccupation()
studentForm() submit()
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
SLIDE 18
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
2 2 4 4 6 2 6 4 4
validateEmail checkAddress
- ccupation
submit submit studentForm
- ccupation
checkAddress validateEmail
Smith-Waterman [Smith & Waterman 1981]
SLIDE 19
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
2 2 4 4 6 2 6 4 4
validateEmail checkAddress
- ccupation
submit submit studentForm
- ccupation
checkAddress validateEmail
SLIDE 20
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
2 2 4 4 6 2 6 4 4
validateEmail checkAddress
- ccupation
submit submit studentForm
- ccupation
checkAddress validateEmail
SLIDE 21
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
validateEmail checkAddress
- ccupation
submit submit studentForm
- ccupation
checkAddress validateEmail validateEmail checkAddress
- ccupation
ABSTRACT submit
Motif
SLIDE 22
bar() change() transition() grouped() stacked() index.html:11() showPopup() foo() baz() foo() bar() foo() bar() baz() validateEmail() checkAddress()
- ccupation()
submit()
Database Query
baz() foo() validateEmail() checkAddress()
- ccupation()
studentForm() submit() change() transition()
validateEmail checkAddress
- ccupation
submit submit studentForm
- ccupation
checkAddress validateEmail validateEmail checkAddress
- ccupation
ABSTRACT submit
Motif
abstraction
Motif Motif validateEmail checkAddress
- ccupation
studentForm submit
hierarchy
Abstract
SLIDE 23
https://github.com/saltlab/sabalan
A B E D C
DB Motifs
Sabalan
SLIDE 24
Does using Sabalan improve performance of developers?
SLIDE 25
Controlled Experiment
Tasks: common comprehension activities 14 participants Control: tool Measure: performance
SLIDE 26
Fast is fine, but accuracy is everything.
54
accuracy
pp
more
Accuracy (%)
T1.a T1.b T2.a T2.b T3 Total 25 50 75 100
Sabalan Other
SLIDE 27