Homepage of Sven Stork

Welcome

Currently I am a Software Engineering PhD. student in the CMU|Portugal Program. In Carnegie Mellon University I am affiliated with Institute for Software Research under supervision of Dr. Jonathan Aldrich. In University of Coimbra I am affiliated with the Software and Systems Engineering Group under supervision of Dr. Paulo Marques.

I received my Diploma in Computer Engineering at the Computer Architecture Group of University of Mannheim (now associated with University of Heidelberg).

Citations

“Hell, there are no rules here - we're trying to accomplish something.”

-- Thomas A. Edison

“Perfection is not reached when there is nothing more to add, but when there is nothing more to take away.”

-- Antoine de Saint Exupery

“Experience is simply the name we give our mistakes.”

-- Oscar Wilde

“If you can't explain it simply, you don't understand it well enough.”

-- Albert Einstein

“What we fear doing most is usually what we most need to do.”

-- Timothy Ferriss

“If debugging is the process of removing bugs, then programming must be the process of putting them in.”

-- Edsger Dijkstra

“Computers are useless. They can only give you answers.”

-- Pablo Picasso

“Every person I meet is in a way superior to me and in that I can learn from them.”

-- Ralf Waldo Emerson

“A pessimist sees the difficulty in every opportunity; an optimist sees the opportunity in every difficulty.”

-- Winston Churchill

“Wealth is not his that has it, but his that enjoys it.”

-- Benjamin Franklin

Tips & Tricks

Latex

How to define new math symbols or short cuts for the Latex math mode?
How to draw several blocks on top of each other in Latex beamer?
How to convert PDF to PS with T1 fonts?

How to define new math symbols or short cuts for the Latex math mode?

The Latex package semantic provides a command called \mathlig which can be used to define new symbols/short cuts. Below is a small collection of some very useful symbols (at least for me):

\mathlig{->}{\to}
\mathlig{|->}{\mapsto}
\mathlig{|=>}{\Mapsto}
\mathlig{=>}{\Rightarrow}
\mathlig{|-}{\vdash}
\mathlig{~>}{\leadsto}
\mathlig{=/=}{\neq}

How to draw several blocks on top of each other in Latex beamer?

You can use \vspace{} command to move the blocks up. But if you have more than two blocks you do not know the height of each block. Therefore instead of moving boxes vertical, you can move the horizontal by using the coloumns environment provided by the beamer package. You set the column width to the \textwidth and the first column represents the main content. The other columns have all the same height and you can easily position boxes, pictures, ... on those columns and then move them to the left. Below a simple example is shown. You can download the source or the final

\documentclass{beamer}

\usetheme{Darmstadt}

\begin{document}

\begin{frame}
  \frametitle{FrameTitle}

  \begin{columns}[onlytextwidth]
    %% this column contains the main content
    \begin{column}{\textwidth}
      \begin{block}{Title1}
        \begin{itemize}
        \item item1
        \item item2
        \item item3
        \item item4
        \item item5
        \item item6
        \item item7
        \end{itemize}
      \end{block}
    \end{column}
    
    %% this column contains the content next 
    %% to the previous one. Therfore we have to
    %% move all the content to the left 
    \begin{column}{\textwidth}
      %% move block over to the 
      \hspace{-1.01\textwidth}  %% move block to the
      \begin{minipage}{\textwidth}
        \begin{exampleblock}{Title2}<2->
          TODO 
        \end{exampleblock}
      \end{minipage}
    \end{column}
    
    %% How about a rotated box
    \begin{column}{\textwidth}
      %% move block over to the 
      \hspace{-1.9\textwidth}  %% move block to the
      \begin{minipage}{.9\textwidth}
        \rotatebox{15} {
          \begin{minipage}{.9\textwidth}
            \begin{alertblock}{Title2}<3->
              {\huge IMPORTANT } 
            \end{alertblock}
          \end{minipage}
          }
      \end{minipage}
    \end{column}
  \end{columns}
\end{frame}

\end{document}

How to convert PDF to PS with T1 fonts?

Use pdftops instead of pdf2ps.

Java

How to enable parallel garbage collection in Eclipse?

Simply add the following parameters to your eclipse.ini

-XX:+UseParNewGC
-XX:+UseConcMarkSweepGC

Welcome

Citations

Publications

Projects

Tips & Tricks

Resume/CV

Contact