|
|
FEEVER Papers
The ANR FEEVER project has led to the following books, journal articles, conference and workshop papers, seminar slides and technical reports.
2017:
- Stéphane Letz, Yann Orlarey, Dominique Fober, Romain Michon. Polyphony, sample-accurate control and MIDI support for Faust DSP using combinable architecture files. Linux Audio Conference, St-Etienne (France), May 18;
- Pierre-Amaury Grumiaux, Romain Michon, Emilio Gallego Arias, Pierre Jouvelot. Impulse-Response and CAD-Model-Based Physical Modeling in Faust (short paper, poster). Linux Audio Conference, St-Etienne (France), May 18;
- Thomas Cipierre. Rapport interne de réalisation. CIEREC Technical Report, St-Etienne (France), April 30;
- Benoit Pin, Pierre Jouvelot. Etude WCET de programmes Faust avec a3. MINES ParisTech Technical Report 420, Fontainebleau (France), April 29;
- Laurent Pottier (Ed). Innovative tools and methods for teaching music and signal processing. Presses des mines (France), 222 pages, April.
2016:
- Emilio Gallego Arias (with Pierre Jouvelot). Towards Certified Audio Processing (slides). Synchron Workshop, Bamberg (Germany), Decembre 5;
- Emilio Gallego Arias, Benoit Pin, Pierre Jouvelot. JsCoq: Towards Hybrid Theorem Proving Interfaces (slides). Journées GDR LTP, Orsay (France), November 28.
- Pierre Jouvelot, Yann Orlarey, Laurent Pottier, Jean-Pierre Talpin. FEEVER - Faust Environment Everyware (and poster). Les rencontres du numérique de l'ANR, Paris (France), November 16;
- Yann Orlarey, Pierre Jouvelot. Signal Rate Inference for Multi-dimensional Faust (and slides). 28th Symposium on Implementation and Applications of Functional Languages, Leuven (Belgium), August 31;
- Laurent Pottier. Notes de cours Faust (licence et master). St-Etienne (France);
- Emilio Gallego Arias, Benoit Pin, Pierre Jouvelot. jsCoq: Towards Hybrid Theorem Proving Interfaces. 12th International Workshop on User Interfaces for Theorem Provers, Coimbra (Portugal), July 2;
- Yann Orlary, Pierre Jouvelot. Signal Rate Inference for Multi-dimensional Faust. MINES ParisTech Technical Report 394, Fontainebleau (France), May 30;
- Emilio Gallego Arias (with Pierre Jouvelot). Experiments in Certified Audio Processing (slides). Inria SpecFun Seminar, Palaiseau (France), April 11;
- Lauent Pottier. Un clavier maître sophistiqué MIDI dans Max. Journées d'informatique musicale, Albi (France), March 31;
- Pierre-Adrien Théo. TouchVoices : un exemple d'utilisation du web comme outil d'interaction et de développement multi-plateforme. Journées d'informatique musicale, Albi (France), March 31;
-
Sarah Denoux, Yann Orlarey, Stéphane Letz, Dominique Fober. Calcul d'une expression Faust équivalente à partir d'un graphe d'applications. Journées d'informatique musicale, Albi (France), March 31.
2015:
- Emilio Gallego Arias, Pierre Jouvelot. Towards Certified Digital Audio Processing (slides). Coq Seminar, Sophia Antipolis (France), November 26;
- Colloque international "Des outils et des méthodes innovantes pour l'enseignement de la musique et du traitement du signal", St-Etienne (France), November 2-3:
- Arnaud Spiwack. Circuits via topoi. MINES ParisTech Technical Report 382, Fontainebleau (France), September 30;
- Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards Refinement Types for Time-Dependent Data-FlowNetworks. ACM/IEEE MEMOCODE Conference, Austin (USA), September 21;
- Emilio Gallego Arias, Pierre Jouvelot. Adventures in the (not so) Complex Space (and slides). The 7th Coq Workshop, Sophia Antipolis (France), June 26;
- Yann Orlarey. Au fond, c'est quoi un langage de programmation ? (keynote). Journées d'informatique musicale, Montréal (Canada), May 7;
- Thomas Cipierre, Laurent Pottier. Développement multiplateforme et temps-réel d'un clavecin sythétisé par modèles physiques avec Faust. Journées d'informatique musicale, Montréal (Canada), May 7;
- Yann Orlarey. Faust. Journées d'informatique musicale, Montréal (Canada), May 7;
- Stephane Letz, Sarah Denoux, Yann Orlarey, Dominique Fober. Faust audio DSP language in the Web (and slides). Thirteenth Linux Audio Conference, Mainz (Germany), April 9;
- Yann Orlarey. First Faust Open Source Software Competition Award (slides). Thirteenth Linux Audio Conference, Mainz (Germany), April 9;
- Emilio Gallego Arias, Olivier Hermant, Pierre Jouvelot. A Taste of Sound Reasoning in Faust (and slides). Thirteenth Linux Audio Conference, Mainz (Germany), April 9;
- Thomas Cipierre, Laurent Pottier. Web Harpsichord. First Web Audio Conference, Paris (France), January 26;
- Thomas Cipierre, Laurent Pottier. Real-time client-side physical modeling harpsichord. First Web Audio Conference, Paris (France), January 26;
- Sarah Denoux, Yann Orlarey, Stéphane Letz, Dominique Fober. Composing a Web of Audio Applications. First Web Audio Conference, Paris (France), January 26;
- Sarah Denoux, Stéphane Letz, Yann Orlarey, Dominique Fober. <: Composing a Web of Applications Using Faust :> (poster). First Web Audio Conference, Paris (France), January 26;
- Emilio Gallego Arias. Can WebAudio Be Liberated from the Von Neumann Style? (javascript presentation, with source). First Web Audio Conference, Paris (France), January 26;
- Emilio Gallego Arias, Olivier Hermant, Pierre Jouvelot. Verification of Faust Signal Processing in Coq (and slides, with Arnaud Spiwack). First International Workshop on Coq for PL, Mumbai (India), January 18.
2014:
- Olivier Hermant. A survey of Synchronous Programming Languages for Faust. MINES ParisTech technical report, Fontainebleau (France), December 19;
- Luc Faure, Laurent Pottier. Clavecin audionumérique réalisé en synthèse par modèle physique (poster). Journées de musiques anciennes, Vanves (France), November 21;
- Thomas Cipierre, Luc Faure, Stéphane Letz, Laurent Pottier. Faust : contrôle et DSP sur le Web. Revue francophone d'informatique musicale, October;
- Laurent Pottier. Presentation of John Chowning's Turenas live performance (slides). Stanford (USA), October 26;
- Yann Orlarey, Dominique Fober, Stéphane Letz, Albert Gräf, Pierre Jouvelot. A Rationale for Faust Design Decisions (and slides). DSLDI Workshop, Portland (USA), October 20;
- FEEVER'14 Meeting, Lyon (France), October 10:
- Luc Faure, Laurent Pottier. Clavecin virtuel (screen shots). CIEREC Technical Report, St-Etienne (France), September 19;
- Pierre Jouvelot. Dependent Typing for Multirate Faust (slides). INRIA Deducteam Seminar, Paris (France), September 19;
- Stéphane Letz, Sarah Denoux, Yann Orlarey. Audio rendering/processing and control ubiquity? A solution built using Faust dynamic compiler and JACK/NetJack. Joint ICMC/SMC International Conference, Athens (France), September 17;
- Imré Frotier de la Messelière, Pierre Jouvelot, Jean-Pierre Talpin. A Constraint-Solving Approach to Faust Program Type Checking (and slides). Constraint Programming Meets Verification Workshop, Lyon (France), September 8;
- Charlotte Truchet, Julie Laniau, Yann Orlarey. Avoiding Saturation in Sound Processes with CP. Constraint Programming Meets Verification Workshop, Lyon (France), September 8;
- Haisheng Wang, Karim Barkati, Pierre Jouvelot. Faustine: A Vector Faust Interpreter Test Bed for Multimedia Processing. Twelfth International FLOPS Conference, Tokyo (Japan), June 4;
- Sarah Denoux, Stéphane Letz, Yann Orlarey. FAUSTLIVE - un compilateur à la volée pour Faust ... et bien plus encore (recipient of the 2014 Young Research Award from AFIM). Journées d'informatique musicale, Bourges (France), May 21;
- Sarah Denoux, Stephane Letz, Yann Orlarey, Dominique Fober. FAUSTLIVE Just-In-Time Faust Compiler... and much more . Twelfth LAC Conference, Karlsruhe (Germany), May 1;
- Yann Orlarey, Stéphane Letz, Sarah Denoux. Compiling Faust Programs (slides). Journée Streaming, Lyon (France), April 14;
- Laurent Pottier. Projet Clavecin-Audio. CIEREC Technical Report, St-Etienne (France), March 1.
2013:
|
|
