Research on parallel programming, high-performance, security and applications
I work on scalable parallel programming with the BSP paradigm: high-level languages and libraries,
concrete algorithms and applications in finance, document processing and data-center monitoring.
I am also interested in process-algebra techniques to model security properties,
cloud computing as support for HPC.
-
2008-ongoing: Streaming and parallel algorithms for XML queries on very large documents.
Collaboration with Innovimax.
Publications with Muath Alrammal.
OSEO/AIMA projet TIGREDOC in 2011-12.
-
2009-ongoing: High-performance programming for financial applications.
Collaboration with EXQIM and
LIFO (F. Loulergue, M. Bamha).
-
2010-ongoing: SGL, heterogeneous and hierarchical BSP programming.
Work with Chong Li.
-
2010-ongoing: Predictive monitoring in cloud computing environments.
Collaboration with SOMONE.
Work with Sayanta Mallick.
-
2011-New project: High-performance computing for Business Intelligence.
Collaboration with Time is Life.
-
1996-ongoing: Functional bulk-synchronous parallel (BSP) programming: BMSL.
Project page,
Page Wikipedia
-
2007-2010: ANR-TELECOM project SPREADS, Security analysis of P2P storage systems. Collaboration with
UbiStorage.
-
2001-2006: Security for communicating processes
Project page
-
2001-2003: Project CARAML objective Caml libraries for grid computing.
Project page
-
1997-2000: Parallel database algorithms.
Project page
-
1997-2000: Parallel constraint logic programming and parallel solvers.
Project page
-
1992-1995: The Caml-Flight language.
Project page
Gaétan Hains, LACL, Université Paris-Est Créteil (UPEC)
94000 Créteil, France.