27. – 30. August 2017, Dagstuhl-Seminar 17352
Letzte Aktualisierung: 07. Februar 2018

Analysis and Synthesis of Floating-point Programs

Participants

  • Erika Abraham (RWTH Aachen, DE) [dblp]
  • George A. Constantinides (Imperial College London, GB) [dblp]
  • Nasrine Damouche (University of Perpignan, FR) [dblp]
  • Eva Darulova (MPI-SWS – Saarbrücken, DE) [dblp]
  • James W. Demmel (University of California – Berkeley, US) [dblp]
  • Anthony Di Franco (University of California – Davis, US) [dblp]
  • Alastair F. Donaldson (Imperial College London, GB) [dblp]
  • Theo Drane (Cadence Design Systems – Bracknell, GB) [dblp]
  • Sam Elliott (Imagination Technologies – Kings Langley, GB) [dblp]
  • Ganesh L. Gopalakrishnan (University of Utah – Salt Lake City, US) [dblp]
  • Hui Guo (University of California – Davis, US) [dblp]
  • Jeffrey K. Hollingsworth (University of Maryland – College Park, US) [dblp]
  • Miriam Leeser (Northeastern University – Boston, US) [dblp]
  • Daniel Liew (Imperial College London, GB) [dblp]
  • Piotr Luszczek (University of Tennessee – Knoxville, US) [dblp]
  • Victor Magron (VERIMAG – Grenoble, FR) [dblp]
  • Matthieu Martel (University of Perpignan, FR) [dblp]
  • Guillaume Melquiond (INRIA – Gif-sur-Yvette, FR) [dblp]
  • David Monniaux (Université Grenoble Alpes – Saint-Martin-d'Hères, FR) [dblp]
  • Magnus Myreen (Chalmers University of Technology – Göteborg, SE) [dblp]
  • Santosh Nagarakatte (Rutgers University – Piscataway, US) [dblp]
  • Pavel Panchekha (University of Washington – Seattle, US) [dblp]
  • Sylvie Putot (Ecole Polytechnique – Palaiseau, FR) [dblp]
  • Zvonimir Rakamaric (University of Utah – Salt Lake City, US) [dblp]
  • Nathalie Revol (ENS – Lyon, FR) [dblp]
  • Cindy Rubio-Gonzalez (University of California – Davis, US) [dblp]
  • Daniel Schemmel (RWTH Aachen, DE) [dblp]
  • Oscar Soria Dustmann (RWTH Aachen, DE) [dblp]
  • Zachary Tatlock (University of Washington – Seattle, US) [dblp]
  • Michela Taufer (University of Delaware – Newark, US) [dblp]
  • Laura Titolo (National Institute of Aerospace – Hampton, US) [dblp]
  • Thomas Wahl (Northeastern University – Boston, US) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner