summaryrefslogtreecommitdiff
path: root/tex
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@carlo-laptop>2012-05-17 01:59:36 +1000
committerCarlo Zancanaro <carlo@carlo-laptop>2012-05-17 01:59:36 +1000
commit90e79df7cd4e89e5ed703682aa20bbf920d719ff (patch)
tree517156c74befa19ac080039c7b4371807a9b0f21 /tex
parent12b86dc91316a5591c22160a9312e62c77a65b2f (diff)
Beginning of Lit Review stuff.
Diffstat (limited to 'tex')
-rw-r--r--tex/lit-review/Makefile8
-rw-r--r--tex/lit-review/main.tex41
-rw-r--r--tex/lit-review/references.bib58
3 files changed, 107 insertions, 0 deletions
diff --git a/tex/lit-review/Makefile b/tex/lit-review/Makefile
new file mode 100644
index 0000000..66eb399
--- /dev/null
+++ b/tex/lit-review/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/lit-review/main.tex b/tex/lit-review/main.tex
new file mode 100644
index 0000000..7135d2c
--- /dev/null
+++ b/tex/lit-review/main.tex
@@ -0,0 +1,41 @@
+\documentclass{article}
+
+\usepackage[a4paper]{geometry}
+\usepackage{hyperref}
+\usepackage{amsmath}
+
+\title{INFO5993 \\ Literature Review}
+\author{Carlo Zancanaro}
+
+\begin{document}
+\maketitle
+
+\section{Introduction}
+
+Static analysis is concerned with detemining as many of a program's
+characteristics as is possible without executing the program itself.
+
+Human error $\rightarrow$ bugs.
+It'd be nice if we can automatically test for bugs.
+Static analysis!
+
+
+\section{Abstract Interpretation}
+Came from: \cite{CousotCousot77-1}.
+\subsection{General Framework}
+More in detail about \cite{CousotCousot77-1}.
+\subsection{Abstract Domains}
+Difference-bound matrices \cite{mine:padoII}
+
+Octagon domain \cite{mine:hosc06}
+
+\section{Fixpoints}
+Other test citation: \cite{DBLP:tr/trier/MI96-11}
+
+\section{Strategy Improvement}
+
+\section{Conclusion}
+
+\bibliographystyle{abbrv}
+\bibliography{references.bib}
+\end{document}
diff --git a/tex/lit-review/references.bib b/tex/lit-review/references.bib
new file mode 100644
index 0000000..c21a7b8
--- /dev/null
+++ b/tex/lit-review/references.bib
@@ -0,0 +1,58 @@
+@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},
+ crossref = {DBLP:conf/vmcai/2005},
+ bibsource = {DBLP, http://dblp.uni-trier.de}
+}