Changeset f343c6b for doc/theses/aaron_moss_PhD/phd/evaluation

Timestamp:

Apr 25, 2019, 2:43:23 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

98b4b12

Parents:

ffaedcd (diff), 69c37cc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge remote-tracking branch 'origin/aaron-thesis'

Location:

doc/theses/aaron_moss_PhD/phd/evaluation

Files:

• algo-summary.dat (modified) (1 diff)
• algo-summary.gp (modified) (1 diff)
• cfa-plots.gp (modified) (2 diffs)
• per-prob-scatter.gp (modified) (1 diff)

doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat

@@ -18 +18 @@
 "\\textsc{co-dca-inc}"  101     50      2824    2
 "\\textsc{co-dca-per}"  103     12      1339    2
+"\\textsc{td-imm-bas}"  64      125     2620    3
+"\\textsc{td-imm-inc}"  62      322     2717    3
 "\\textsc{td-def-bas}"  67      18      189     3
 "\\textsc{td-def-inc}"  66      40      263     3
-"\\textsc{td-imm-bas}"  64      125     2620    3
-"\\textsc{td-imm-inc}"  62      322     2717    3
 "\\textsc{td-dca-bas}"  67      18      191     3
 "\\textsc{td-dca-inc}"  66      40      258     3

doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp

@@ -48 +48 @@
 set yrange [0:80]
 
-set label "125" at 20.25,82
-set label "322" at 21.75,82
+set label "125" at 18.25,82
+set label "322" at 19.75,82
 plot 'evaluation/algo-summary.dat' using ($5 == 1 ? $3 : 1/0):xtic(1) with boxes, \
         '' using ($5 == 2 ? $3 : 1/0):xtic(1) with boxes, \

doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp

@@ -6 +6 @@
 set output BUILD."cfa-time.tex"
 
-set xlabel "\\textsc{cfa-co} runtime (ms)"
-set ylabel "runtime (ms)"
+set xlabel "\\textsc{cfa-co} runtime (s)"
+set ylabel "runtime (s)"
 set logscale xy
 set key outside
 
-plot for [i=2:6] 'evaluation/cfa-time.tsv' using 2:i title columnheader
+plot for [i=2:5] 'evaluation/cfa-time.tsv' using 2:i title columnheader
 
 # MEMORY #
@@ -18 +18 @@
 set ylabel "peak memory (MB)"
 
-plot for [i=2:6] 'evaluation/cfa-mem-by-time.tsv' using 7:(column(i)/1000) title columnheader
+plot for [i=2:5] 'evaluation/cfa-mem-by-time.tsv' using 7:(column(i)/1000) title columnheader
+
+# SPEEDUP #
+set output BUILD."cfa-speedup.tex"
+
+set ylabel "speedup w.r.t. baseline"
+unset logscale y
+
+plot 'evaluation/cfa-time.tsv' using 2:(column(2)/column(2)) title 'baseline', \
+     '' using 2:(column(2)/column(3)) title columnheader, \
+         '' using 2:(column(3)/column(4)) title 'inter-round', \
+         '' using 2:(column(4)/column(5)) title columnheader
 
 # # RUNTIME SPEEDUP #

doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp

@@ -42 +42 @@
 set output BUILD."per-prob-assns.tex"
 
-set xlabel "assertions resolved"
+set xlabel "assertions satisfied"
 
 plot for [i=1:words(tests)] 'evaluation/per_prob/'.word(tests, i).'-per-prob.csv' using 6:(column(7)/1000) title word(tests, i)