54 citations · 134 across the 10 of their papers we have counts for
11 papers
Ideas for the future of Prolog inspired by Oz
Peter Van Roy, Seif Haridi
Both Prolog and Oz are multiparadigm languages with a logic programming core. There is a significant subset of Oz that is a syntactic variant of Prolog: pure Prolog programs with g…
Lecture Notes on Leader-based Sequence Paxos -- An Understandable Sequence Consensus Algorithm
Seif Haridi, Lars Kroll, Paris Carbone
Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must…
KompicsTesting - Unit Testing Event Streams
Ifeanyi W. Ubah, Lars Kroll, Alexandru A. Ormenisan +1
In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate a…
A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof
Niklas Ekström, Seif Haridi
We present the SC-ABD algorithm that implements sequentially consistent distributed shared memory (DSM). The algorithm tolerates that less than half of the processes are faulty (cr…
High-Level Programming Abstractions for Distributed Graph Processing
Vasiliki Kalavri, Vladimir Vlassov, Seif Haridi
Efficient processing of large-scale graphs in distributed environments has been an increasingly popular topic of research in recent years. Inter-connected data that can be modeled…
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases
Salman Niazi, Mahmoud Ismail, Steffen Grohsschmiedt +3
Recent improvements in both the performance and scalability of shared-nothing, transactional, in-memory NewSQL databases have reopened the research question of whether distributed…