EDITOR

Editor-in-Chief: Rupak Majumdar- Max Planck Institute for Software Systems, Germany

EDITORIAL ADVISORY BOARD

  • Davide Sangiorgi - Alma Mater Studiorum - Università di Bologna, Italy
  • Tim Harris – Amazon, USA
  • Robert Harper - Carnegie Mellon University, USA
  • Andrew Myers - Cornell University, USA
  • Patrick Cousot - ENS, France
  • John Field - Google Inc, USA
  • Anindya Banerjee - IMDEA Software Institute, Spain
  • Philippa Gardner - Imperial College London, UK
  • David Schmidt - Kansas State University, USA
  • Ganesan Ramalingam - Microsoft Research Ltd, USA
  • Matthias Felleisen - Northeastern University, USA
  • Jan Vitek - Northeastern University, USA
  • David Walker - Princeton University, USA
  • Scott Stoller - Stony Brook University, USA
  • Hanne Riis Nielson - Technical University of Denmark, Denmark
  • Mooly Sagiv - Tel Aviv University, Israel
  • Cormac Flanagan - UC Santa Cruz, USA
  • Peter O'Hearn - University College London, UK
  • Martín Abadi - University of California Santa Cruz, USA
  • Andrew Pitts - University of Cambridge, UK
  • Peter Sewell - University of Cambridge, UK
  • Fritz Henglein - University of Copenhagen, Denmark
  • Andrew Gordon - University of Edinburgh, UK
  • Philip Wadler - University of Edinburgh, UK
  • J. Eliot B. Moss - University of Massachusetts Amherst, USA
  • Peter Stuckey - University of Melbourne, Australia
  • Oege De Moor - University of Oxford, UK
  • Benjamin Pierce - University of Pennsylvania, USA
  • Stephanie Weirich - University of Pennsylvania, USA
  • Kenneth McMillan - University of Texas at Austin, USA
  • Dan Grossman - University of Washington, USA
  • Publisher

    Daniel Kielty dkielty@emerald.com