Search Results - "Noël, Louis"
-
1
Chloe for COVID-19: Evolution of an Intelligent Conversational Agent to Address Infodemic Management Needs During the COVID-19 Pandemic
Published in Journal of medical Internet research (21-09-2021)“…There is an unprecedented demand for infodemic management due to rapidly evolving information about the novel COVID-19 pandemic. This viewpoint paper details…”
Get full text
Journal Article -
2
A test of positive suggestions about side effects as a way of enhancing the analgesic response to NSAIDs
Published in PloS one (03-01-2019)“…Side effects are frequent in pharmacological pain management, potentially preceding analgesia and limiting drug tolerability. Discussing side effects is part…”
Get full text
Journal Article -
3
Representing Integer Sequences Using Piecewise-Affine Loops
Published in Mathematics (Basel) (01-10-2021)“…A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target…”
Get full text
Journal Article -
4
Predictive Modeling in a Polyhedral Optimization Space
Published in International journal of parallel programming (01-10-2013)“…High-level program optimizations, such as loop transformations, are critical for high performance on multi-core targets. However, complex sequences of loop…”
Get full text
Journal Article -
5
Effect of Distributed Directories in Mesh Interconnects
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01-06-2019)“…Recent manycore processors are kept coherent using scalable distributed directories. A paramount example is the Xeon Phi Knights Landing. It features 38 tiles…”
Get full text
Conference Proceeding -
6
Calcineurin activity assay measurement by liquid chromatography-tandem mass spectrometry in the multiple reaction monitoring mode
Published in Clinical chemistry (Baltimore, Md.) (01-02-2014)“…Blood concentrations of the calcineurin inhibitors (CNIs) cyclosporine and tacrolimus are currently measured to monitor immunosuppression in transplant…”
Get full text
Journal Article -
7
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Published in IEEE transactions on software engineering (01-09-2021)“…This paper presents a novel end-to-end approach to program repair based on sequence-to-sequence learning. We devise, implement, and evaluate a technique,…”
Get full text
Journal Article -
8
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Published in IEEE transactions on software engineering (01-07-2023)“…We target the problem of automatically synthesizing proofs of semantic equivalence between two programs made of sequences of statements. We represent programs…”
Get full text
Journal Article -
9
Untargeted screening of urinary peptides with liquid chromatography coupled to hybrid linear-ion trap tandem mass spectrometry
Published in Journal of Chromatography A (12-10-2012)“…► The procedure can detect and identify peptides and their inferred parent proteins. ► The structure of some peptides can generally be resolved from their EPI…”
Get full text
Journal Article -
10
Domain-Specific Optimization and Generation of High-Performance GPU Code for Stencil Computations
Published in Proceedings of the IEEE (01-11-2018)“…Stencil computations arise in a number of computational domains. They exhibit significant data parallelism and are thus well suited for execution on graphical…”
Get full text
Journal Article -
11
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Published 09-07-2023“…IEEE Transactions on Software Engineering, 2023 We target the problem of automatically synthesizing proofs of semantic equivalence between two programs made of…”
Get full text
Journal Article -
12
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time
Published in Code Generation and Optimization: Proceedings of the International Symposium on Code Generation and Optimization; 11-14 Mar. 2007 (11-03-2007)“…Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations…”
Get full text
Conference Proceeding -
13
StVEC: A Vector Instruction Extension for High Performance Stencil Computation
Published in 2011 International Conference on Parallel Architectures and Compilation Techniques (01-10-2011)“…Stencil computations comprise the compute-intensive core of many scientific applications. The data access pattern of stencil computations often requires…”
Get full text
Conference Proceeding -
14
On Optimizing Complex Stencils on GPUs
Published in 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (01-05-2019)“…Stencil computations are often the compute-intensive kernel in many scientific applications. With the increasing demand for computational accuracy, and the…”
Get full text
Conference Proceeding -
15
PALMED: Throughput Characterization for Superscalar Architectures
Published in 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (02-04-2022)“…In a super-scalar architecture, the scheduler dynamically assigns micro-operations ( \mu OPs) to execution ports. The port mapping of an architecture describes…”
Get full text
Conference Proceeding -
16
ACOTES Project: Advanced Compiler Technologies for Embedded Streaming
Published in International journal of parallel programming (01-06-2011)“…Streaming applications are built of data-driven, computational components, consuming and producing unbounded data streams. Streaming oriented systems have…”
Get full text
Journal Article Publication -
17
Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings
Published in IEEE access (2021)“…Manycore processors feature a high number of general-purpose cores designed to work in a multithreaded fashion. Recent manycore processors are kept coherent…”
Get full text
Journal Article -
18
Crystal structures of the bovine β4galactosyltransferase catalytic domain and its complex with uridine diphosphogalactose
Published in The EMBO journal (01-07-1999)“…β1,4‐galactosyltransferase T1 (β4Gal‐T1, EC 2.4.1.90/38), a Golgi resident membrane‐bound enzyme, transfers galactose from uridine diphosphogalactose to the…”
Get full text
Journal Article -
19
Characterizing and enhancing global memory data coalescing on GPUs
Published in 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (01-02-2015)“…Effective parallel programming for GPUs requires careful attention to several factors, including ensuring coalesced access of data from global memory. There is…”
Get full text
Conference Proceeding -
20
Automatic Correction of Loop Transformations
Published in 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007) (01-09-2007)“…Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1)…”
Get full text
Conference Proceeding