Pierre Jouvelot

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 15

Top Topics

Energy Consumption

Theorem Proving

Sensitivity Analysis

Top Venues

ICS 25th Anniversary

Publications

Jaroslaw Szumega, Lamine Bougueroua, Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
The Open Review-Based (ORB) dataset: Towards Automatic Assessment of Scientific Papers and Experiment Proposals in High-Energy Physics. CoRR (2023)
Celia Sanchez-Girón Coca, Luc Perera, Mathis Boiteau, Antoine Costanza, Jérôme Grison, Emmanuel Sarnette, Michèle Kanhonou, Frédéric Fauberteau, Nga Nguyen, Pierre Jouvelot
Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders. CHASE (2023)
Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. FARM@ICFP (2021)
Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
IEDM: An Ontology for Irradiation Experiments Data Management. ESWC (Satellite Events) (2019)
Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
IEDM, an Ontology for Irradiation Experiment Data Management. CoRR (2019)
Bruno Massoni Sguerra, Pierre Jouvelot
"An Unscented Hound for Working Memory" and the Cognitive Adaptation of User Interfaces. UMAP (2019)
Bruno Massoni Sguerra, Amine Benamara, Samuel Benveniste, Pierre Jouvelot
Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHS. SMC (2018)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot
Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors. Sustain. Comput. Informatics Syst. 15 (2017)
Hughes-Jehan Vibert, Benoît Pin, Pierre Jouvelot
Towards Aligning legivoc Legal Vocabularies by Crowdsourcing. AICOL (2017)
Bruno Massoni Sguerra, Pierre Jouvelot, Samuel Benveniste
Oblivion Tracking: Towards a Probabilistic Working Memory Model for the Adaptation of Systems to Alzheimer Patients. UMAP (Adjunct Publication) (2017)
Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot
Experimental energy profiling of energy-critical embedded applications. SoftCOM (2017)
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 (invited paper). WCSP (2017)
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
jsCoq: Towards Hybrid Theorem Proving Interfaces. UITP (2016)
Yann Orlarey, Pierre Jouvelot
Signal Rate Inference for Multidimensional Faust. IFL (2016)
Pierre Wargnier, Giovanni Carletti, Yann Laurent-Corniquet, Samuel Benveniste, Pierre Jouvelot, Anne-Sophie Rigaud
Field evaluation with cognitively-impaired older adults of attention management in the Embodied Conversational Agent Louise. SeGAH (2016)
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt
Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems. Parallel Comput. 41 (2015)
Dounia Khaldi, Deepak Eachempati, Shiyao Ge, Pierre Jouvelot, Barbara M. Chapman
A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran. CLUSTER (2015)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. CoRR (2015)
Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara M. Chapman
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM@SC (2015)
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla
Towards refinement types for time-dependent data-flow networks. MEMOCODE (2015)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems. CoRR (2014)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors. ICSAMOS (2014)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. CoRR (2014)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors. CoRR (2014)
François Irigoin, Pierre Jouvelot, Rémi Triolet
Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project. ICS 25th Anniversary (2014)
Karim Barkati, Haisheng Wang, Pierre Jouvelot
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. FLOPS (2014)
Karim Barkati, Pierre Jouvelot
Synchronous programming in audio processing: A lookup table oscillator case study. ACM Comput. Surv. 46 (2) (2013)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. PPAM (1) (2013)
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. Entertain. Comput. 3 (4) (2012)
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. LCPC (2012)
Pierre Jouvelot, Yann Orlarey
Dependent vector types for data structuring in multirate Faust. Comput. Lang. Syst. Struct. 37 (3) (2011)
Samuel Benveniste, Pierre Jouvelot, Renaud Péquignot
The MINWii Project: Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy. ICEC (2010)
Samuel Benveniste, Pierre Jouvelot, Edith Lecourt, Renaud Michel
Designing wiimprovisation for mediation in group music therapy with children suffering from behavioral disorders. IDC (2009)
Guillaume Denis, Pierre Jouvelot
Motivation-driven educational game design: applying best practices to music education. Advances in Computer Entertainment Technology (2005)
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS (1996)
Yan Mei Tang, Pierre Jouvelot
Effect Systems with Subtyping. PEPM (1995)
Jean-Pierre Talpin, Pierre Jouvelot
The Type and Effect Discipline Inf. Comput. 111 (2) (1994)
Yan Mei Tang, Pierre Jouvelot
Separate Abstract Interpretation for Control-Flow Analysis. TACS (1994)
Jean-Pierre Talpin, Pierre Jouvelot
Compiling FX on the CM-2. WSA (1993)
Jean-Pierre Talpin, Pierre Jouvelot
Polymorphic Type, Region and Effect Inference. J. Funct. Program. 2 (3) (1992)
Jean-Pierre Talpin, Pierre Jouvelot
The Type and Effect Discipline LICS (1992)
Babak Dehbonei, Pierre Jouvelot
Semantical Interprocedural Analysis by Partial Symbolic Evaluation. PEPM (1992)
Yan Mei Tang, Pierre Jouvelot
Control-Flow Effects for Escape Analysis. WSA (1992)
Vincent Dornic, Pierre Jouvelot, David K. Gifford
Polymorphic Time Systems for Estimating Program Complexity. LOPLAS 1 (1) (1992)
David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James W. O'Toole Jr.
Semantic File Systems. SOSP (1991)
François Irigoin, Pierre Jouvelot, Rémi Triolet
Semantical interprocedural parallelization: an overview of the PIPS project. ICS (1991)
Pierre Jouvelot, David K. Gifford
Algebraic Reconstruction of Types and Effects. POPL (1991)
Jean-Pierre Talpin, Pierre Jouvelot
Polymorphic Type, Region and Effect Inference. JTASPEFT/WSA (1991)
Vincent Dornic, Pierre Jouvelot, David K. Gifford
Polymorphic Time Systems for Estimating Program Complexity. JTASPEFT/WSA (1991)
Pierre Jouvelot, Paul Feautrier
Parallélisation sémantique. RAIRO Theor. Informatics Appl. 24 (1990)
Pierre Jouvelot, David K. Gifford
Reasoning about Continuations with Control Effects. PLDI (1989)
Pierre Jouvelot, Babak Dehbonei
Recursive Pattern Matching on concrete data types. ACM SIGPLAN Notices 24 (11) (1989)
Pierre Jouvelot, Babak Dehbonei
A unified semantic approach for the vectorization and parallelization of generalized reductions. ICS (1989)
Pierre Jouvelot, David K. Gifford
The FX-87 Interpreter. ICCL (1988)
Pierre Jouvelot
Semantic parallelization (abstract only): a non-standard denotational approach for imperative programs parallelization. ACM Conference on Computer Science (1987)
Pierre Jouvelot
Semantic Parallelization: A Practical Exercise in Abstract Interpretation. POPL (1987)
Pierre Jouvelot
Parallelization by Semantic Detection of Reductions. ESOP (1986)
Pierre Jouvelot
Designing new languages or new language manipulation systems using ML. ACM SIGPLAN Notices 21 (8) (1986)