\begin{editorialboard}

\subsection{Editor-in-Chief}

\journalchiefeditor{Rupak Majumdari}{Max Planck Institute for Software Systems}


\subsection{Editors}
\begin{multicols*}{3}\raggedcolumns
\journaleditor{Mart\'in Abadi}{Google and UC Santa Cruz}
\journaleditor{Anindya Banerjee}{IMDEA Software Instituet}
\journaleditor{Patrick Cousot}{ENS, Paris and NYU}
\journaleditor{Oege De Moor}{University of Oxford}
\journaleditor{Matthias Felleisen}{Northeastern University}
\journaleditor{John Field}{Google}
\journaleditor{Cormac Flanagan}{UC Santa Cruz}
\journaleditor{Philippa Gardner}{Imperial College}
\journaleditor{Andrew Gordon}{Microsoft Research and University of Edinburgh}
\journaleditor{Dan Grossman}{University of Washington}
\journaleditor{Robert Harper}{CMU}
\journaleditor{Tim Harris}{Amazon}
\journaleditor{Fritz Henglein}{University of Copenhagen}
\journaleditor{Rupak Majumdar}{MPI and UCLA}
\journaleditor{Kenneth McMillan}{Microsoft Research}
\journaleditor{J. Eliot B. Moss}{University of Massachusetts, Amherst}
\journaleditor{Andrew C. Myers}{Cornell University}
\journaleditor{Hanne Riis Nielson}{Technical University of Denmark}
\journaleditor{Peter O'Hearni}{University College London}
\journaleditor{Benjamin C. Pierce}{University of Pennsylvania}
\journaleditor{Andrew Pittsi}{University of Cambridge}
\journaleditor{Ganesan Ramalingami}{Microsoft Research}
\journaleditor{Mooly Sagiv}{Tel Aviv University}
\journaleditor{Davide Sangiorgi}{University of Bologna}
\journaleditor{David Schmidt}{Kansas State University}
\journaleditor{Peter Sewell}{University of Cambridge}
\journaleditor{Scott Stoller}{Stony Brook University}
\journaleditor{Peter Stuckey}{University of Melbourne}
\journaleditor{Jan Vitek}{Northeastern University}
\journaleditor{Philip Wadler}{University of Edinburgh}
\journaleditor{David Walker}{Princeton University}
\journaleditor{Stephanie Weiric}{University of Pennsylvania}
\end{multicols*}
\end{editorialboard} 