| 2023 | CHASE | Tala Box: an Interactive Embedded System to Accompany Patients with Cognitive Disorders. | Celia Sanchez-Girn Coca, Luc Perera, Mathis Boiteau, Antoine Costanza, Jrme Grison, Emmanuel Sarnette, Michle Kanhonou, Frdric Fauberteau, Nga Nguyen, Pierre Jouvelot |
| 2021 | ICFP | The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. | Emilio Jess Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs |
| 2018 | SMC | Adapting Human-Computer Interfaces to Working Memory Limitations Using MATCHS. | Bruno Massoni Sguerra, Amine Benamara, Samuel Benveniste, Pierre Jouvelot |
| 2017 | SOFTCOM | Experimental energy profiling of energy-critical embedded applications. | Kameswar Rao Vaddina, Florian Brandner, Grard Memmi, Pierre Jouvelot |
| 2015 | CLUSTER | A Team-Based Methodology of Memory Hierarchy-Aware Runtime Support in Coarray Fortran. | Dounia Khaldi, Deepak Eachempati, Shiyao Ge, Pierre Jouvelot, Barbara M. Chapman |
| 2015 | MEMOCODE | Towards refinement types for time-dependent data-flow networks. | Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla |
| 2015 | SC | LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. | Dounia Khaldi, Pierre Jouvelot, Franois Irigoin, Corinne Ancourt, Barbara M. Chapman |
| 2014 | FLOPS | Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. | Karim Barkati, Haisheng Wang, Pierre Jouvelot |
| 2014 | ICS | Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project. | Franois Irigoin, Pierre Jouvelot, Rmi Triolet |
| 2013 | PPAM | The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. | Karel De Vogeleer, Grard Memmi, Pierre Jouvelot, Fabien Coelho |
| 1995 | PEPM | Effect Systems with Subtyping. | Yan Mei Tang, Pierre Jouvelot |
| 1993 | SAS | Compiling FX on the CM-2. | Jean-Pierre Talpin, Pierre Jouvelot |
| 1992 | LICS | The Type and Effect Discipline | Jean-Pierre Talpin, Pierre Jouvelot |
| 1992 | PEPM | Semantical Interprocedural Analysis by Partial Symbolic Evaluation. | Babak Dehbonei, Pierre Jouvelot |
| 1992 | SAS | Control-Flow Effects for Escape Analysis. | Yan Mei Tang, Pierre Jouvelot |
| 1991 | ICS | Semantical interprocedural parallelization: an overview of the PIPS project. | Franois Irigoin, Pierre Jouvelot, Rmi Triolet |
| 1991 | POPL | Algebraic Reconstruction of Types and Effects. | Pierre Jouvelot, David K. Gifford |
| 1991 | SAS | Polymorphic Time Systems for Estimating Program Complexity. | Vincent Dornic, Pierre Jouvelot, David K. Gifford |
| 1991 | SAS | Polymorphic Type, Region and Effect Inference. | Jean-Pierre Talpin, Pierre Jouvelot |
| 1991 | SOSP | Semantic File Systems. | David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James W. O'Toole Jr. |
| 1989 | ICS | A unified semantic approach for the vectorization and parallelization of generalized reductions. | Pierre Jouvelot, Babak Dehbonei |
| 1989 | PLDI | Reasoning about Continuations with Control Effects. | Pierre Jouvelot, David K. Gifford |
| 1987 | POPL | Semantic Parallelization: A Practical Exercise in Abstract Interpretation. | Pierre Jouvelot |
| 1986 | ESOP | Parallelization by Semantic Detection of Reductions. | Pierre Jouvelot |