Publications HAL de Jens, Gustedt

2024

auteur
Isabelle Charpentier, Rémi Barbier, Jens Gustedt
titre
A modèle, modèle et demi… réflexion participative
article
5èmes Journées de Modélisation des Surfaces Continentales, Jun 2024, Strasbourg, France
Resume_court
Cette présentation souligne l'importance des connaissances techniques dans la gestion de l'environn .....
Accès au texte intégral et bibtex
https://hal.science/hal-04733478/file/resume_JMSC_2024_Charpentier_RB_V2.pdf BibTex
auteur
Jens Gustedt
titre
Clarify status of non-returning functions with respect to function attributes
article
N3424, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Even simpler defer for direct integration
article
N3434, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Introduce complex literals
article
N3298, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Reproducible expressions
article
N3392, ISO JCT1/SC22/WG14. 2024
Resume_court
To qualify if an array is a VLA or not, the status of the so-called “size” expression is importa .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Clarify the specification of the width macros
article
N3413, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Clarify syntactic terms for array declarators
article
N3414, ISO JCT1/SC22/WG14. 2024
Resume_court
The current wording of 6.7.7.3 is very confusing because it mixes up syntactic and semantic definiti .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Remove imaginary types
article
N3274, ISO JCT1/SC22/WG14. 2024, pp.12
Resume_court
In the C programming language, optional imaginary types, indicated by the keyword _Imaginary, have n .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04737051/file/n3274.pdf BibTex
auteur
Jens Gustedt
titre
Inline functions accessing identifiers declared with constexpr
article
N3253, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Code examples for the book Modern C, revised for C23
article
2024, ⟨swh:1:dir:23d45aab396fc1e38ef76b3d456ccb2eefaa6ebe;origin=https://hal.archives-ouvertes.fr/hal-03345464;visit=swh:1:snp:dfb5a473fb881a4e018ac4becde21dd2e47cabf7;anchor=swh:1:rel:93662711ab1afcafb53259cd09896b3d059ffb21;path=/⟩
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Tail recursion for preprocessor macros
article
N3307, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Some constants are literally literals
article
N3239, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Modern C
article
Manning, In press, 9781617295812
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02383654/file/modernC.pdf BibTex
auteur
Jens Gustedt
titre
Objects of known constant size
article
N3391, ISO JCT1/SC22/WG14. 2024
Resume_court
It seems that the current terminology that is applied for variable length arrays (VLA) and variably .....
Accès au bibtex
BibTex
auteur
Javier A. Múgica, Jens Gustedt
titre
Array subscripting without decay
article
N3380, ISO JCT1/SC22/WG14. 2024
Accès au bibtex
BibTex

2023

auteur
Jens Gustedt
titre
Simple TU initialization and cleanup handling with dependencies
article
N3185, ISO JCT1/SC22/WG14. 2023
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
A Provenance-aware memory object model for C (slides)
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03984047/file/provenance-talk.pdf BibTex
auteur
Jens Gustedt, Martin Uecker
titre
Clarify array length specifications and sizeof expressions
article
N3187, ISO JCT1/SC22/WG14. 2023
Accès au bibtex
BibTex
auteur
Jens Gustedt, Martin Uecker
titre
Initialization, allocation and effective type
article
N3186, ISO JCT1/SC22/WG14. 2023
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
The future of imaginary types
article
N3206, ISO JCT1/SC22/WG14. 2023
Accès au bibtex
BibTex
auteur
Jens Gustedt, Martin Uecker
titre
Identifying array length state
article
ISO JCT1/SC22/WG14. 2023
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Extensions to the preprocessor for C2Y
article
N3190, ISO JCT1/SC22/WG14. 2023
Accès au bibtex
BibTex
auteur
Martin Uecker, Jens Gustedt
titre
Parameter Forward Declarations
article
N3140, ISO JCT1/SC22/WG14. 2023, pp.3
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04358315/file/n3140.pdf BibTex

2022

auteur
Étienne Alepins, Jens Gustedt
titre
Unsequenced functions
article
[Research Report] Inria Nancy - Grand Est. 2022, pp.11
Accès au bibtex
BibTex
auteur
Alex Gilding, Jens Gustedt
titre
Underspecified object declarations
article
[Research Report] N3006, ISO JCT1/SC22/WG14. 2022
Accès au bibtex
BibTex
auteur
Alex Gilding, Jens Gustedt
titre
The constexpr specifier for object definitions
article
[Research Report] N3018, ISO JCT1/SC22/WG14. 2022
Resume_court
C++ has supported translation-time definition of first-class named constants for over ten years, whi .....
Accès au bibtex
BibTex
auteur
Alex Gilding, Jens Gustedt
titre
Type inference for object definitions
article
[Research Report] N3007, ISO JCT1/SC22/WG14. 2022
Accès au bibtex
BibTex
auteur
Alex Gilding, Jens Gustedt
titre
Introduce storage-class specifiers for compound literals
article
[Research Report] N3038, ISO JCT1/SC22/WG14. 2022
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Primary expressions and constant expressions, clarification request
article
[Research Report] ISO JTC1/SC22/WG14. 2022
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Require exact-width integer type interfaces
article
[Research Report] N2888, ISO JTC1/SC22/WG14. 2022
Resume_court
C23 already simplifies the integer model in two important aspects. First, it only has two’s comple .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Revise spelling of keywords
article
[Research Report] N2934, ISO JTC1/SC22/WG14. 2022
Resume_court
Over time C has integrated some new features as keywords (some genuine, some from C++) but the namin .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02167870/file/n2934.pdf BibTex
auteur
Jens Gustedt
titre
Pointers and integer types
article
[Research Report] N2889, ISO JCT1/SC22/WG14. 2022
Resume_court
The current C standard has the types [u]intptr_t optional, because at the time it was designed mappi .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Add new optional time bases
article
[Research Report] N2957, ISO JCT1/SC22/WG14. 2022
Resume_court
We propose the inclusion of optional macros for time bases that are modeled after ISO 9945's CLOCK_M .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02378645/file/n2957.pdf BibTex
auteur
Jens Gustedt
titre
Improve type generic programming (slides)
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03165732/file/intro-talk.pdf BibTex
auteur
Jens Gustedt, Martin Uecker
titre
Properly define blocks as part of the grammar
article
[Research Report] N2937, ISO JCT1/SC22/WG14. 2022, pp.3
Resume_court
Blocks are a fundamental concept in C for the definition of visibility scopes of identifiers and for .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03363674/file/n2937.pdf BibTex
auteur
Jens Gustedt
titre
Type inference for variable definitions and function returns
article
[Research Report] N2923, ISO JCT1/SC22/WG14. 2022, pp.22
Resume_court
We propose the inclusion of the so-called auto feature for variable definitions and function types i .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03106763/file/n2923.pdf BibTex
auteur
Jens Gustedt
titre
Type inference for variables and functions (slides)
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03165731/file/auto-talk.pdf BibTex
auteur
Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker
titre
A Provenance-aware Memory Object Model for C
article
ISO/IEC TC1/SC22/WG14, pp.131, 2022
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Basic lambdas for C
article
N2892, ISO JCT1/SC22/WG14. 2022, pp.52
Resume_court
We propose the inclusion of simple lambda expressions into the C standard. We build on a slightly re .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03860638/file/n2892.pdf BibTex
auteur
Jens Gustedt
titre
Improve type generic programming
article
[Technical Report] N2890, ISO JCT1/SC22/WG14. 2022, pp.82
Resume_court
C already has a variaty of interfaces for type-generic programming, but lacks a systematic approach .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03106758/file/n2890.pdf BibTex
auteur
Jens Gustedt
titre
Make false and true first-class language features
article
[Research Report] N2935, ISO JTC1/SC22/WG14. 2022
Resume_court
In its London~2019 meeting, WG14 has found consensus to elevate false and true to proper keywords. B .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02167916/file/n2935.pdf BibTex
auteur
Jens Gustedt
titre
Type-generic lambdas
article
[Research Report] N2924, ISO JCT1/SC22/WG14. 2022, pp.14
Resume_court
For the lambda expressions that were introduced in N2734, we propose the addition of auto parameters .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03106919/file/n2924.pdf BibTex
auteur
Jens Gustedt
titre
Remove ATOMIC VAR INIT
article
[Research Report] N2886, ISO JTC1/SC22/WG14. 2022
Resume_court
Because of syntactical problems and because it had been found to be basically useless for the intend .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, JeanHeyd Meneide
titre
Introduce the nullptr constant
article
[Research Report] N3042, ISO JTC1/SC22/WG14. 2022
Resume_court
Since more than a decade C++ has already replaced the problematic definition of NULL which might be .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Options for lambdas
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03553612/file/lambda-options-talk.pdf BibTex
auteur
Sleimane Hariri, Sylvain Weill, Jens Gustedt, Isabelle Charpentier
titre
A balanced watershed decomposition method for rain-on-grid simulations in HEC-RAS
article
Journal of Hydroinformatics, 2022, 24 (2), pp.315-332. ⟨10.2166/hydro.2022.078⟩
Resume_court
Rain-on-grid simulations for the modeling of 2D unsteady flows in response to precipitation input ar .....
Accès au texte intégral et bibtex
https://hal.science/hal-03561729/file/jh2022078.pdf BibTex

2021

auteur
Jens Gustedt
titre
Basic lambdas for C (slides)
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03165736/file/lambda-talk.pdf BibTex
auteur
Jens Gustedt
titre
Types and sizes
article
[Research Report] 2838, ISO JTC1/SC22/WG14. 2021
Resume_court
In 6.5.2 of the C standard, sizes are primarily defined for types. Although this is not stated expli .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, Robert C Seacord
titre
A simple defer feature for C
article
[Research Report] N2895, ISO JTC1/SC22/WG14. 2021
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Lvalue closures
article
[Research Report] N2737, ISO JCT1/SC22/WG14. 2021, pp.12
Resume_court
For the lambda expressions that were introduced in N2736, we propose the addition of lvalue captures .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03106930/file/n2737.pdf BibTex
auteur
Jens Gustedt
titre
Enforce storage stability
article
[Research Report] 2756, ISO JCT1/SC22/WG14. 2021, pp.8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03265588/file/n2756.pdf BibTex
auteur
Jens Gustedt, Martin Uecker
titre
Disambiguate the storage class of some compound literals
article
[Research Report] 2819, ISO JCT1/SC22/WG14. 2021, pp.2
Resume_court
We noticed that there is a need for clarification about the storage class of compound literals that .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03363683/file/n2819.pdf BibTex
auteur
Jens Gustedt
titre
A Common C/C++ Core Specification
article
ISO TC1/SC22/WG14, pp.629, 2021
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Add annotations for unreachable control flow
article
[Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10
Resume_court
We propose the feature unreachable to specify branches in the control flow of a program that will ne .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03265590/file/n2826.pdf BibTex
auteur
Jens Gustedt
titre
Add annotations for unreachable control flow (slides)
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03328557/file/reachability-talk.pdf BibTex
auteur
Jens Gustedt
titre
Only reserve names of optional functions if necessary
article
[Research Report] 2839, ISO JCT1/SC22/WG14. 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03390554/file/n2839.pdf BibTex
auteur
Jens Gustedt, Robert C Seacord
titre
C language mechanism for error handling and deferred cleanup
article
SAC 2021 - 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual, South Korea. ⟨10.1145/3412841.3442116⟩
Resume_court
This paper introduces the implementation of a C language mechanism for error handling and deferred c .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03059076/file/defer-implementation.pdf BibTex
auteur
Jens Gustedt
titre
Enforce storage stability (slides)
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03328555/file/stability-talk.pdf BibTex
auteur
Jens Gustedt
titre
Function literals and value closures
article
[Technical Report] N2736, ISO JCT1/SC22/WG14. 2021, pp.55
Resume_court
We propose the inclusion of simple lambda expressions into the C standard. We build on a slightly re .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03106767/file/n2736.pdf BibTex
auteur
Jens Gustedt
titre
Make call_once mandatory
article
[Research Report] 2840, ISO JCT1/SC22/WG14. 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03390558/file/n2840.pdf BibTex
auteur
Sleimane Hariri, Jens Gustedt, Sylvain Weill, Isabelle Charpentier
titre
A Hybrid Breaching-Filling method for sink removal adapted to parallel hydrological simulations
article
EGU 2021, Apr 2021, En ligne, France. 2021, ⟨10.5194/egusphere-egu21-7849⟩
Accès au bibtex
BibTex
auteur
Robert C Seacord, Steve Downey, Jens Gustedt, Peter Bindels
titre
Identifier Syntax using Unicode Standard Annex 31
article
[Research Report] 2836, ISO JCT1/SC22/WG14. 2021, pp.18
Accès au bibtex
BibTex
auteur
Martin Uecker, Jens Gustedt
titre
Indeterminate Values and Trap Representations
article
[Research Report] 2772, ISO TC1/SC22/WG14. 2021, pp.11
Accès au bibtex
BibTex
auteur
Martin Uecker, Jens Gustedt
titre
Wide Function Pointer Types for Pairing Code and Data
article
[Research Report] 2787, ISO JCT1/SC22/WG14. 2021
Accès au bibtex
BibTex

2020

auteur
Aaron Ballman, Alex Gilding, Jens Gustedt, Tom Scogland, Robert C. Seacord, Martin Uecker, Freek Wiedijk
titre
Defer Mechanism for {C}
article
ISO TC1/SC22/WG14, pp.57, 2020
Resume_court
The defer mechanism can restore a previously known property or invariant that is altered during the .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, Robert C Seacord
titre
Deferred cleanup and error handling in C
article
[Research Report] RR-9385, Inria Nancy - Grand Est. 2020, pp.23
Resume_court
This paper introduces the implementation of a C language mechanism for error handling and deferred c .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03090771/file/defer-implementation-long.pdf BibTex
auteur
Jens Gustedt
titre
C source-to-source compiler enhancement from within
article
[Research Report] RR-9375, INRIA. 2020
Resume_court
We show how locally replaceable code snippets can be used to easily specify and prototype compiler a .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02998412/file/RR-9375.pdf BibTex

2019

auteur
Jean-François Bastien, Jens Gustedt
titre
Two's complement sign representation for C2x
article
[Research Report] ISO JCT1/SC22/WG14. 2019, pp.N2412
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02311453/file/n2412.pdf BibTex
auteur
Jean-François Bastien, Jens Gustedt
titre
Moving to two's complement sign representation
article
[Research Report] N2330, ISO JCT1/SC22/WG14. 2019
Resume_court
We propose to implement the change to abandon ones complement and sign-and-magnitude representation .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02046444/file/n2330%2Bappendix.pdf BibTex
auteur
Lars Gullik Bjønnes, Jens Gustedt
titre
Remove support for function definitions with identifier lists
article
[Research Report] N2432, ISO JCT1/SC22/WG14. 2019
Resume_court
Function definitions with identifier lists (often referred to as K&R functions) are deprecated for a .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02311466/file/n2432%2Bappendix.pdf BibTex
auteur
Isabelle Charpentier, Rémi Barbier, Sara Fernandez, François-Joseph Daniel, Sandrine Glatron, Jens Gustedt, Dimitri Heintz, Julien Laurent, Sylvain Weill
titre
Evaluating the impact of modeling uncertainties on decision makers: application to the Maginot's Water Line resources
article
ILTER Open Science Meeting, Sep 2019, Leipzig, Germany
Resume_court
Note: Cette communication était une tentative de création d'une communauté de recherche interdisc .....
Accès au bibtex
BibTex
auteur
Niall Douglas, Jens Gustedt
titre
Function failure annotation
article
[Research Report] N2429, ISO JCT1/SC22/WG14. 2019
Resume_court
We have been seeing an evolution in proposals for the best syntax for describing how to mark how a f .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02311462/file/n2429.pdf BibTex
auteur
Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker
titre
Moving to a provenance-aware memory object model for C: proposal for C2x
article
[Technical Report] N2362, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089889/file/n2362%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
intmax\_t, a way out
article
[Research Report] N2425, ISO JCT1/SC22/WG14. 2019
Resume_court
The specifications of types [u]intmax_t and extended integer types lack to provide the extensibility .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02311457/file/n2425%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
Introduce the term storage instance
article
[Technical Report] N2388, ISO JTC1/SC22/WG14. 2019
Resume_court
There is a lack of terminology to describe the entity that is reserved and released by either an all .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02046329/file/n2388%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
Out-of-band bit for exceptional return and errno replacement
article
[Technical Report] N2361, ISO JCT1/SC22/WG14. 2019
Resume_court
We propose a mechanism for out-of-band return of exceptional conditions that are designed, among oth .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089873/file/n2361.pdf BibTex
auteur
Jens Gustedt
titre
Synchronization at thread and execution termination
article
[Research Report] N2461, ISO JTC1/SC22/WG14. 2019
Resume_court
Whereas its intent is clear, the C standard lacks clarity concerning synchronization guarantees for .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02167850/file/n2461%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
Add an interface to query resolution of time bases
article
[Research Report] N2459, ISO JTC1/SC22/WG14. 2019
Resume_court
We propose the inclusion of a query function for time resolution that is modelled after ISO~9945's c .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02378605/file/n2459.pdf BibTex
auteur
Jens Gustedt
titre
Modernize time.h functions
article
[Research Report] N2417, ISO JCT1/SC22/WG14. 2019
Resume_court
The interfaces in time.h are inconsistent, partially underspecified, subject to undetectable overflo .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02311454/file/n2417%2Bappendix.pdf BibTex
auteur
Jens Gustedt, Maxime Mogé
titre
Memory access classification for vertical task parallelism
article
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
Resume_court
We present a paradigm and implementation of a parallel control flow model for algorithmic patterns o .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02046105/file/PID5731675.pdf BibTex
auteur
Jens Gustedt
titre
Unify string representation functions
article
[Technical Report] ISO JCT1/SC22/WG14. 2019
Resume_court
The recent integration of TS 18661-1 has added string representation functions for floating point ty .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089868/file/n2360%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
Align spelling of keywords with C++ and make them feature tests proposal for C2x
article
[Technical Report] n2368, ISO JCT1/SC22/WG14. 2019
Resume_court
Over time C has integrated certain features in coordination with C++, but the strategy to integrate .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089925/file/n2368%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
Contain the floating point naming explosion
article
[Research Report] N2426, ISO JCT1/SC22/WG14. 2019
Resume_court
The recent integration of the floating point TS has had a disastrous effect on the set of reserved i .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02311460/file/n2426.pdf BibTex
auteur
Jens Gustedt
titre
Clean up atomics, non-normative changes
article
[Technical Report] N2389, ISO JTC1/SC22/WG14. 2019
Resume_court
Whereas its intent is clear, the text in the C standard that concerns atomics has several consistenc .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02167823/file/n2389%2Bappendix.pdf BibTex
auteur
Jens Gustedt
titre
Remove conditional "WANT" macros from numbered clauses proposal for C2x
article
[Technical Report] N2359, ISO JTC1/SC22/WG14. 2019
Resume_court
The recent integration of TS 18661-1 has moved the use of "WANT" macros into the main body of the C .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089861/file/n2359%2Bappendix.pdf BibTex
auteur
Sleimane Hariri, Sylvain Weill, Jens Gustedt, Isabelle Charpentier
titre
Pairing GIS and Distributed Hydrological Models Using MATLAB
article
2nd Conference of the Arabian Journal of Geosiences (CAJG 2019), Nov 2019, Sousse, Tunisia. pp.257-259, ⟨10.1007/978-3-030-72543-3_103⟩
Resume_court
Observed data are required to carry out hydrological simulations 8 in a watershed for use by policy .....
Accès au texte intégral et bibtex
https://hal.science/hal-02333260/file/162_corrected.pdf BibTex
auteur
Larry Jones, Jens Gustedt
titre
ISO/IEC 9899 editor report November 2019
article
[Research Report] N2456, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02378784/file/n2456.pdf BibTex
auteur
Larry Jones, Jens Gustedt
titre
ISO/IEC 9899 editor report March 2019
article
[Technical Report] N2348, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089676/file/n2348.pdf BibTex
auteur
Peter Sewell, Kayvan Memarian, Victor B F Gomes, Jens Gustedt, Martin Uecker
titre
C provenance semantics: examples
article
[Technical Report] N2363, ISO JCT1/SC22/WG14. 2019
Resume_court
This note discusses the design of provenance semantics for C, looking at a series of examples. We co .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02089907/file/n2363.pdf BibTex

2018

auteur
Isabelle Charpentier, Jens Gustedt
titre
Arbogast: Higher order automatic differentiation for special functions with Modular C
article
Optimization Methods and Software, 2018, 33 (4-6), pp.963-987. ⟨10.1080/10556788.2018.1428603⟩
Resume_court
This high-level toolbox for the calculus with Taylor polynomials is named after L.F.A. Arbogast (175 .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01307750/file/RR-8907.pdf BibTex
auteur
Jens Gustedt
titre
Clean up atomics
article
[Technical Report] N2329, ISO JCT1/SC22/WG14. 2018
Resume_court
Whereas its intent is clear, the text in the C standard that concerns atomics has several consistenc .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02046430/file/n2329%2Bappendix.pdf BibTex
auteur
Jens Gustedt, Maxime Mogé
titre
Memory access classification for vertical task parallelism
article
[Research Report] RR-9182, Inria Nancy - Grand Est. 2018, pp.1-20
Resume_court
We present a paradigm and implementation of a parallel control flow model for algorithmic patterns o .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01814740/file/RR-9182.pdf BibTex

2017

auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
titre
Automatic, Abstracted and Portable Topology-Aware Thread Placement
article
IEEE Cluster, Sep 2017, Hawaï, United States. pp.389 - 399, ⟨10.1109/CLUSTER.2017.71⟩
Resume_court
Efficiently programming shared-memory machines is a difficult challenge because mapping application .....
Accès au texte intégral et bibtex
https://hal.science/hal-01621936/file/IEEE_Cluster_2017_Paper_278.pdf BibTex

2016

auteur
Isabelle Charpentier, Jean-Pierre Friedelmeyer, Jens Gustedt
titre
Arbogast – Origine d'un outil de dérivation automatique
article
[Rapport de recherche] RR-8911, INRIA. 2016
Resume_court
Les dérivées que considère Arbogast « sont moins des dérivées de quantités que des dérivées .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01313355/file/RR-8911.pdf BibTex
auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
titre
Fully-abstracted affinity optimization for task-based models
article
[Research Report] RR-8993, INRIA Nancy. 2016
Resume_court
Task-based models and runtimes are quite popular in the HPC community. They help to implement applic .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01409101/file/RR-8993.pdf BibTex
auteur
Jens Gustedt
titre
Futex based locks for C11's generic atomics (extended abstract)
article
The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩
Resume_court
We present a new algorithm and implementation of a lock primitive that is based on Linux' native loc .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01304108/file/sac2016.pdf BibTex
auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
titre
Optimizing Locality by Topology-aware Placement for a Task Based Programming Model
article
IEEE Cluster 2016 Conference, Sep 2016, Taipei, Taiwan. , pp.164 - 165, ⟨10.1109/CLUSTER.2016.87⟩
Resume_court
The ordered read-write lock model (ORWL) is a modern framework that proposes high level abstractions .....
Accès au texte intégral et bibtex
https://hal.science/hal-01416284/file/bare_conf_2pages.pdf BibTex
auteur
Soumeya Leila Hernane, Jens Gustedt
titre
Transparent distributed data management in large scale distributed systems
article
Pervasive Computing, Academic Press, pp.153-194, 2016, 978-0-12-803663-1
Resume_court
In this chapter, we deal with sharing resources transparency in large distributed systems. By using .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01308989/file/chapter.pdf BibTex
auteur
Farouk Mansouri, Jens Gustedt
titre
Le modèle de programmation ORWL pour la parallélisation d'une application de suivi vidéo HD sur architecture multi-coeurs
article
Conf{\'e}rence d'informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me (COMPAS), Jul 2016, Lorient, France
Resume_court
Grâce à l'évolution des technologies de capture d'image et de vidéo il est possible aujourd'hui .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01325850/file/RR-8922.pdf BibTex
auteur
Mariem Saied, Jens Gustedt, Gilles Muller
titre
Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
article
High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
Resume_court
We present a source-to-source auto-generating framework that enables a large programmer community to .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01337093/file/RR-8928.pdf BibTex
auteur
Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil
titre
Resource-Centered Distributed Processing of Large Histopathology Images
article
19th IEEE International Conference on Computational Science and Engineering, Aug 2016, Paris, France
Resume_court
Automatic cell nuclei detection is a real challenge in medical imagery. The Marked Point Process (MP .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01325648/file/RR-8921.pdf BibTex
auteur
Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil
titre
Resource-Centered Distributed Processing of Large Histopathology Images
article
19th IEEE International Conference on Computational Science and Engineering, Jun 2016, Paris, France. 2016
Accès au bibtex
BibTex

2015

auteur
Tomasz Buchert, Lucas Nussbaum, Jens Gustedt
titre
Towards Complete Tracking of Provenance in Experimental Distributed Systems Research
article
REPPAR - Second International Workshop on Reproducibility in Parallel Computing -- held together with Euro-Par, Aug 2015, Vienna, Austria
Resume_court
Running experiments on modern systems like supercomput-ers, cloud infrastructures or P2P networks be .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01191855/file/provenance.pdf BibTex
auteur
Jens Gustedt
titre
Futex based locks for C11's generic atomics
article
[Research Report] RR-8818, INRIA Nancy. 2015
Resume_court
We present a new algorithm and implementation of a lock primitive that is based on Linux' native loc .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01236734/file/RR-8818.pdf BibTex
auteur
Jens Gustedt
titre
Modular C
article
[Research Report] RR-8751, INRIA. 2015
Resume_court
We propose an extension to the C standard called Modular C. It consists in the addition of a handful .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01169491/file/RR-8751.pdf BibTex
auteur
Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou
titre
Data handover on a peer-to-peer system
article
[Research Report] RR-8690, Inria Nancy - Grand Est (Villers-lès-Nancy, France); INRIA. 2015, pp.37
Resume_court
This paper presents the DHO API and its integration into a peer-to-peer Grid architecture. It provid .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01120837/file/RR-8690.pdf BibTex
auteur
David Keaton, Jens Gustedt
titre
Underspecified Aspects of Threads in C
article
[Technical Report] RT-0470, Inria. 2015
Resume_court
To provide a standard method for using threads in C, a threads interface had been added to C11. It u .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01230011/file/RT470.pdf BibTex

2014

auteur
Christine Berthaud, Laurent Capelli, Jens Gustedt, Claude Kirchner, Kevin Loiseau, Agnès Magron, Maud Medves, Alain Monteil, Gaëlle Riverieux, Laurent Romary
titre
EPISCIENCES - an overlay publication platform
article
ELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
Resume_court
This paper delineates the main characteristics of the Episciences platform, an environment for overl .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01002815/file/STAL9781614994091-0078.pdf BibTex
auteur
Tomasz Buchert, Lucas Nussbaum, Jens Gustedt
titre
A workflow-inspired, modular and robust approach to experiments in distributed systems
article
CCGRID - 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2014, Chicago, United States
Resume_court
Experimentation in large-scale distributed systems research is very challenging due to the size and .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00909347/file/xpflow.pdf BibTex
auteur
Jens Gustedt, Stéphane Vialle, Patrick Mercier
titre
Resource Centered Computing delivering high parallel performance
article
Heterogeneity in Computing Workshop (HCW 2014), May 2014, Phenix, AZ, United States
Resume_court
Modern parallel programming requires a combination of differentparadigms, expertise and tuning, that .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00921128/file/RR-8433.pdf BibTex

2013

auteur
Sylvain Contassot-Vivier, Stéphane Vialle, Jens Gustedt
titre
Development methodologies for GPU and cluster of GPUs
article
Raphaël Couturier. Development methodologies for GPU and cluster of GPUs, Chapman & Hall/CRC, 2013, 978-1-4665-7162-4
Resume_court
This book chapter proposes to draw several development methodologies to obtain efficient codes in cl .....
Accès au bibtex
BibTex

2012

auteur
Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou
titre
A Dynamic Distributed Algorithm for Read Write Locks (extended abstract)
article
PDP 2012 - 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2012, München, Germany. pp.180-184, ⟨10.1109/PDP.2012.32⟩
Resume_court
In this paper, a new algorithm that extends Naimi-Trehel token-based mutual exclusion is proposed. C .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00641068/file/RR-7798.pdf BibTex

2011

auteur
Tomasz Buchert, Lucas Nussbaum, Jens Gustedt
titre
Methods for Emulation of Multi-Core CPU Performance
article
13th IEEE International Conference on High Performance Computing and Communications (HPCC-2011), Sep 2011, Banff, Canada. pp.288 - 295, ⟨10.1109/HPCC.2011.45⟩
Resume_court
When validating or evaluating real distributed applications, it is useful to be able to test the app .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00535534/file/hpcc-emul-multicore-cpu-perf.pdf BibTex
auteur
Jens Gustedt, Hari K. Raghavan, Pedro Schimit
titre
Exploring the random genesis of co-occurrence graphs
article
Physica A: Statistical Mechanics and its Applications, 2011, 390, pp.1516 - 1528. ⟨10.1016/j.physa.2010.12.036⟩
Resume_court
Using the network random generation models from (Gustedt 2009), we simulate and analyze several char .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00450684/file/RR_7186.pdf BibTex
auteur
Jens Gustedt, Emmanuel Jeanvoine
titre
Relaxed Synchronization with Ordered Read-Write Locks
article
Euro-Par 2011: Parallel Processing Workshops, Aug 2011, Bordeaux, France. pp.387-397
Resume_court
This paper promotes the first stand-alone implementation of our adaptive tool for synchronization '' .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00639289/file/RR-7790.pdf BibTex
auteur
Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou
titre
Modeling and Experimental Validation of the Data Handover API
article
Advances in Grid and Pervasive Computing, May 2011, Oulu, Finland. pp.117-126
Resume_court
Data Handover, DHO, is a general purpose API for an efficient management for locking and mapping dat .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00547598/file/RR-7493.pdf BibTex

2010

auteur
Tomasz Buchert, Lucas Nussbaum, Jens Gustedt
titre
Accurate emulation of CPU performance
article
8th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms - HeteroPar'2010, Aug 2010, Ischia, Italy
Resume_court
This paper addresses the question of CPU performance emulation, which allows experimenters to evalua .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00490108/file/heteropar-accurate-emul-cpu.pdf BibTex
auteur
Louis-Claude Canon, Olivier Dubuisson, Jens Gustedt, Emmanuel Jeannot
titre
Defining and Controlling the Heterogeneity of a Cluster: the Wrekavoc Tool
article
Journal of Systems and Software, 2010, 83 (5), pp.786-802. ⟨10.1016/j.jss.2009.11.734⟩
Resume_court
The experimental validation and the testing of solutions that are designed for heterogeneous environ .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00438616/file/RR-7135.pdf BibTex
auteur
Pierre-Nicolas Clauss, Jens Gustedt
titre
Iterative Computations with Ordered Read-Write Locks
article
Journal of Parallel and Distributed Computing, 2010, 70 (5), pp.496­-504. ⟨10.1016/j.jpdc.2009.09.002⟩
Resume_court
We introduce the framework of ordered read-write locks, ORWL, that are characterized by two main fea .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00330024/file/RR-6685.pdf BibTex
auteur
Pierre-Nicolas Clauss, Jens Gustedt
titre
Experimenting Iterative Computations with Ordered Read-Write Locks
article
18th Euromicro International Conference on Parallel, Distributed and network-based Processing, Feb 2010, Pisa, Italy. pp.155-162, ⟨10.1109/PDP.2010.11⟩
Resume_court
This paper presents the first experimental results of the use of our new adaptive tool for synchroni .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00436417/file/RR-7123.pdf BibTex
auteur
Jens Gustedt, Stéphane Vialle, Hervé Frezza-Buet, d'Havh Boumba Sitou, Nicolas Fressengeas
titre
InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications
article
PARA 2010 : State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavick, Iceland. 4 p
Resume_court
InterCell is an open, operational software suite for implementation, code generation and interactive .....
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00491969/file/Supelec614.pdf BibTex
auteur
Jens Gustedt, Stéphane Vialle, Hervé Frezza-Buet, d'Havh Boumba Sitou, Nicolas Fressengeas, Jérémy Fix
titre
InterCell: a Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications
article
PARA 2010 - 10th International Conference on Applied Parallel and Scientific Computing, Jun 2010, Reykjavík, Iceland. pp.282-292, ⟨10.1007/978-3-642-28151-8⟩
Resume_court
InterCell is an open and operational software suite for implementation, code generation and interact .....
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00645121/file/RR-7814.pdf BibTex

2009

auteur
d'Havh Boumba Sitou, Sidi Ould Saad Hamady, Nicolas Fressengeas, Hervé Frezza-Buet, Stéphane Vialle, Jens Gustedt, Patrick Mercier
titre
Cellular based simulation of semiconductors thin films
article
Innovations in Thin Film Processing and Characterization - ITFPC 09, Nov 2009, Nancy, France
Accès au bibtex
BibTex
auteur
Olivier Dubuisson, Jens Gustedt, Emmanuel Jeannot
titre
Validating Wrekavoc: A tool for heterogeneity emulation
article
Heterogenity in Computing Workshop (HCW 09) in International Parallel and Distributed Processing Symposium - IPDPS 2009, May 2009, Rome, Italy. pp.1-12, ⟨10.1109/IPDPS.2009.5160913⟩
Resume_court
Experimental validation and testing of solutions designed for heterogeneous environment is a challen .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Generalized Attachment Models for the Genesis of Graphs with High Clustering Coefficient
article
Santo Fortunato and Giuseppe Mangioni and Ronaldo Menezes and Vincenzo Nicosia. Complex Networks - Results of the 2009 International Workshop on Complex Networks (CompleNet 2009), 207, Springer Berlin / Heidelberg, pp.99-113, 2009, Studies in Computational Intelligence, 978-3-642-01205-1. ⟨10.1007/978-3-642-01206-8_9⟩
Resume_court
Commonly used techniques for the random generation of graphs such as those of Erdős & Rényi and Ba .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00312059/file/attachment-CompleNet.pdf BibTex
auteur
Jens Gustedt, Emmanuel Jeannot, Martin Quinson
titre
Experimental Methodologies for Large-Scale Systems: a Survey
article
Parallel Processing Letters, 2009, 19 (3), pp.399-418. ⟨10.1142/S0129626409000304⟩
Resume_court
The increasing complexity of available infrastructures with specific features (caches, hyperthreadin .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00364180/file/RR-6859.pdf BibTex

2008

auteur
Pierre-Nicolas Clauss, Jens Gustedt, Frédéric Suter
titre
Out-of-Core Wavefront Computations with Reduced Synchronization
article
16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Feb 2008, Toulouse, France. pp.293-300
Resume_court
Matrix computation algorithms often exhibit dependencies between neighboring elements inside loop ne .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00176084/file/cs07_th.pdf BibTex
auteur
Olivier Dubuisson, Jens Gustedt, Emmanuel Jeannot
titre
Multi-Site Emulation using Wrekavoc: Validating Distributed Algorithms and Applications
article
[Research Report] RR-6696, INRIA. 2008, 30 p
Resume_court
Experimental validation and testing of solutions designed for heterogeneous environment is a challen .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00331627/file/RR-wrekavoc.pdf BibTex
auteur
Jens Gustedt
titre
Efficient Sampling of Random Permutations
article
Journal of Discrete Algorithms, 2008, 6 (1), pp.125-139
Resume_court
We show how to uniformly distribute data at random (not to be confounded with permutation routing) i .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000900/file/perm.pdf BibTex
auteur
Jens Gustedt
titre
Engineering Parallel In-Place Random Generation of Integer Permutations
article
International Workshop on Experimental Algorithms, WEA 2008, May 2008, Provincetown, MA, United States. pp.129-141
Resume_court
We tackle the feasibility and efficiency of two new parallel algorithms that sample random permutati .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, Pedro Schimit
titre
Numerical results for generalized attachment models for the genesis of graphs
article
[Technical Report] RT-0361, INRIA. 2008, 74 p
Resume_court
Using the network generation model from Gustedt 2008, we simulate and analyze the clustering coeffic .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00349461/file/RT-0361.pdf BibTex

2007

auteur
Nicolas Fressengeas, Hervé Frezza-Buet, Jens Gustedt, Stéphane Vialle
titre
An Interactive Problem Modeller and PDE Solver, Distributed on Large Scale Architectures
article
Third International Workshop on Distributed Frameworks for Multimedia Applications - DFMA '07, Jun 2007, Paris, France
Resume_court
This paper introduces a research project and a software environment to speed up and size up problem .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00139660/file/dfma-paper.pdf BibTex
auteur
Jens Gustedt
titre
Sublinear Communication for Integer Permutations
article
[Research Report] RR-6403, INRIA. 2007, 20 p
Resume_court
In [\cite{GUSTEDT:2006:INRIA-00000900:2}] we have shown that random shuffling of data can be realise .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00201503/file/RR-6403.pdf BibTex

2006

auteur
Mohamed Essaïdi, Jens Gustedt
titre
An experimental validation of the PRO model for parallel and distributed computation
article
14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), Feb 2006, Montbeliard-Sochaux, France. pp.449-456
Resume_court
The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000612/file/PRO-experiments.pdf BibTex
auteur
Assefaw Hadish Hadish Gebremedhin, Jens Gustedt, Mohamed Essaïdi, Isabelle Guérin Lassous, Jan Arne Telle
titre
PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms
article
Nordic Journal of Computing, 2006, 13 (4), pp.215-239
Resume_court
We present a new parallel computation model called the Parallel Resource-Optimal computation model. .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000899/file/main.pdf BibTex
auteur
Gaurav Goel, Jens Gustedt
titre
Bounded Arboricity to Determine the Local Structure of Sparse Graphs
article
32 International Workshop on Graph-Theoretic Concepts in Computer Science - WG 2006, Jun 2006, Bergen, Norway. pp.159-167, ⟨10.1007/11917496_15⟩
Resume_court
A known approach of detecting dense subgraphs communities in large sparse graphs involves first comp .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00103755/file/arboricity.pdf BibTex
auteur
Jens Gustedt, Stéphane Vialle, Amelia de Vivo
titre
The parXXL Environment: Scalable Fine Grained Development for Large Coarse Grained Platforms
article
PARA-06: Worshop on state-of-the-art in scientific and parallel computing, Jun 2006, Umea, Sweden. pp.1094-1104, ⟨10.1007/978-3-540-75755-9_127⟩
Resume_court
We present a new integrated environment for cellular computing and other fine grained applications. .....
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00280094/file/PARA-2006-LNCS-GustedtVialleDeVivo.pdf BibTex
auteur
Jens Gustedt, Stéphane Vialle, Amelia de Vivo
titre
parXXL: A Fine Grained Development Environment on Coarse Grained Architectures
article
Workshop on State-of-the-Art in Scientific and Parallel Computing - PARA'06, Jun 2006, Umeå/Sweden, Sweden
Resume_court
We present a new integrated environment for cellular computing and other fine grained applications. .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00103772/file/paper_48.pdf BibTex
auteur
Jens Gustedt
titre
Data Handover: Reconciling Message Passing and Shared Memory
article
Foundations of Global Computing, 2006, Dagstuhl, Germany
Resume_court
Data Handover (DHO) is a programming paradigm and interface that aims to handle data between paralle .....
Accès au bibtex
BibTex

2004

auteur
Mohamed Essaïdi, Isabelle Guérin Lassous, Jens Gustedt
titre
SSCRAP : Soft Synchronized Computing in Rounds for Adequate Parallelization
article
[Research Report] RR-5184, INRIA. 2004
Resume_court
The Soft Synchronized Computing in Round for Adequate Parallelization () library is a C++ communicat .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071404/file/RR-5184.pdf BibTex
auteur
Jens Gustedt
titre
Data Handover: Reconciling Message Passing and Shared Memory
article
[Research Report] RR-5383, INRIA. 2004, pp.17
Resume_court
We present a programming paradigm and interface that aims to handle data between parallel or distrib .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00070620/file/RR-5383.pdf BibTex
auteur
Jens Gustedt
titre
External Memory Algorithms using a Coarse Grained Paradigm
article
[Research Report] RR-5142, INRIA. 2004
Resume_court
We present a simple framework that allows for the use of algorithms in external memory settings that .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071441/file/RR-5142.pdf BibTex

2003

auteur
Wissem Ben Fraj, Mohamed Essaïdi, Jens Gustedt
titre
Performance Implications by the Hierarchical Design of Clusters
article
The 7th world multiconference on Systemics, Cybernetics and Informatics - SCI'2003, Jul 2003, Orlando, USA, 6 p
Resume_court
We present experimental results for the evaluation of PC clusters that differ on several aspect of t .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107662/file/A03-R-142.pdf BibTex
auteur
Karell Bertet, Jens Gustedt, Michel Morvan
titre
Weak-order extensions of an order
article
Theoretical Computer Science, 2003, 304 (1-3), pp.249-268. ⟨10.1016/0898-1221(96)00102-2⟩
Resume_court
In this paper, at first we describe a digraph representing all the weak-order extensions of a partia .....
Accès au bibtex
BibTex
auteur
Assefaw Hadish Gebremedhin, Isabelle Guérin Lassous, Jens Gustedt, Jan Arne Telle
titre
Graph Coloring on a Coarse Grained Multicomputers
article
Discrete Applied Mathematics, 2003, 131 (1), pp.179-198
Resume_court
We present the first efficient parallel algorithm for a coarse grained multiprocessor that colors a .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Towards Realistic Implementations of External Memory Algorithms using a Coarse Grained Paradigm
article
International Conference on Computer Science and its Applications - ICCSA'2003, 2003, Montréal, Canada, pp.269-278
Resume_court
We present an extension to SSCRAP, our C++ environment for the development of coarse grained algorit .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Towards Realistic Implementations of External Memory Algorithms using a Coarse Grained Paradigm
article
[Research Report] RR-4719, INRIA. 2003
Resume_court
We present an extension to SSCRAP, our C++ environment for the development of coarse grained algorit .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071867/file/RR-4719.pdf BibTex
auteur
Jens Gustedt, Jan Arne Telle
titre
A work-optimal coarse-grained PRAM algorithm for Lexicographically First Maximal Independent Set
article
Italian Conference on Theoretical Computer Science - ICTCS'03, EATCS, Oct 2003, Bertinoro, Italy, pp.125-136, ⟨10.1007/b13810⟩
Resume_court
The ``Lexicographically First Maximal Independent Set Problem'' on graphs with bounded degree 3 is a .....
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Randomized Permutations in a Coarse Grained Parallel Environment [extended abstract]
article
Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures - SPAA'03, ACM, Jun 2003, San Diego, CA, United States. pp.248-249
Resume_court
We show how to uniformly distribute data at random (not to be confounded with permutation routing) i .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00107672/file/A03-R-186.pdf BibTex

2002

auteur
Elias Dahlhaus, Jens Gustedt, Ross M. Mcconnell
titre
Partially complemented representations of digraphs
article
Discrete Mathematics and Theoretical Computer Science, 2002, Vol. 5, pp.147-168. ⟨10.46298/dmtcs.303⟩
Resume_court
A complementation operation on a vertex of a digraph changes all outgoing arcs into non-arcs, and ou .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00100846/file/514.pdf BibTex
auteur
Mohamed Essaïdi, Isabelle Guérin Lassous, Jens Gustedt
titre
SSCRAP: An Environment for Coarse Grained Algorithms
article
14th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS'2002, Nov 2002, Boston, MA, USA, pp.398-403
Resume_court
In this paper we present SSCRAP an environment for the development of coarse grained algorithms whic .....
Accès au bibtex
BibTex
auteur
Mohamed Essaïdi, Isabelle Guérin Lassous, Jens Gustedt
titre
SSCRAP : environnement de développement pour les modèles parallèles à gros grain
article
Quatorzième édition des Rencontres Francophones du Parallélisme - RENPAR'14, Apr 2002, Hammamet, Tunisie, 8 p
Resume_court
Dans cet article nous présentons l'environnement de développement d'algorithmes gros grain SSCRAP. .....
Accès au bibtex
BibTex
auteur
Assefaw Hadish Gebremedhin, Isabelle Guérin Lassous, Jens Gustedt, Jan Arne Telle
titre
PRO: a Model for Parallel Resource-Optimal Computation
article
16th Annual International Symposium on High Performance Computing Systems and Applications, Jun 2002, Moncton, New Brunswick, Canada, pp.106-113
Resume_court
We present a new parallel computational model that enables the design of resource-optimal scalable p .....
Accès au bibtex
BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt
titre
Portable List Ranking: an Experimental Study
article
ACM Journal of Experimental Algorithmics, 2002, 7 (7), 18 p. ⟨10.1145/944618.944625⟩
Resume_court
We present and analyze two portable algorithms for the List Ranking Problem in the Coarse Grained Mu .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, Ole A. Mæhle, Jan Arne Telle
titre
The Treewidth of Java Programs
article
4th International Workshop on Algorithm Engineering and Experiments - ALENEX'02, 2002, San Francisco, CA US, 12 p
Resume_court
Intuitively, the treewidth of a graph $G$ measures how close $G$ is to being a tree. The lower the t .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, Emmanuel Jeannot, Jean-Louis Pazat, Stéphane Vialle
titre
GRID 2002
article
Ecole thèmatique sur la globalisation des ressources informatiques et des données, Emmanuel Jeannot, Dec 2002, Aussois, France
Resume_court
Chapitre de cours de l'école GRID'2002
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Randomized Permutations in a Coarse Grained Parallel Environment
article
[Research Report] RR-4639, INRIA. 2002, pp.12
Resume_court
We show how to distribute data at random (not to be confounded with permutation routing) in a coarse .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071946/file/RR-4639.pdf BibTex

2001

auteur
Elias Dahlhaus, Jens Gustedt, Ross M. Mcconnell
titre
Efficient and Practical Algorithms for Sequential Modular Decomposition
article
Journal of Algorithms in Cognition, Informatics and Logic, 2001, 41 (2), pp.360-387
Resume_court
A module of an undirected graph G=(V,E) is a set X of vertices that have the same set of neighbors i .....
Accès au bibtex
BibTex
auteur
Assefaw Hadish Hadish Gebremedhin, Jens Gustedt, Isabelle Guérin Lassous, Jan Arne Telle
titre
PRO: a model for Parallel Resource-Optimal Computation
article
[Research Report] RR-4319, INRIA. 2001, pp.11
Resume_court
We present a new parallel computational model that enables the design of resource-optimal scalable p .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072268/file/RR-4319.pdf BibTex
auteur
Jens Gustedt, Jan Arne Telle
titre
A Work-Optimal Algorithm on log delta n Processors for a P-Complete Problem
article
[Research Report] RR-4174, INRIA. 2001, pp.9
Resume_court
We present a parallel algorithm for the Lexicographically First Maximal Independent Set Problem on g .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072448/file/RR-4174.pdf BibTex
auteur
Jens Gustedt, Ole A. Maehle, Jan Arne Telle
titre
The Treewidth of Java Programs
article
[Research Report] RR-4318, INRIA. 2001, pp.11
Resume_court
Intuitively, the treewidth of a graph $G$ measures how close $G$ is to being a tree. The lower the t .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072269/file/RR-4318.pdf BibTex

2000

auteur
Johanne Cohen, Eric Fleury, Jens Gustedt
titre
JUMBO : protocole de routage unicast dans les réseaux ad-hoc
article
2ièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - ALGOTEL 2000, 2000, La Rochelle, France. pp.31-34
Resume_court
Un réseau ad-hoc est une collection d'entités mobiles, interconnectées par une technologie sans f .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099028/file/A00-R-130.pdf BibTex
auteur
Christophe Fiorio, Jens Gustedt, Thomas Lange
titre
Union-Find Volume Segmentation
article
7th International Workshop on Combinatorial Image Analysis - IWCIA'2000, 2000, Caen, France. pp.181-197
Resume_court
We present an efficient method to segment large 3d images that takes the whole 3-dimensional structu .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099034/file/A00-R-148.pdf BibTex
auteur
Assefaw Hadish Gebremedhin, Isabelle Guérin Lassous, Jens Gustedt, Jan Arne Telle
titre
Graph Coloring on a Coarse Grained Multiprocessor
article
26th International Workshop on Graph-Theoretic Concepts in Computer Science - WG'2000, 2000, Konstanz, Germany, pp.184-195
Resume_court
We present the first efficient parallel algorithm for a coarse grained multiprocessor that colors a .....
Accès au bibtex
BibTex
auteur
Assefaw Hadish Hadish Gebremedhin, Isabelle Guérin Lassous, Jens Gustedt, Jan Arne Telle
titre
Graph Coloring on a Coarse Grained Multiprocessor (extended abstract)
article
[Research Report] RR-3906, INRIA. 2000, pp.11
Resume_court
We present the first efficient algorithm for a coarse grained multiprocessor that colors a graph $G$ .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072747/file/RR-3906.pdf BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt, Michel Morvan
titre
Feasability, Portability, Predictability and Efficiency : Four Ambitious Goals for the Design and Implementation of Parallel Coarse Grained Graph Algorithms
article
[Research Report] RR-3885, INRIA. 2000, pp.34
Resume_court
We study the relationship between the design and analysis of graph algorithms in the coarsed grained .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072768/file/RR-3885.pdf BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt, Michel Morvan
titre
The Handling of Graphs on PC Clusters : A Coarse Grained Approach
article
[Research Report] RR-3897, INRIA. 2000
Resume_court
We study the relationship between the design and analysis of graph algorithms in the coarsed grained .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072757/file/RR-3897.pdf BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt, Michel Morvan
titre
Handling Graphs According to a Coarse Grained Approach: Experiments with PVM and MPI
article
7th European PVM/MPI Users' Group Meeting, Sep 2000, Balatonfüred, Hungary. pp.72-79
Resume_court
We report on experiments with graph algorithms which were designed for the coarse grained multicompu .....
Accès au bibtex
BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt
titre
Portable List Ranking: an Experimental Study
article
WAE 2000 - Workshop on Algorithm Engineering, 2000, Saarbrücken, Germany. pp.111-122, ⟨10.1007/3-540-44691-5_10⟩
Resume_court
We present two portable algorithms for the List Ranking Problem in the Coarse Grained Multicomputer .....
Accès au bibtex
BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt
titre
List Ranking on PC Clusters
article
[Research Report] RR-3869, INRIA. 2000, pp.14
Resume_court
We present two algorithms for the List Ranking Problem in the Coarse Grained Multicomputer model (CG .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072785/file/RR-3869.pdf BibTex
auteur
Jens Gustedt
titre
Communication and Memory Optimized Tree Contraction and List Ranking
article
[Research Report] RR-4061, INRIA. 2000, pp.9
Resume_court
We present a simple and efficient algorithm for the Tree Contraction Problem on a Coarse Grained $p$ .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072575/file/RR-4061.pdf BibTex
auteur
Jens Gustedt, Ole A. Mæhle, Jan Arne Telle
titre
Java Programs do not have Bounded Treewidth
article
[Research Report] RR-3870, INRIA. 2000, pp.6
Resume_court
We show that the control-flow graphs of Java programs, due to the labelled break and continue statem .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072784/file/RR-3870.pdf BibTex

1999

auteur
Elias Dahlhaus, Jens Gustedt, Ross M. Mcconnell
titre
Partially Complemented Representations of Digraphs
article
[Research Report] RR-3832, INRIA. 1999, pp.24
Resume_court
A complementation operation on a vertex of a digraph changes all outgoing arcs into non-arcs, and ou .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072825/file/RR-3832.pdf BibTex
auteur
Elias Dahlhaus, Jens Gustedt, Ross M. Mcconnell
titre
Efficient and Practical Algorithms for Sequential Modular Decomposition
article
[Research Report] RR-3804, INRIA. 1999, pp.23
Resume_court
A module of an undirected graph G=(V,E) is a set X of vertices that have the same set of neighbors i .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072855/file/RR-3804.pdf BibTex
auteur
Stefan Felsner, Jens Gustedt, Michel Morvan
titre
Interval Reductions and Extensions of Orders : Bijections to Chains in Lattices
article
Order, 1999, 15 (3), pp.221-246
Resume_court
We discuss bijections that relate families of chains in lattices associated to an order $P$ and fami .....
Accès au bibtex
BibTex
auteur
Isabelle Guérin Lassous, Jens Gustedt
titre
List Ranking on a Coarse Grained Multiprocessor
article
[Research Report] RR-3640, INRIA. 1999, pp.14
Resume_court
We present a deterministic algorithm for the List Ranking Problem on a Coarse Grained p-Multiprocess .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00073033/file/RR-3640.pdf BibTex
auteur
Jens Gustedt
titre
Finiteness Theorems for Graphs and Posets Obtained by Compositions
article
Order, 1999, 15 (3), pp.203-220
Resume_court
We investigate classes of graphs and posets that admit decompositions to obtain or disprove finitene .....
Accès au bibtex
BibTex

1998

auteur
Hans L. Bodlaender, Jens Gustedt, Jan Arne Telle
titre
Linear-Time Register Allocation for a Fixed Number of Registers and no Stack Variables
article
Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'98), 1998, San Francisco, CA, United States. pp.574-583
Accès au bibtex
BibTex
auteur
Stefan Felsner, Jens Gustedt, Michel Morvan
titre
Interval Reductions and Extensions of Orders: Bijections to Chains in Lattices
article
10th International Conference on Formal Power Series and Algebraic Combinatorics, 1998, Toronto, Canada
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Efficient Union-Find for Planar Graphs and other Sparse Graph Classes
article
Theoretical Computer Science, 1998, 203 (1), pp.123-141
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
Minimum Spanning Trees for Minor-Closed Graph Classes in Parallel
article
15th Symposium on Theoretical Aspects of Computer Science (STACS '98), 1998, Paris, France. pp.421-431
Accès au bibtex
BibTex

1997

auteur
Karell Bertet, Jens Gustedt, Michel Morvan
titre
Weak-Order Extensions of an Order
article
Graph-Theoretic Concepts in Computer Science, 1997, Berlin, Germany. pp.65-77
Accès au bibtex
BibTex
auteur
Elias Dahlhaus, Jens Gustedt, Ross M. Mcconnell
titre
A Pratical and Efficient Algorithm for Substitution Decomposition
article
Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'97), 1997, New Orleans, United States. pp.26-35
Resume_court
We give a simple recursive algorithm for modular decomposition of undirected graphs that runs in O(n .....
Accès au bibtex
BibTex
auteur
Christophe Fiorio, Jens Gustedt
titre
Memory Management for Union-Find Algorithms
article
STACS: Symposium on Theoretical Aspects of Computer Science, Feb 1997, Lübeck, Germany. pp.67-79, ⟨10.1007/BFb0023449⟩
Resume_court
We provide a general tool to improve the real time performance of a broad class of Union-Find algori .....
Accès au bibtex
BibTex

1996

auteur
Christophe Fiorio, Jens Gustedt
titre
Two Linear Time Union-Find Strategies for Image Processing
article
Theoretical Computer Science, 1996, 154 (2), pp.165-181. ⟨10.1016/0304-3975(94)00262-2⟩
Resume_court
We consider Union-Find as an appropriate data structure to obtain two linear time algorithms for the .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00549539/file/82650509.pdf BibTex
auteur
Jens Gustedt
titre
Efficient Union-Find for Planar Graphs and other Sparse Graph Classes
article
Graph-Theoretic Concepts in Computer Science, 1996, Cadenabbia, Italy. pp.181-195
Resume_court
We solve the Union-Find problem (UF) efficiently for the case the input is restricted to several gra .....
Accès au bibtex
BibTex

1995

auteur
Jens Gustedt
titre
Well-Quasi-Ordering Finite Posets and Formal Languages
article
Journal of Combinatorial Theory, Series B, 1995, 65 (1), pp.111--124
Resume_court
We show that the set of finite posets is a well-quasi-ordering with respect to a certain relation &l .....
Accès au bibtex
BibTex
auteur
Jens Gustedt, Michel Morvan, Laurent Viennot
titre
A compact data structure and parallel algorithms for permutation graphs
article
21st Workshop on Graph-Theoretic Concepts in computer Science (WG), 1995, Aachen, Germany. pp.372-380, ⟨10.1007/3-540-60618-1⟩
Resume_court
Starting from a permutation of {0,...,n-1} we compute in parallel with a workload of O(n log n) a co .....
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00471607/file/wg95.pdf BibTex

1994

auteur
Stefan Felsner, Jens Gustedt, Michel Morvan, Jean-Xavier Rampon
titre
Constructing Colorings for Diagrams
article
Discrete Applied Mathematics, 1994, 51 (1-2), pp.85-94. ⟨10.1016/0166-218X(94)90096-5⟩
Resume_court
We discuss bounds for and algorithmic aspects of the chromatic number of diagrams. In particular we .....
Accès au bibtex
BibTex
auteur
Christophe Fiorio, Jens Gustedt
titre
Fast and Good: Image Segmentation using Edge and Region Criteria Simultaneously
article
[Research Report] 1994
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
The General Two-Path Problem in Time O(m log n)
article
[Research Report] 1994
Accès au bibtex
BibTex
auteur
Jens Gustedt, Angelika Steger
titre
Testing Hereditary Properties Efficiently on Average
article
Proceedings of the International Workshop on Orders, Algorithms and Applications ( ORDAL'94), 1994, Lyon, France. pp.100-116
Accès au bibtex
BibTex

1993

auteur
Jens Gustedt
titre
Well-Quasi-Ordering Finite Posets
article
Graph Structure Theory, 1993, Seattle, United States. pp.511-515
Accès au bibtex
BibTex
auteur
Jens Gustedt
titre
On the Pathwidth of Chordal Graphs
article
Discrete Applied Mathematics, 1993, 45 (3), pp.233-248
Accès au bibtex
BibTex

1992

auteur
Jens Gustedt
titre
Algorithmic Aspects of Ordered Structures
article
Mathematics [math]. Technische Universität Berlin, 1992. English. ⟨NNT : ⟩
Resume_court
In this work we relate the theory of quasi-orders to the theory of algorithms over some combinatoria .....
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00549774/file/dissertation-gustedt-1.pdf BibTex
auteur
Jens Gustedt, Michel Morvan
titre
N-free Orders and Minimal Interval Extensions
article
Order, 1992, 9 (3), pp.291-302
Accès au bibtex
BibTex