GitHub - dcdelia/PhD-Thesis

Name		Name	Last commit message	Last commit date
Latest commit History 233 Commits
bibliography		bibliography
figures		figures
gnuplot		gnuplot
abstract.tex		abstract.tex
authors.tex		authors.tex
buildcomp-llvm.tex		buildcomp-llvm.tex
case-studies.tex		case-studies.tex
case-study-debugging.tex		case-study-debugging.tex
case-study-kblpp.tex		case-study-kblpp.tex
case-study-mcvm.tex		case-study-mcvm.tex
conclusions.tex		conclusions.tex
continuous-opt.tex		continuous-opt.tex
experiments.tex		experiments.tex
hcct-evaluation.tex		hcct-evaluation.tex
hcct.tex		hcct.tex
header.tex		header.tex
introduction.tex		introduction.tex
kblpp-evaluation.tex		kblpp-evaluation.tex
kblpp.tex		kblpp.tex
layout.md		layout.md
osr-composition.tex		osr-composition.tex
osr-correctness-related.tex		osr-correctness-related.tex
osr-correctness.tex		osr-correctness.tex
osr-evaluation.tex		osr-evaluation.tex
osr-language-reasoning.tex		osr-language-reasoning.tex
osr-language.tex		osr-language.tex
osr-lve-examples.tex		osr-lve-examples.tex
osr-mapping-correctness.tex		osr-mapping-correctness.tex
osr-mapping.tex		osr-mapping.tex
osr-multiprogram.tex		osr-multiprogram.tex
osrkit.tex		osrkit.tex
perf-profiling.tex		perf-profiling.tex
sapienza-MLred-pos.pdf		sapienza-MLred-pos.pdf
sapthesis.cls		sapthesis.cls
state-of-art.tex		state-of-art.tex
thesis-as-defended.pdf		thesis-as-defended.pdf
thesis-for-reviewers.pdf		thesis-for-reviewers.pdf
thesis.tex		thesis.tex
title.tex		title.tex