isl was written by Sven Verdoolaege 2006-2007 Leiden Institute of Advanced Computer Science Universiteit Leiden Niels Bohrweg 1 2333 CA Leiden The Netherlands 2008-2009 K.U.Leuven Departement Computerwetenschappen Celestijnenlaan 200A B-3001 Leuven Belgium 2010-2011 INRIA Saclay - Ile-de-France Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod 91893 Orsay France 2011-2012 consultant for Leiden Institute of Advanced Computer Science 2012-2014 Ecole Normale Superieure 45 rue d'Ulm, 75230 Paris France 2014 INRIA Rocquencourt Domaine de Voluceau - Rocquencourt, B.P. 105 78153 Le Chesnay France Contributions by Mythri Alle Riyadh Baghdadi Serge Belyshev Ray Donnelly Johannes Doerfert Tobias Grosser Alexandre Isoard Andreas Kloeckner Sebastian Pop Louis-Noel Pouchet Uday Kumar Reddy Sven van Haastregt The merge sort implementation was written by Jeffrey Stedfast.