Macros

% COMMON MACROS FOR THE THESIS
% For \xspace command.
\usepackage{xspace}

\newcommand \COMMENT  [1] {}       % comment out the contents

\newcommand{\thesisDate}{August,~2013}

\newcommand{\KocUniversity}{Koç~University}
\newcommand{\IstanbulTurkey}{İstanbul,~Turkey}

\newcommand{\tri}{\i{}}
\newcommand{\trI}{\.{I}}
\newcommand{\trs}{\c{s}}
\newcommand{\trc}{\c{c}}
\newcommand{\trg}{\v{g}}
\newcommand{\tro}{\"{o}}
\newcommand{\tru}{\"{u}}
\newcommand{\trU}{\"{U}}
\newcommand{\trC}{\c{C}}
\newcommand{\trO}{\"{O}}

\newcommand{\tmark}{{\footnotesize $^{\circledR}$}}

\newcommand{\phd}{Ph.D.\xspace}
\newcommand \event {\ensuremath{e}\xspace}
\newcommand \trace {\ensuremath{\tau}\xspace}
\newcommand \KUDA {{\sc Kuda}\xspace}
\newcommand \FRAMESIZE {{\sc FrameSize}\xspace}

\newcommand{\intel}{Intel\tmark\xspace}
\newcommand{\pentium}{Pentium\tmark\xspace}
\newcommand{\microsoft}{Microsoft\tmark\xspace}

\newcommand{\msresearch}{\microsoft~Research\xspace}
\newcommand{\msrc}{Multicore Software Engineering Research Center\xspace}

\newcommand{\multisettxt}{\mbox{Multiset}\xspace}
\newcommand{\multisetTxt}{\mbox{Multiset}\xspace}
\newcommand{\binarytreetxt}{\mbox{BinaryTree}\xspace}
\newcommand{\boxwoodtxt}{\mbox{Boxwood}\xspace}
\newcommand{\blinktreetxt}{\mbox{BLinkTree}\xspace}
\newcommand{\allocatortxt}{\mbox{Chunk~Manager}\xspace}
\newcommand{\allocator}{\allocatortxt}
\newcommand{\cachetxt}{Cache\xspace}
\newcommand{\cache}{\cachetxt}
\newcommand{\code}[1]{\texttt{#1}\xspace}
\newcommand{\define}[1]{\mbox{\emph{#1}}\xspace}
\newcommand{\IOref}{\mbox{I/O-refinement}\xspace}
\newcommand{\Vref}{\mbox{view-refinement}\xspace}
\newcommand{\VRef}{\mbox{View-refinement}\xspace}
\newcommand{\Aref}{\mbox{$\ActVis$-refinement}\xspace}

\newcommand{\vm}{VM\xspace}
\newcommand{\TLA}{TLA\xspace}
\newcommand{\TLAplus}{TLA+\xspace}
\newcommand{\jpf}{JPF\xspace}
\newcommand{\verisoft}{Verisoft\xspace}
\newcommand{\concurrentjava}{\mbox{CONCURRENT~JAVA}\xspace}
\newcommand{\spinmc}{SPIN\xspace}

\newcommand{\undecidable}{undecidable\xspace}
\newcommand{\npcomplete}{\mbox{NP-\-complete}\xspace}

\newcommand{\sat}{\textsf{SAT}\xspace}
\newcommand{\smt}{\textsf{SMT}\xspace}

\newcommand{\eclipse}{\mbox{Eclipse}\xspace}

\newcommand{\C}{\textsf{C}\xspace}
\newcommand{\Csharp}{\textsf{\mbox{C\#}}\xspace}
\newcommand{\dotnet}{\mbox{.Net}\xspace}
\newcommand{\asml}{\mbox{AsmL}\xspace}
\newcommand{\java}{\mbox{Java}\xspace}
\newcommand{\jvm}{\mbox{JVM}\xspace}
\newcommand{\Cplus}{\mbox{C{\small ++}}\xspace}
\newcommand{\eraser}{{\sc Eraser}\xspace}
\newcommand{\Eraser}{{\sc Eraser}\xspace}
\newcommand{\goldilocks}{{\sc Gol\-dilocks}\xspace}
\newcommand{\Goldilocks}{{\sc Gol\-dilocks}\xspace}
\newcommand{\Fasttrack}{{\sc FastTrack}\xspace}
\newcommand{\Djitplus}{\mbox{{\sc DJIT}$^+$}\xspace}