EDBT 2026 Demo / reviewers in the wild / expert
Alain Gibaud
dblp:99/2486
· DBLP profile ↗
2ranked-venue papers
2as first author
0since 2021 · last 2015
0000-0002-7777-6427ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 first-authorComputer networks · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Parallel and multicore computing · 61% Distributed systems · 39% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
language semantics |
0.0 | 1 | 2002 | Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002 |
Programming languages and type systems › language semantics › formal semantics
operational semantics |
0.0 | 1 | 2002 | Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002 |
Parallel and multicore computing › parallel programming models › concurrent programming languages
linda |
0.0 | 1 | 2002 | Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002 |
Parallel and multicore computing
parallel programming models |
0.0 | 1 | 2002 | Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002 |
Distributed systems › distributed coordination
tuple space coordination |
0.0 | 1 | 2002 | Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002 |
Methods — techniques the papers use, named apart from their topics
formal operational semantics · 0.1bound types · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | Message forwarding based on vehicle trajectory history in Fully Distributed Traffic Information Systems
Alain Gibaud, Philippe Thomin |
Comput. Commun. | 1 |
| 2002 | Communications Directed by Bound Types in Linda: Presentation and Formal ModelabstractLinda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model suffers from the false matching phenomenon. We explain under which conditions this problem occurs, we examine the solutions already proposed to solve it, and we show why they are not sufficient. In this framework, our goal is to propose an extension to the Linda model in order to eliminate the false matching phenomenon. This model-Linda with bound types or B-Linda-suitable for modern programming paradigms, adds an extended-type notion into the basic Linda model. It is first introduced in an informal manner, then we present an implementation of it. Some formal aspects are specified in the appendix: The definition of the model's elements and operational semantics. Alain Gibaud, Philippe Thomin |
IEEE Trans. Parallel Distributed Syst. | 1 |