Pierre Wargnier, Samuel Benveniste, Pierre Jouvelot, Anne-Sophie Rigaud. Usability assessment of interaction management support in LOUISE, an ECA-based user interface for elders with cognitive impairment. Technology and Disability, IOS Press, 2018, 30 (3), pp.105-126. ⟨10.3233/TAD-180189⟩. ⟨hal-01939799⟩

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. La preuve de théorèmes pour les masses (soniques). Revue Francophone d'Informatique et Musique, 2018, N°6, 14 p. ⟨hal-01877004⟩

Karel de Vogeleer, Gerard Memmi, Pierre Jouvelot. Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. Sustainable Computing : Informatics and Systems, Elsevier, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩. ⟨hal-01531295⟩

Pierre Jouvelot, Karel de Vogeleer, Gerard Memmi. Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence. Génie Logiciel, 2016, 117, pp 47-59. ⟨hal-01531341⟩

Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt. Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems. Parallel Computing, Elsevier, 2015, 41, pp.66 - 89. ⟨10.1016/j.parco.2014.11.004⟩. ⟨hal-01097328⟩

Karim Barkati, Pierre Jouvelot. Synchronous programming in audio processing. ACM Computing Surveys, Association for Computing Machinery, 2013, 46 (2), pp.24. ⟨10.1145/2543581.2543591⟩. ⟨hal-01540047⟩

Hughes-Jehan Vibert, Pierre Jouvelot, Benoît Pin. Legivoc - connecting law in a changing world. Journal of Open Access to Law, 2013, 1 (1), pp 1-19. ⟨hal-00937740⟩

Samuel Benveniste, Pierre Jouvelot, Benoît Pin, Renaud Péquignot. The MINWii project: Renarcissization of patients suffering from Alzheimer's disease through video game-based music therapy. Science direct, 2012, Vol. 3 (Issue 4), pp.111-120. ⟨10.1016/j.entcom.2011.12.004⟩. ⟨hal-00831327⟩

Pierre Jouvelot, Samuel Benveniste, Mélodie Boulay, Sandra Boespflug, Sandra Rigaud. A Pilot Usability Study of MINWii, a Music Therapy Game for Demented Patients. Technology and Health Care, IOS Press, 2011, Volume 19 (4), pp.233-246. ⟨10.3233/THC-2011-0628⟩. ⟨hal-00628624⟩

Pierre Jouvelot, Yann Orlarey. Dependent vector types for data structuring in multirate Faust. Computer Languages, Systems and Structures, Elsevier, 2011, Volume 37 (Issue 3), pp.113-131. ⟨10.1016/j.cl.2011.03.001⟩. ⟨hal-00628564⟩

Pierre Jouvelot, Yann Orlarey. Dependent Vector Types for Multirate Faust. Proceedings of the Sound and Music Computing Conference, 2010, SMC'10 2010, pp.Pages 345--352. ⟨hal-00628600⟩

Samuel Benveniste, Pierre Jouvelot, Renaud Michel, Edith Lecourt. La Wiimprovisation en musicothérapie analytique de groupe : design participatif avec des enfants atteints de troubles du comportement. Revue française de musicothérapie, 2009, Vol. 29 (No. 3), pp. 17-33. ⟨hal-00829753⟩

Luc Perera, Pierre Jouvelot. Vers une nouvelle approche méthodologique de recherche interdisciplinaire par le design : le projet Tala Sound, une étude de cas en design social. 8° Colloque Santé, May 2019, Marseille, France. ⟨hal-02122249⟩

Damien Brethoux, Jacopo Bronuzzi, Blerina Gkotse, Maurice Glaser, Georgi Gorine, et al.. The CERN Proton Irradiation Facility IRRAD during and after the CERN Long Shutdown 2. 7th Beam Telescopesans Test Beams Workshop, CERN, Jan 2019, Genève, Switzerland. ⟨hal-02054241⟩

Bruno Massoni Sguerra, Pierre Jouvelot. An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfaces. the 27th ACM Conference, Jun 2019, Larnaca, France. pp.78-85, ⟨10.1145/3320435.3320443⟩. ⟨hal-02445970⟩

Blerina Gkotse, Pierre Jouvelot, Federico Ravotti. IEDM, an Ontology for Irradiation Experiment Data Management. ESWC 2019 (European Semantic Web Conference), Jun 2019, Portoroz, Slovenia. ⟨hal-01950879v2⟩

Federico Ravotti, Blerina Gkotse, Maurice Glaser, Isidre Mateu, Viktoria Meskova, et al.. The IRRAD Proton Irradiation Facility Control, Data Management and Beam Diagnostic systems: an outlook of the major upgrades beyond the LHC Long Shutdown 2. 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States. ⟨hal-02436923⟩

Blerina Gkotse, Pierre Jouvelot, Federico Ravotti, Giuseppe Pezzullo. The IRRAD Data Manager (IDM). 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States. ⟨hal-02436878⟩

Blerina Gkotse, Pierre Jouvelot, Federico Ravotti. Automatic Web Application Generation from an Irradiation Experiment Data Management Ontology (IEDM). 17th International Conference on Accelerator and Large Experimental Physics Control Systems, ICALEPCS 2019, Oct 2019, New-York, United States. ⟨hal-02436850⟩

Bruno Sguerra, Amine Benamara, Samuel Benveniste, Pierre Jouvelot. Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHS. IEEE International Conference on Systems, Man, and Cybernetics (SMC2018), Oct 2018, Miyazaki, Japan. pp.1305-1310. ⟨hal-01857859⟩

Bruno Sguerra, Pierre Jouvelot, Samuel Benveniste. Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients. The first International Conference on User Modeling, Adaptation and Personnalization (UMAP 2017), Jul 2017, Bratislava, Slovakia. pp.253-256 ⟨10.1145/3099023.3099052⟩. ⟨hal-01678895⟩

Karel de Vogeleer, Kameswar Rao Vaddina, Florian Brandner, Pierre Jouvelot, Gérard Memmi. Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule. The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10. ⟨hal-01622778⟩

Blerina Gkotse, M. Glaser, Pierre Jouvelot, Emanuele Matli, Giuseppe Pezzullo, et al.. Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use Case. RADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland. ⟨hal-01650131⟩

Pierre-Amaury Grumiaux, Romain Michon, Emilio Jesús Gallego Arias, Pierre Jouvelot. Impulse-Response and CAD-Model-Based Physical Modeling in Faust. Linux Audio Conférence 2017, May 2017, Saint Etienne, France. pp.151-153. ⟨hal-01710232⟩

Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications. 25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6. ⟨hal-01625409v1⟩

Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications. 25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6. ⟨hal-01625409v2⟩

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. jsCoq: Towards Hybrid Theorem Proving Interfaces. 12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩. ⟨hal-01425752v2⟩

Pierre Wargnier, Paul-Emile Fauquet, Samuel Benveniste, Pierre Jouvelot, Anne-Sophie Rigaud, et al.. Rehabilitation of the psychomotor consequences of elderly fallers: A pilot study to evaluate the feasibility and tolerability of virtual reality training using a user-centered designed serious game.. The 10th World Conference of Gerontechnology (ISG 2016), Sep 2016, Nice, France. ⟨10.4017/gt.2016.15.s.714.00⟩. ⟨hal-01410205⟩

Pierre Wargnier, Giovanni Carletti, Yann Laurent-Corniquet, Samuel Benveniste, Pierre Jouvelot, et al.. Field Evaluation with Cognitively-Impaired Older Adults of Attention Management in the Embodied Conversational Agent Louise. 4th International Conference on Serious Games and Applications for Health (IEEE SeGAH 2016) , http://web.ipca.pt/segah2016/index.htm, May 2016, Orlando, United States. pp.1-8. ⟨hal-01266477v2⟩

Karel de Vogeleer, Pierre Jouvelot, Gerard Memmi. Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for Programs . International Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France. ⟨hal-01531505⟩

Yann Orlarey, Pierre Jouvelot. Signal Rate Inference for Multi-Dimensional Faust. The 28th symposium on Implementation and Application of Functional Languages (IFL 2016), Aug 2016, Leuven, Belgium. pp.1:1--1:12, ⟨10.1145/3064899.3064902⟩. ⟨hal-01364119⟩

Pierre Wargnier, Edmond Phuong, Samuel Benveniste, Frédéric Bloch, Gilles Kemoun, et al.. Virtual Promenade : vers le traitement du syndrome post-chute par la réalité virtuelle. Colloque ParaChutes, Télécom SudParis, Evry, Nov 2016, Evry, France. ⟨hal-01431263⟩

Pierre Jouvelot. FEEVER : Faust Environment Everyware Une solution ubiquitaire pour le traitement audionumérique portable et multiplateforme. Les rencontres du numérique de l'ANR, Nov 2016, Paris, France. ⟨hal-01430875⟩

Emilio Jesús Gallego Arias, Pierre Jouvelot. Adventures in the (not so) Complex Space . The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France. ⟨hal-01251147⟩

Dounia Khaldi, Deepak Eachempati, Shiyao Ge, Pierre Jouvelot, Barbara Chapman. A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran. IEEE Cluster 2015, Sep 2015, Chicago, United States. p.448-451, ⟨10.1109/CLUSTER.2015.67⟩. ⟨hal-01251185⟩

Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot. Aligning Legivoc Legal Vocabularies by Crowdsourcing. Language and Semantics Technology for Legal Domain (LST4LD) Workshop, 10th Recent Advances in Natural Processing Conference, Sep 2015, Hissar, Bulgaria. ⟨hal-01251086⟩

Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot. A Taste of Sound Reasoning in Faust. The Linux Audio Conference (LAC 2015) , Johannes Gutenberg University (JGU), Apr 2015, Mainz, Germany. ⟨hal-01251069⟩

Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara Chapman. LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, Nov 2015, Austin, United States. pp.2:1--2:8, ⟨10.1145/2833157.2833158⟩. ⟨hal-01254368⟩

Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot. Verification of Faust Signal Processing Programs in COQ. The 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India. ⟨hal-01108173⟩

Pierre Wargnier, Adrien Malaisé, Julien Jacquemot, Samuel Benveniste, Pierre Jouvelot, et al.. Towards Attention Monitoring of Older Adults with Cognitive Impairment During Interaction with an Embodied Conversational Agent. The Third International Workshop on Virtual and Augmented Assistive Technology (VAAT), Mar 2015, Arles, France. pp 23-28, ⟨10.1109/VAAT.2015.7155406⟩. ⟨hal-01137307⟩

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. ⟨hal-01241806⟩

François Irigoin, Pierre Jouvelot, Rémi Triolet. Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS Project. France. pp.12-14, ⟨10.1145/2591635.2591645⟩. ⟨hal-00984684⟩

Karim Barkati, Haisheng Wang, Pierre Jouvelot. Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing. Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014), Jun 2014, Kanazawa, Japan. pp 69-85, ⟨10.1007/978-3-319-07151-0_5⟩. ⟨hal-00959351⟩

Imré Frotier de la Messelière, Pierre Jouvelot, Jean-Pierre Talpin. A constraint-solving approach to Faust program type checking. Constraint Programming meets Verification, The 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. ⟨hal-01094998⟩

Karel de Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho. Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩. ⟨hal-01111647⟩

Karel de Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho. The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. Workshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩. ⟨hal-00919414⟩

Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension. 17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France. ⟨hal-00823324⟩

Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension. HiPEAC Computing Systems Week, May 2013, Paris, France. ⟨hal-00828744⟩

Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension. 6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France. ⟨hal-00828772⟩

Philippe Lopes, Samuel Benveniste, Maribel Pino, Céline Stefanucci, Georges Pisica-Donose, et al.. Evaluation en EHPAD de MINDs, un jeu vidéo musical développé pour et avec des personnes souffrant de la maladie d'Alzheimer. Congrès national Alzheimer 2013, Dec 2013, Issy-les-Moulineaux, France. ⟨hal-00940161⟩

Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp 174-189, ⟨10.1007/978-3-642-37658-0_12⟩. ⟨hal-00742536⟩

Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Data and Process Abstraction in PIPS Internal Representation. First Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France. ⟨hal-00744291⟩

Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Data and Process Abstraction in PIPS Internal Representation. Troisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France. ⟨hal-00744294⟩

Sebastiao Pais, Gaël Dias, Katarzyna Wegrzyn-Wolska, Robert Mahl, Pierre Jouvelot. Textual entailment by generality. Conference on Pacific Association for Computational Lingustics, PACLING 2011, Jul 2011, Kuala Lumpur, Malaysia. pp.258-266, ⟨10.1016/j.sbspro.2011.10.606⟩. ⟨hal-00659339⟩

Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Serge Guelton, et al.. PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPS. First International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France. ⟨hal-00744312⟩

Karim Barkati, Pierre Jouvelot. Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study. International Workshop on Synchronous Programming (SYNCHRON 2011), Nov 2011, Dammarie-les-Lys, France. ⟨10.1145/2543581.2543591⟩. ⟨hal-00751490v2⟩

Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot. The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. 9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.79-90, ⟨10.1007/978-3-642-15399-0_8⟩. ⟨hal-00831340⟩

Samuel Benveniste, Pierre Jouvelot, Edith Lecourt, Renaud Michel. Designing Wiimprovisation for Mediation in Group Music Therapy with Children Suffering from Behavioral Disorders. the 8th International Conference on Interaction Design and Children, Jun 2009, Como, France. pp. 18-26, ⟨10.1145/1551788.1551793⟩. ⟨hal-00917975⟩

Sebastian Pop, Pierre Jouvelot, George André Silber. In and Out of SSA : a Denotational Specification. Workshop Static Single-Assignment Form Seminar,, Apr 2009, Autrans, France. ⟨hal-00915979⟩

Samuel Benveniste, Pierre Jouvelot, Renaud Michel. Wii GAME TECHNOLOGY FOR MUSIC THERAPY : A FIRST EXPERIMENT WITH CHILDREN SUFFERING FROM BEHAVIORAL DISORDERS. Multi Conference on Computer Science and Information Systems, MCCIS'08 (Gaming), Jul 2008, Amsterdam, Netherlands. pp.133-137. ⟨hal-00830279⟩

Sebastian Pop, Albert Cohen, Pierre Jouvelot, Georges-André Silber. The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation. Proc. of the 12th Workshop on Compilers for Parallel Computers (CPC), 2006, A Coruña, Spain. ⟨hal-01257285⟩

Luc Perera, Pierre Jouvelot. TALA SOUND. The Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark. ⟨hal-02475656v2⟩

Blerina Gkotse, Georgi Gorine, Pierre Jouvelot, Federico Ravotti, Giuseppe Pezzullo. Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020. Workshop ESWC, ESWC2019-EUProjectNetworking, Jun 2019, Portoroz, Slovenia. ⟨hal-02122878⟩

Arthur Aubertin, Julien de Rosny, Pierre Jouvelot. MIMO Telecommunications with Near Ultrasounds. 1ère édition des Journées Jeunes Chercheurs en Acoustique Physique, Jun 2019, Paris, France. ⟨hal-02437001⟩

Pierre-Amaury Grumiaux, Romain Michon, Emilio Jesús Gallego Arias, Pierre Jouvelot. Impulse-Response and CAD-Model-Based Physical Modeling in FAUST. Linux Audio Conférence 2017, May 2017, Saint Etienne, France. 2017. ⟨hal-01526607v2⟩

Blerina Gkotse, M. Glaser, Pierre Jouvelot, Emanuele Matli, Giuseppe Pezzullo, et al.. Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use Case. RADECS 2017, RADiation Effects on Components and Systems, Oct 2017, Genève, Switzerland. ⟨hal-01622872⟩

Pierre Jouvelot. Louise : ECA pour Alzheimer et troubles liés à l’âge. Journées rencontre entre partenaires industriels et chercheurs de l’Institut Mines-Télécom "Santé, autonomie et qualité de vie", Mar 2016, Paris, France. 2016. ⟨hal-01410123⟩

Pierre Jouvelot. FEEVER : Faust Environment Everyware. Les rencontres du numérique de l'ANR, Nov 2016, Paris, France. ⟨hal-01430904⟩

Brigitte d'Andréa-Novel, Benoît Fabre, Pierre Jouvelot. Acoustique-Informatique-Musique : outils scientifiques pour la musique. Presse des Mines. Presse des Mines, pp.400, 2012, Les cours, 978-2911256-60-8. ⟨hal-00752617⟩

Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot. Towards Aligning legivoc Legal Vocabularies by Crowdsourcing. AI Approaches to the Complexity of Legal Systems, pp.Pages 220-232, 2018, 978-3-030-00178-0. ⟨hal-01951041⟩

Emilio Jesús Gallego Arias, Pierre Jouvelot, Benoît Pin. Bringing Theorem Proving to the (Sonic) Masses. Laurent Pottier. Innovative Tools and Methods to Teach Music and Signal Processing, Presses des Mines, In press. ⟨hal-01702717⟩

Bruno Sguerra, Pierre Jouvelot. “An Unscented Hound forWorking Memory” and the Cognitive Adaptation of User Interfaces. 2019. ⟨hal-02011002⟩

Luc Perera, Pierre Jouvelot, Patrick Renaud. La communauté d'écoute de sonorités indiennes : une expérimentation de design sonore dans une institution paramédicale en France. 2018. ⟨hal-01950848⟩

Kameswar Vaddina, Florian Brandner, Gerard Memmi, Pierre Jouvelot. Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule. 2018. ⟨hal-01939768⟩

Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot. Bringing Theorem Proving to the (sonic) Masses. 2015. ⟨hal-01254456⟩

Luc Perera, Pierre Jouvelot. Vers une méthodologie en design sonore médical : de l'interdisciplinarité au design social. [Rapport de recherche] Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2019. ⟨hal-02020183⟩

Luc Perera, Pierre Jouvelot. L'émergence d'une nouvelle méthodologie de recherche sonore dans le domaine de la santé : la ``designo-thérapie''?. [Rapport de recherche] Centre de recherche en informatique - MINES ParisTech - PSL Research University. 2019. ⟨hal-02020168⟩

Benoît Pin, Pierre Jouvelot. Etude WCET de programmes Faust avec a3. [Rapport Technique] E-420, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2017. ⟨hal-01691614⟩

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Liquid Clocks - Refinement Types for Time-Dependent Stream Functions. [Research Report] RR-8747, INRIA Rennes - Bretagne Atlantique; INRIA. 2015. ⟨hal-01166350v3⟩

Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara Chapman. The SPIRE Methodology of Compiler Parallel Intermediate Representation Design. [Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015. ⟨hal-01251172⟩