Jean-Louis Roch

  • IMAG, Grenoble, France

According to our database1, Jean-Louis Roch authored at least 51 papers between 1989 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



Optimizing dm-crypt for XTS-AES: Getting the Best of Atmel Cryptographic Co-processors.
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Formally and practically verifying flow properties in industrial systems.
Comput. Secur., 2019

Formally Verifying Flow Properties in Industrial Systems.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination.
Parallel Comput., 2016

Domain Specific Stateful Filtering with Worst-Case Bandwidth.
Proceedings of the Critical Information Infrastructures Security, 2016

Parallel algebraic linear algebra dedicated interface.
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

Too big or too small? The PTB-PTS ICMP-based attack against IPsec gateways.
Proceedings of the IEEE Global Communications Conference, 2014

Generic Deterministic Random Number Generation in Dynamic-Multithreaded Platforms.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

IBTrack: An ICMP black holes tracker.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Hardware/software support for adaptive work-stealing in on-chip multiprocessor.
J. Syst. Archit., 2010

Output-sensitive decoding for redundant residue systems.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

A Tighter Analysis of Work Stealing.
Proceedings of the Algorithms and Computation - 21st International Symposium, 2010

Parallel arithmetic encryption for high-bandwidth communications on multicore/GPGPU platforms.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Generic design of Chinese remaindering schemes.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Algorithm-Based Fault Tolerance Applied to P2P Computing Networks.
Proceedings of the First International Conference on Advances in P2P Systems, 2009

Processor-Oblivious Parallel Stream Computations.
Proceedings of the 16th Euromicro International Conference on Parallel, 2008

Provable Security against Impossible Differential Cryptanalysis Application to CS-Cipher.
Proceedings of the Modelling, 2008

Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments.
Proceedings of the Euro-Par 2008 Workshops, 2008

Deque-Free Work-Optimal Parallel STL Algorithms.
Proceedings of the Euro-Par 2008, 2008

Parallel Adaptive Octree Carving for Real-time 3D Modeling.
Proceedings of the IEEE Virtual Reality Conference, 2007

Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.
Proceedings of the Parallel Symbolic Computation, 2007

Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography.
Proceedings of the Parallel Symbolic Computation, 2007

Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Work Stealing for Time-constrained Octree Exploration: Application to Real-time 3D Modeling.
Proceedings of the 7th Eurographics Symposium on Parallel Graphics and Visualization, 2007

Adaptive Encoding of Multimedia Streams on MPSoC.
Proceedings of the Computational Science, 2006

Methods for Partitioning Data to Improve Parallel Execution Time for Sorting on Heterogeneous Clusters.
Proceedings of the Advances in Grid and Pervasive Computing, 2006

On-Line Adaptive Parallel Prefix Computation.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Adaptive Triangular System Solving.
Proceedings of the Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, 2006

Algorithmes parallèles à grain adaptatif et applications.
Tech. Sci. Informatiques, 2005

Distributed Authentication in GRID5000.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

A Probabilistic Approach for Task and Result Certification of Large-Scale Distributed Applications in Hostile Environments.
Proceedings of the Advances in Grid Computing, 2005

FlowCert : Probabilistic Certification for Peer-to-Peer Computations.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004

Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

On parallel block algorithms for exact triangularizations.
Parallel Comput., 2002

A parallel block algorithm for exact triangularization of rectangular matrices.
Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001

A General Modular Specification for Distributed Schedulers.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

Athapascan-1: On-Line Building Data Flow Graph in a Parallel Language.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

Two-dimensional block partitionings for the parallel sparse Cholesky factorization.
Numer. Algorithms, 1997

NC<sup>2</sup> computation of gcd-free basis and application to parallel algebraic numbers computation.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

Parallel Evaluation of Arithmetic Circuits.
Theor. Comput. Sci., 1996

Fast Parallel Computation of the Jordan Normal Form of Matrices.
Parallel Process. Lett., 1996

Regular versus Irregular Problems and Algorithms.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

Fast Matrix Multiplication Algorithms on Mimd Architectures.
Parallel Algorithms Appl., 1994

Parallel Computations with Algebraic Numbers - A Case Study: Jordan Normal Form of Matrices.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

A New Load-Prediction Scheme Based on Algorithmic Cost Functions.
Proceedings of the Parallel Processing: CONPAR 94, 1994

Cost Prediction for Load Balancing: Application to Algebraic Computations.
Proceedings of the Parallel Processing: CONPAR 92, 1992

Parallel gcd and Lattice Basis Reduction.
Proceedings of the Parallel Processing: CONPAR 92, 1992

An Environment for Parallel Algebraic Computation.
Proceedings of the Computer Algebra and Parallelism, 1990

Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle. (Computer algebra and parallelism: pac system architecture and rationnal arithmetic).
PhD thesis, 1989

Computer algebra on MIMD machine.
SIGSAM Bull., 1989