• Publications
  • Influence
Adaptive online scheduling in storm
TLDR
In this paper we propose two advanced generic schedulers for Storm that provide improved performance for a wide range of application topologies. Expand
  • 207
  • 20
  • PDF
A Survey of Symbolic Execution Techniques
TLDR
Symbolic execution is a program analysis technique introduced in the mid ’70s in the context of software testing to check whether a certain property can be violated by a program. Expand
  • 188
  • 13
  • PDF
A communication-induced checkpointing protocol that ensures rollback-dependency trackability
TLDR
This paper develops a protocol that forces processes to take some additional local checkpoints (called forced checkpoints) in order that the resulting checkpoint and communication pattern satisfies the Rollback Dependency Trackability (RDT) property. Expand
  • 115
  • 13
Content-Based Publish-Subscribe over Structured Overlay Networks
TLDR
This paper introduces a novel architecture for implementing content-based pub/sub communications on top of structured overlay networks that leverages the scalable message routing and adaptive self-configuration of overlay networks. Expand
  • 133
  • 11
  • PDF
PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain
TLDR
A new family of Byzantine fault-tolerant (BFT) consensus algorithms largely used in practice to ensure better performance than traditional Practical Byzantine Fault Tolerance. Expand
  • 114
  • 10
  • PDF
A distributed mutual exclusion algorithm for mobile ad-hoc networks
TLDR
A distributed mutual exclusion algorithm based on token exchange and well suited for mobile ad-hoc networks is presented along with a simulation study. Expand
  • 68
  • 10
  • PDF
Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA
TLDR
In this paper, we propose a complementary approach that obtains efficient event dissemination by reorganizing the overlay network topology. Expand
  • 88
  • 9
  • PDF
Distributed event routing in publish/subscribe communication systems
TLDR
A distributed pub/sub system for scalable information dissemination can be decomposed in three functional layers: namely the overlay infrastructure, the event routing and the algorithm for matching events against subscriptions. Expand
  • 109
  • 8
  • PDF
A Survey of Service Discovery Protocols in Multihop Mobile Ad Hoc Networks
TLDR
An in-depth review of service discovery protocols (SDPs) in multihop mobile ad hoc networks . Expand
  • 151
  • 7
  • PDF
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol
TLDR
This paper introduces the notion of RDT-compliance and a family of communication-induced checkpointing protocols that ensure on-the-fly RDT properties that can be tested on the fly. Expand
  • 36
  • 7