EDBT 2026 Demo / reviewers in the wild / expert
Hervé Paulino
dblp:04/5183
· DBLP profile ↗
31ranked-venue papers
10as first author
9since 2021 · last 2026
0000-0001-7958-9740ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 13 · 3 first-author · 4 since 2021Human-computer interaction and ubiquitous computing · 8 · 2 since 2021Computer networks · 3 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 3 · 3 first-author · 1 since 2021Databases, data management, data science and information retrieval · 2 · 2 first-authorTheory of computation · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Turmeric: A Fault-Tolerant Publish/Subscribe Service with Multiple Ordering Guarantees
Luís Chula, Paulo Matos, Pedro Mascarenhas, Hervé Paulino |
ICDCS | 4 |
| 2025 | WFANS: Simulating Wi-Fi Aware Interactions with Android API FidelityabstractWi-Fi Aware application development faces challenges from limited device availability and a lack of scalable, accurate simulation tools, hindering realistic, reproducible testing. We introduce WFANS, a PeerSim-based simulation framework replicating the Android Wi-Fi Aware API. It implements core functionalities (clustering, service discovery, messaging and TCP communication), informed by empirical measurements. WFANS offers configurable models for network topology, mobility, radio conditions, and includes a graphical visualization interface. WFANS is validated against real-world metrics, showing accuracy in simulating short message loss and TCP throughput. Its applicability is demonstrated by porting Android applications with minimal changes. WFANS addresses a critical gap in the Wi-Fi Aware toolchain, offering a scalable, realistic environment for proximity networking research and development. João Tomás, Pedro Miguel Delgado, António Teófilo, Hervé Paulino, João Lourenço |
MSWiM | 4 |
| 2025 | Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe SystemsabstractDecentralized Publish/Subscribe (P/S) systems deployed at the edge must cope with two major challenges: frequent membership churn and storage hot-spots caused by skewed topic popularity. In this work, we address these challenges in topic-based P/S systems built over Distributed Hash Tables (DHTs). We introduce PARSLEY, a group-based DHT based on a hybrid architecture that supports dynamic group management. Groups are flexibly maintained through splits, merges, and proactive peer relocation driven by soft size limits, ensuring balanced membership while minimizing expensive global operations. Additionally, we propose a lightweight sharding mechanism for popular topics, which partitions metadata and subscriptions across multiple DHT groups to alleviate overload by directing only subsequent data to new shards. Both mechanisms are coordinated by an edge server while preserving decentralized execution within the overlay. An implementation in the THYME framework demonstrates that proactive peer relocation reduces merge operations substantially lowers bandwidth consumption for state transfers, stabilizing group sizes under churn, while sharding alleviates storage pressure on popular topics, reducing maximum group load by up to 65% with moderate overhead. Together, they improve scalability, resilience, and responsiveness of edge-enabled P/S systems. Jaime Saramago, João A. Silva, Hervé Paulino, João Lourenço |
NCA | 3 |
| 2023 | Efficient Synchronization-Light Work StealingabstractWork Stealing (Ws) is a provably efficient scheduler of parallel computations. In WS each processor owns a deque that it uses as a call stack; when out of work, processors try to steal tasks from other processors' deques. Unfortunately, the concurrent nature of processors' deques entails expensive synchronization even when processors access their own deques. Recently, Rito and Paulino have found that the use of split deques allows to provably avoid most synchronization costs while keeping WS's asymptotically optimal expected runtime; in Low-Cost Work Stealing (LCWS) - the variant of WS introduced in their work - processors need not synchronization for most local accesses to their (split) deques. Rafael Custódio, Hervé Paulino, Guilherme Rito |
SPAA | 2 |
| 2023 | PS-CRDTs: CRDTs in highly volatile environmentsabstractThe implementation of collaborative applications in highly volatile environments, such as the ones composed of mobile devices, requires low coordination mechanisms. The replication without coordination semantics of Conflict-Free Replicated Data Types (CRDTs) makes them a natural solution for these execution contexts. However, the current CRDT models require each replica to know all other replicas beforehand or to discover them on-the-fly. Such solutions are not compatible with the dynamic ingress and egress of nodes in volatile environments. To cope with this limitation, we propose the Publish/Subscribe Conflict-Free Replicated Data Type (PS-CRDT) model that combines CRDTs with the publish/subscribe interaction model, and, with that, enable the spatial and temporal decoupling of update propagation. We implemented PS-CRDTs in Thyme, a reactive storage system for mobile edge computing. Our experimental results show that PS-CRDTs require less communication than other CRDT-based solutions in volatile environments. António Barreto, Hervé Paulino, João A. Silva, Nuno M. Preguiça |
Future Gener. Comput. Syst. | 2 |
| 2023 | AtomiS: Data-Centric Synchronization Made PracticalabstractData-Centric Synchronization (DCS) shifts the reasoning about concurrency restrictions from control structures to data declaration. It is a high-level declarative approach that abstracts away from the actual concurrency control mechanism(s) in use. Despite its advantages, the practical use of DCS is hindered by the fact that it may require many annotations and/or multiple implementations of the same method to cope with differently qualified parameters. To overcome these limitations, in this paper we present AtomiS, a new DCS approach that requires only qualifying types of parameters and return values in interface definitions, and of fields in class definitions. The latter may also be abstracted away in type parameters, rendering class implementations virtually annotation-free. From this high level specification, a static analysis infers the atomicity constraints that are local to each method, considering valid only the method variants that are consistent with the specification, and performs code generation for all valid variants of each method. The generated code is then the target for automatic injection of concurrency control primitives that are responsible for ensuring the absence of data-races, atomicity-violations and deadlocks. We provide a Java implementation and showcase the applicability of AtomiS in real-life code. For the benchmarks analysed, AtomiS requires fewer annotations than the original number of regions requiring locks, as well as fewer annotations than Atomic Sets (a reference DCS proposal). Hervé Paulino, Ana Gualdina Almeida Matos, J. G. Cederquist, Marco Giunti, António Ravara |
Proc. ACM Program. Lang. | 1 |
| 2022 | Sage: A Multiuser Cooperative Controller for Mobile Edge Systems
Nuno Coelho, Hervé Paulino |
MobiQuitous | 3 |
| 2021 | Adaptive Replica Selection in Mobile Edge Environments
João A. Silva, Hervé Paulino |
MobiQuitous | 3 |
| 2021 | It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environmentsabstractNowadays, smart mobile devices generate huge amounts of data in all sorts of gatherings. Much of that data has localized and ephemeral interest, but can be of great use if shared among co-located devices. However, mobile devices often experience poor connectivity, leading to availability issues if application storage and logic are fully delegated to a remote cloud infrastructure. In turn, the edge computing paradigm pushes computations and storage beyond the data center, closer to end-user devices where data is generated and consumed, enabling the execution of certain components of edge-enabled systems directly and cooperatively on edge devices. In this article, we address the challenge of supporting reliable and efficient data storage and dissemination among co-located wireless mobile devices without resorting to centralized services or network infrastructures. We propose Thyme, a novel time-aware reactive data storage system for pervasive edge computing environments, that exploits synergies between the storage substrate and the publish/subscribe paradigm. We present the design of Thyme and elaborate a three-fold evaluation, through an analytical study, and both simulation and real world experimentations, characterizing the scenarios best suited for its use. The evaluation shows that Thyme allows the notification and retrieval of relevant data with low overhead and latency, and also with low energy consumption, proving to be a practical solution in a variety of situations. João A. Silva, Filipe Cerqueira, Hervé Paulino, João Lourenço, João Leitão 0001, Nuno M. Preguiça |
Future Gener. Comput. Syst. | 3 |
| 2020 | Data-Centric Distributed Computing on Networks of Mobile Devices
João A. Silva, António Teófilo, Hervé Paulino |
Euro-Par | 4 |
| 2020 | RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale ScenariosabstractDevice-to-device communication enables collaboration between mobile devices, even when no communication infrastructure is available. In this setting, WiFi-Direct emerges as a technology able to provide device-to-device communication with WiFi coverage and speed. WiFi-Direct specification only addresses communication inside small groups (typically up to 8 devices), but some solutions for inter-group communication have been proposed and, atop such solutions, automatic network formation algorithms are now appearing. However, these proposals are neither efficient for large scale scenarios, due to the use of broadcasts, nor effective, as they offer limited connectivity. António Teófilo, João Lourenço, Hervé Paulino |
MobiQuitous | 3 |
| 2020 | Data Storage and Sharing for Mobile Devices in Multi-region Edge NetworksabstractThe edge computing paradigm has been recently introduced with the aim of bringing cloud services closer to endusers. It provides an intermediate layer between devices and the actual cloud infrastructure, resulting in faster response times. In this paper, we propose a framework that leverages stationary nodes within the edge infrastructure to provide a persistent publish/subscribe system to a set of mobile devices, distributed across multiple network regions. We combine device-to-device and device-to-edge interactions with the goal of optimizing access to relevant data and allowing such data to be available to all users, hence creating a persistent, local-area data storage and dissemination network. Our experimental results show adequate response times for interactive usage and low energy consumption. We also evaluate our system against a cloud solution and verify that our proposal yields considerable latency speedups. João A. Silva, Hervé Paulino |
WoWMoM | 3 |
| 2019 | Time-aware reactive storage in wireless edge environmentsabstractNowadays, smart mobile devices generate huge amounts of data in all sorts of gatherings. Much of that data has localized and ephemeral interest, but can be of great use if shared among co-located devices. However, these devices often experience poor connectivity, leading to availability issues if applications' storage and logic are fully delegated to a remote cloud infrastructure. In turn, the edge computing paradigm pushes computations and storage beyond the data center, closer to end-user devices where data is generated and consumed. Thus, enabling the execution of certain components of edge-enabled systems directly and cooperatively on edge devices. In this paper, we address the challenge of supporting reliable and efficient data storage and dissemination among co-located wireless mobile devices without resorting to centralized services or network infrastructures. We propose Thyme, a novel time-aware reactive data storage system for wireless edge networks, that exploits synergies between the storage substrate and the publish/subscribe paradigm. We present the design of Thyme and evaluate it through simulation, characterizing the scenarios best suited for its use. The evaluation shows that Thyme allows for reliable notification and retrieval of relevant data with low overhead and latency. João A. Silva, Hervé Paulino, João Lourenço, João Leitão 0001, Nuno M. Preguiça |
MobiQuitous | 2 |
| 2018 | Stream Processing on Hybrid CPU/Intel® Xeon Phi™ Systems
Paulo Ferrão, Hélder Marques, Hervé Paulino |
Euro-Par | 3 |
| 2017 | GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group NetworkingabstractAlthough mobile devices can collaborate and interact when connected by a communication infrastructure, such interactions may also be greatly desired or even highly necessary when such infrastructures are not available or cannot be used, like in crowded spaces, disaster situations, and remote areas, or when there is no trust in the existing infrastructures. A major requirement to support such autonomous collaborative systems on top of mobile devices is to build a communication network to interconnect them all. In this quest, Wi-Fi Direct (WFD) stands out as a promising technology to offer infrastructure-less WiFi networking to off-the-shelf devices. However, the WFD standard only addresses communications inside one group of devices, and current WFD inter-group communication solutions have several limitations, as they must contend with intermittent connections, slow communication (broadcasts and/or multicasts), and/or a high number of nodes to interconnect groups. In this paper, we aim to overcome those limitations by proposing two novel topologies, named GOCRGO and GOGO, which use permanent radio connections, can rely on either UDP or TCP communication, and require the minimum number of nodes necessary to interconnect WFD groups. Both topologies present advantages over each other, in different scenarios, and thus can be used together in a complementary way. António Teófilo, Diogo Remédios, João Lourenço, Hervé Paulino |
MobiQuitous | 4 |
| 2017 | Cache-conscious run-time decomposition of data parallel computations
Hervé Paulino, Nuno Delgado |
J. Supercomput. | 1 |
| 2016 | In-cache MapReduce: Leverage Tiling to Boost Temporal Locality-Sensitive MapReduce ComputationsabstractThe MapReduce framework is being increasingly used in the scientific computing and image/video processing fields. Relevant research has tailored it for the field's specificities but there are still overwhelming limitations when it comes to temporal locality-sensitive computations. The performance of this class of computations is closely tied to an efficient use of the memory hierarchy, concern that is not yet taken into consideration by the existing distributed MapReduce runtimes. Consequently, implementing temporal locality-sensitive computations, such as stencil algorithms, on top of MapReduce is a complex chore not rewarded with proportional dividends. This paper tackles both the complexity and the performance issues by integrating tiling techniques and memory hierarchy information into MapReduce's split stage. We prototyped our proposal atop the Apache Hadoop framework, and applied it to the context of stencil computations. Our experimental results reveal that, for a typical stencil computation, our prototype clearly outperforms Hadoop MapReduce, specially as the computation scales. Daniel Magro, Hervé Paulino |
CLUSTER | 2 |
| 2016 | Execution of compound multi-kernel OpenCL computations in multi-CPU/multi-GPU environmentsabstractSummary Current computational systems are heterogeneous by nature, featuring a combination of CPUs and graphics processing units (GPUs). As the latter are becoming an established platform for high‐performance computing, the focus is shifting towards the seamless programming of these hybrid systems as a whole. The distinct nature of the architectural and execution models in place raises several challenges, as the best hardware configuration is behavior and workload dependent. In this paper, we address the execution of compound, multi‐kernel, open computing language computations in multi‐CPU/multi‐GPU environments. We address how these computations may be efficiently scheduled onto the target hardware, and how the system may adapt itself to changes in the workload to process and to fluctuations in the CPU's load. An experimental evaluation attests the performance gains obtained by the conjoined use of the CPU and GPU devices, when compared with GPU‐only executions, and also by the use of data‐locality optimizations in CPU environments. Copyright © 2015 John Wiley & Sons, Ltd. Fábio Soldado, Fernando Alexandre, Hervé Paulino |
Concurr. Comput. Pract. Exp. | 3 |
| 2015 | Decentralized Storage for Networks of Hand-held DevicesabstractIn this paper we propose a fully distributed storage system for everyday hand-held mobile devices, e.g., smartphones and tablets, that follows a best effort approach to ensure data persistence and availability even in the presence of churn (i.e., the unpredictable arrival and departure of nodes). Ricardo Monteiro, João A. Silva, João Lourenço, Hervé Paulino |
MobiQuitous | 4 |
| 2015 | Mobile Device-to-Device Distributed Computing Using Data SetsabstractThe rapidly increasing computing power, available storage and communication capabilities of mobile devices makes it possible to start processing and storing data locally, rather than offloading it to remote servers; allowing scenarios of mobile clouds without infrastructure dependency. We can now ai Diogo Remédios, António Teófilo, Hervé Paulino, João Lourenço |
MobiQuitous | 3 |
| 2015 | Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay NodesabstractThe current capabilities of mobile phones in terms of communication, processing and storage, enables its use to form autonomous networks of devices that can be used in case of collapse or inexistent support from a communication infrastructure. In this paper, we propose a network configuration of nod António Teófilo, Diogo Remédios, Hervé Paulino, João Lourenço |
MobiQuitous | 3 |
| 2015 | Heterogeneous programming with Single Operation Multiple Data
Hervé Paulino, Eduardo Marques |
J. Comput. Syst. Sci. | 1 |
| 2013 | Algorithmic Skeleton Framework for the Orchestration of GPU Computations
Ricardo Marqués, Hervé Paulino, Fernando Alexandre, Pedro D. Medeiros |
Euro-Par | 2 |
| 2012 | Enhancing Service-Oriented Computing with Software Mobility
Hervé Paulino, Gilberto Camacho |
ICA3PP (1) | 1 |
| 2012 | Dynamic Interaction Models for Web Enabled Wireless Sensor NetworksabstractWireless Sensor Networks (WSNs) are a fundamental technology for science in many domains, and their inclusion in Web environments, e.g. through Web services, allows for their open/standard access and integration. Although such Web enabled WSNs simplify data access, network parametrisation and aggregation, the available interaction models and run-time adaptation mechanisms are still scarce. Nevertheless, applications increasingly demand richer and more flexible interface accesses, for instance, the interaction model dynamic adaptation according to contextual information. To this extent, this paper discusses the relevance of the session and pattern abstractions on the design of a middleware prototype providing richer interaction models, as well as a few context-based dynamic adaptation mechanisms for Web enabled WSNs. Maria Cecilia Gomes, Hervé Paulino, Adérito Baptista, Filipe Araújo |
ISPA | 2 |
| 2010 | A Platform-Centric Framework for the Web Exposure and Orchestration of Distributed ObjectsabstractMany of the current service-oriented architectures are built on top of distributed object technologies. These technologies have, however, lost most of their initial appeal, mainly due to the inability to port their concepts to the World Wide Web, and to provide interoperability across many different platforms. The porting of these distributed object platforms to the current Web Service standard is, however, a costly process that requires high investments of both time and money. This paper presents OHMS, a framework that provides an easy and not resource consuming way of exposing a platform to the Web, thus enabling Web access, business-to-business interaction and service composition, by the means of orchestration. We address the framework's architecture, its implementation, and the support for orchestrating CORBA platforms. We evaluate the work regarding the initial requirements, the effort required to support a given distributed object technology, and performance issues. We also address the application of OHMS to a real-life scenario. Hervé Paulino, Paulo Cancela, Tiago Franco |
PDCAT | 1 |
| 2008 | SuMo: A Framework for Prototyping Distributed and Mobile Software
Hervé Paulino |
ICA3PP | 1 |
| 2008 | A programming language for service-oriented computing with mobile agentsabstractAbstract We present MOB, a service‐oriented scripting language, for programming mobile agents. We argue that combining the service‐oriented and mobile agent paradigms provides a very natural model for programming a large class of distributed applications. In MOB, mobile agents in a network simultaneously provide and use services. The service interfaces constitute contracts that bind agents among themselves. The language features static type‐checking to guarantee that contracts are respected at run‐time. Other language features, such as redundant service providers, allow a certain degree of fault‐tolerance by allowing applications to switch servers dynamically in case a failure is detected (e.g. a server crash). For these reasons, the target applications we envision more interesting to develop using MOBare services for networks with highly dynamic, volatile resources or simply highly adaptive, reconfigurable applications for more classical networks. The paper presents MOBand its implementation from an application programmer's and a systems developer's view. Copyright © 2007 John Wiley & Sons, Ltd. Hervé Paulino, Luís M. B. Lopes |
Softw. Pract. Exp. | 1 |
| 2007 | Reliable Communication in the Presence of Agent MobilityabstractAlthough mainly resorting to local communication, all mobile agent systems also provide some kind of remote communication facility. This introduces issues not addressed in the protocols provided by the transport layer, such as TCP, nor in its extensions to cope with physical mobility. The problem consists of tracking the agent to which the channel must be established, and providing support for the migration of any of the channel's endpoints. In this paper, we propose a model that solves both problems, transparently to the application, by resorting to sophisticated interaction with a naming service and by featuring a protocol to support the migration of both the connection's endpoints. Hervé Paulino |
ISCC | 1 |
| 2007 | Mobile Service Development and Deployment with Remotely Launched Service-Oriented Mobile AgentsabstractThe execution of the client side of a mobile service is a task greatly conditioned by the limited resources available to perform computation and communication. Moving these operations to other computing elements reduces the energy spent by the device in the actual computing of the final result. This allows for a more efficient management of the device's energy, increasing its autonomy. In this paper, we use put to use the features of the MOB programming language to efficiently develop mobile device specific applications, namely the ability to remotely launch mobile agents, strong mobility and a service-oriented resource discovery model. Hervé Paulino |
MDM | 1 |
| 2003 | Mob: A Scripting Language for Mobile Agents Based on a Process Calculus
Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva |
ICWE | 1 |