Toggle labels:
↰ Results summary
eg-oopsla2015-sec2-rev1
step
batch name
0
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
delta
compute
delta
d
Editor trace:
Alloc(LocFresh)
▣
d
Alloc(LocFresh)
▣
b
Alloc(LocFresh)
▣
a
Alloc(LocFresh)
▣
z
Alloc(LocFresh)
▣
y
Alloc(LocFresh)
▣
x
Archivist trace:
Alloc(LocFresh)
◯
compute
xray
Force(CompCacheMiss)
compute
xray
Force(RefGet)
x
Alloc(LocFresh)
◯
compute
yellow
Force(CompCacheMiss)
compute
yellow
Force(RefGet)
y
Alloc(LocFresh)
◯
compute
zeta
Force(CompCacheMiss)
compute
zeta
Force(RefGet)
z
Alloc(LocFresh)
◯
compute
alpha
Force(CompCacheMiss)
compute
alpha
Force(RefGet)
a
Alloc(LocFresh)
◯
compute
beta
Force(CompCacheMiss)
compute
beta
Force(RefGet)
b
Alloc(LocFresh)
◯
compute
delta
Force(CompCacheMiss)
compute
delta
Force(RefGet)
d
batch name
1
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Force(RefGet)
x
Force(RefGet)
y
Force(RefGet)
z
Force(RefGet)
a
Force(RefGet)
b
Alloc(LocFresh)
▣
c
Alloc(LocExists(SameContent))
▣
b
Dirty
b
Dirty
compute
beta
Dirty
compute
alpha
Dirty
compute
zeta
Dirty
compute
yellow
Alloc(LocExists(SameContent))
▣
a
Alloc(LocExists(SameContent))
▣
z
Alloc(LocExists(SameContent))
▣
y
Alloc(LocExists(SameContent))
▣
x
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
CleanRec
compute
yellow
CleanRec
compute
zeta
CleanRec
compute
alpha
CleanRec
compute
beta
CleanRec
b
CleanEval
compute
beta
Remove
b
Remove
compute
delta
Remove
compute
delta
Force(RefGet)
b
Alloc(LocFresh)
◯
compute
gamma
Force(CompCacheMiss)
compute
gamma
Force(RefGet)
c
Alloc(LocExists(SameContent))
◯
compute
delta
Force(CompCacheHit)
compute
delta
CleanEval
compute
alpha
Remove
a
Remove
compute
beta
Remove
compute
beta
Force(RefGet)
a
Alloc(LocExists(SameContent))
◯
compute
beta
Force(CompCacheHit)
compute
beta
CleanEdge
compute
alpha
CleanEdge
compute
zeta
CleanEdge
compute
yellow
batch name
2
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
3
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
4
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
5
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
6
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
7
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
8
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
9
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray
batch name
10
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray
Art
__compute___xray
compute
xray
Cons
9604
Name
yellow
Art
__compute___yellow
compute
yellow
Cons
9801
Name
zeta
Art
__compute___zeta
compute
zeta
Cons
0
Name
alpha
Art
__compute___alpha
compute
alpha
Cons
1
Name
beta
Art
__compute___beta
compute
beta
Cons
4
Name
gamma
Art
__compute___gamma
compute
gamma
Cons
9
Name
delta
Art
__compute___delta
compute
delta
Nil
DCG, post-edit:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
DCG, post-compute:
compute
xray
compute
xray
x
compute
yellow
compute
yellow
y
compute
zeta
compute
zeta
z
compute
alpha
compute
alpha
a
compute
beta
compute
beta
b
compute
gamma
compute
gamma
c
compute
delta
compute
delta
d
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray
Force(CompCacheHit)
compute
xray