smartphone web browser / type checking algorithm / synchronous systems / classes infrastructure / audio processing activity / signal processing / Web service / audio processing / technological solutions / usual algorithm / energy / algebraic reconstruction algorithm / digital signal processing teaching / classic type inference algorithm / audio signal processing / digital signal processing specifications / type inference algorithm / signal processor / type systems / static type systems / usual type inference algorithm / /
NaturalFeature
Audio Stream / /
Organization
US Federal Reserve / /
Person
Thomas Sturm / Karim Barkati / Frédéric Boniol / Guido Tack / Christian Motika / Christian Schulte / Joaquin Aguado / Andreas Dolzmann / Jean-Christophe Le Lann / Pierre Jouvelot / Claire Pagetti / Olivier Tardieu / Stephane Letz / Mikael Lagerkvist / Luis Damas / Thomas Bouton / Jens Brandt / Michael Mendler / Rémy Wyss / Aaron Stump / Sandeep K. Shukla / Vijay Saraswat / Jérôme Vouillon / Robin Milner / Patrick Cousot / Dominique Fober / Bjorn Duderstadt / Andrey Rybalchenko / David Déharbe / Diego Caminha B. de Oliveira / Ming Kawaguchi / Pascal Fontaine / Kenneth L. McMillan / Patrick M. Rondon / Insa Fuhrmann / Cesare Tinelli / Paul Le Guernic / Nathaniel Nystrom / Igor Peshansky / Niki Vazou / Klaus Schneider / Reinhard von Hanxleden / Julien Forget / Mike Gemünde / Clark Barrett / Ranjit Jhala / Stephen Mercer / Nikolaj Bjorner / Jean-Pierre Talpin / Faust My / Andrew D. Gordon / /
Position
General scientific contributions Currently / Faustine interpreter / la Messelière1 PhD advisor / interpreter / forward for Faust / Jouvelot1 PhD co-advisor / General scientific contributions / official / /
ProgrammingLanguage
C++ / /
Technology
algebraic reconstruction algorithm / smartphone / Hindley-Milner algorithm / type inference algorithm / usual algorithm / 2.1 Main algorithm / signal processor / classic type inference algorithm / usual type inference algorithm / type checking algorithm / FEEVER technologies / DSP / /
Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2