summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-08-07 18:30:55 +1000
committerCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-08-07 18:30:55 +1000
commit35d53c78a4afd739d1246db486f2703e44590eda (patch)
treedc0be421fc6974c4509e786482ac434dc082949b
parent59fb7d23578c4da14f9c14cc413090b1af13328c (diff)
Initial thesis stuff. No content, though.
-rw-r--r--tex/thesis/Makefile8
-rw-r--r--tex/thesis/main.tex31
-rw-r--r--tex/thesis/references.bib137
3 files changed, 176 insertions, 0 deletions
diff --git a/tex/thesis/Makefile b/tex/thesis/Makefile
new file mode 100644
index 0000000..66eb399
--- /dev/null
+++ b/tex/thesis/Makefile
@@ -0,0 +1,8 @@
+all:
+ pdflatex main.tex
+ bibtex main
+ pdflatex main.tex
+ pdflatex main.tex
+
+clean:
+ rm -f *.bbl *.aux *.blg *.log *.pdf *.out
diff --git a/tex/thesis/main.tex b/tex/thesis/main.tex
new file mode 100644
index 0000000..5116e89
--- /dev/null
+++ b/tex/thesis/main.tex
@@ -0,0 +1,31 @@
+\documentclass{paper}
+
+\title{Implementing and Evaluating a Strategy-iteration Based Static Analyzer within the LLVM-framework}
+\author{Carlo Zancanaro \\ {\tt czan8762@uni.sydney.edu.au}}
+
+\begin{document}
+
+\maketitle
+
+\abstract{Something}
+
+\section{Introduction}
+
+\section{Previous Work}
+\subsection{Fixpoint Iteration}
+\subsection{Policy Iteration}
+
+\section{Theory}
+
+\section{Implementation}
+
+\section{Experimentation}
+
+\section{Conclusion}
+
+something \cite{DBLP:tr/trier/MI96-11}
+
+\bibliographystyle{abbrv}
+\bibliography{references.bib}
+
+\end{document}
diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib
new file mode 100644
index 0000000..d03c67a
--- /dev/null
+++ b/tex/thesis/references.bib
@@ -0,0 +1,137 @@
+@article{DBLP:tr/trier/MI96-11,
+ author = {Christian Fecht and
+ Helmut Seidl},
+ title = {An Even Faster Solver for General Systems of Equations},
+ journal = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht},
+ volume = {96-11},
+ year = {1996},
+ bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@inproceedings{CousotCousot77-1,
+ author = {Cousot, P{.} and Cousot, R{.}},
+ title = {Abstract interpretation: a unified lattice model for static
+ analysis of programs by construction or approximation of
+ fixpoints},
+ pages = {238--252},
+ booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT
+ Symposium on Principles of Programming Languages},
+ address = {Los Angeles, California},
+ publisher = {ACM Press, New York, NY},
+ year = 1977,
+}
+@article{mine:hosc06,
+ author = {Min\'e, A{.}},
+ title = {The Octagon Abstract Domain},
+ journal = {Higher-Order and Symbolic Computation},
+ editor = {O. Danvy},
+ publisher = {Springer},
+ year = {2006},
+ volume = {19},
+ number = {1},
+ pages = {31--100},
+ note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}}
+}
+@inproceedings{mine:padoII,
+ author = {Min\'e, A{.}},
+ title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices},
+ booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)},
+ series = {Lecture Notes in Computer Science},
+ year = {2001},
+ month = {May},
+ pages = {155--172},
+ volume = {2053},
+ publisher = {Springer},
+ location = {Aarhus, Danemark},
+ note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}}
+}
+@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05,
+ author = {Sriram Sankaranarayanan and
+ Henny B. Sipma and
+ Zohar Manna},
+ title = {Scalable Analysis of Linear Systems Using Mathematical Programming},
+ booktitle = {VMCAI},
+ year = {2005},
+ pages = {25-41},
+ ee = {http://dx.doi.org/10.1007/978-3-540-30579-8_2},
+ bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@inproceedings{Dor:2001:CCS:647170.718291,
+ author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel},
+ title = {Cleanness Checking of String Manipulations in C Programs via
+ Integer Analysis},
+ booktitle = {Proceedings of the 8th International Symposium on Static
+ Analysis},
+ series = {SAS '01},
+ year = {2001},
+ isbn = {3-540-42314-1},
+ pages = {194--212},
+ numpages = {19},
+ url = {http://dl.acm.org/citation.cfm?id=647170.718291},
+ acmid = {718291},
+ publisher = {Springer-Verlag},
+ address = {London, UK, UK},
+}
+@INPROCEEDINGS{Yovine98modelchecking,
+ author = {Sergio Yovine},
+ title = {Model checking timed automata},
+ booktitle = {In European Educational Forum: School on Embedded
+ Systems},
+ year = {1998},
+ pages = {114--152},
+ publisher = {Springer-Verlag}
+}
+@inproceedings{Gawlitza:2007:PFC:1762174.1762203,
+ author = {Gawlitza, Thomas and Seidl, Helmut},
+ title = {Precise fixpoint computation through strategy iteration},
+ booktitle = {Proceedings of the 16th European conference on Programming},
+ series = {ESOP'07},
+ year = {2007},
+ isbn = {978-3-540-71314-2},
+ location = {Braga, Portugal},
+ pages = {300--315},
+ numpages = {16},
+ url = {http://dl.acm.org/citation.cfm?id=1762174.1762203},
+ acmid = {1762203},
+ publisher = {Springer-Verlag},
+ address = {Berlin, Heidelberg},
+}
+@article{tarski,
+ author = {Tarski, Alfred},
+ title = {A lattice-theoretical fixpoint theorem and its
+ applications.},
+ year = {1955}
+}
+@incollection {springerlink,
+ author = {Christensen, Aske and Mø, Anders and Schwartzbach, Michael},
+ affiliation = {BRICS Denmark},
+ title = {Precise Analysis of String Expressions},
+ booktitle = {Static Analysis},
+ series = {Lecture Notes in Computer Science},
+ editor = {Cousot, Radhia},
+ publisher = {Springer Berlin / Heidelberg},
+ isbn = {978-3-540-40325-8},
+ keyword = {Computer Science},
+ pages = {1076-1076},
+ volume = {2694},
+ year = {2003}
+}
+% http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
+@InProceedings{Gustafsson:WCET2010:Benchmarks,
+ author = {Jan Gustafsson and Adam Betts and Andreas Ermedahl and Bj{\"{o}}rn Lisper},
+ title = {The {M{\"a}lardalen} {WCET} Benchmarks -- Past, Present and Future},
+ booktitle = WCET2010,
+ OPTcrossref = {},
+ OPTkey = {},
+ pages = {137--147},
+ year = {2010},
+ editor = {Bj{\"o}rn Lisper},
+ OPTvolume = {},
+ OPTnumber = {},
+ OPTseries = {},
+ address = {Brussels, Belgium},
+ month = jul,
+ OPTorganization = {},
+ publisher = {OCG},
+ OPTnote = {},
+ OPTannote = {}
+} \ No newline at end of file