Demo Data from EDBT 2026 / reviewers in the wild / expert
Michael Okun
dblp:32/5364
· DBLP profile ↗
12ranked-venue papers
10as first author
0since 2021 · last 2010
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 2 first-authorTheory of computation · 4 · 4 first-authorSecurity and privacy · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 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.
| Theoretical computer science
1 paper |
Distributed computing theory · 100% | |
| Network and information security
1 paper |
Cryptographic protocols and secure computation · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed computing theory › fault tolerance › byzantine fault tolerance
byzantine agreement |
0.1 | 1 | 2009 | On the round complexity of Byzantine agreement without initial set-up · Inf. Comput. 2009 |
Distributed computing theory › distributed complexity
round complexity |
0.1 | 1 | 2009 | On the round complexity of Byzantine agreement without initial set-up · Inf. Comput. 2009 |
Cryptographic protocols and secure computation
distributed cryptography |
0.0 | 1 | 2009 | On the round complexity of Byzantine agreement without initial set-up · Inf. Comput. 2009 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Strong order-preserving renaming in the synchronous message passing model
Michael Okun |
Theor. Comput. Sci. | 1 |
| 2009 | Randomized gossip algorithms for maintaining a distributed bulletin board with guaranteed age propertiesabstractAbstract Scalable computer systems, including clusters and multi‐cluster grids, require routine exchange of information about the state of system‐wide resources among their nodes. Gossip‐based algorithms are popular for providing such information services due to their simplicity, fault tolerance and low communication overhead. This paper presents a randomized gossip algorithm for maintaining a distributed bulletin board among the nodes of a scalable computer system. In this algorithm each node routinely disseminates its most recently acquired information while maintaining a snapshot of the other nodes' states. The paper provides analytical approximations for the expected average age, the age distribution and the expected maximal age for the acquired information at each node. We confirm our results by measurements of the performance of the algorithm on a multi‐cluster campus grid with 256 nodes and by simulations of configurations with up to 2048 nodes. The paper then presents practical enhancements of the algorithm, which makes it more suitable for a real system. Such enhancements include using fixed‐size messages, reducing the number of messages sent to inactive nodes and supporting urgent information. The enhanced algorithm guarantees the age properties of the information at each node in the configurations with an arbitrary number of inactive nodes. It is being used in our campus grid for resource discovery, for dynamic assignment of processes to the best available nodes, for load‐balancing and for on‐line monitoring. Copyright © 2009 John Wiley & Sons, Ltd. Lior Amar, Amnon Barak, Zvi Drezner, Michael Okun |
Concurr. Comput. Pract. Exp. | 4 |
| 2009 | On the round complexity of Byzantine agreement without initial set-up
Michael Okun |
Inf. Comput. | 1 |
| 2008 | Renaming in synchronous message passing systems with Byzantine failures
Michael Okun, Amnon Barak, Eli Gafni |
Distributed Comput. | 1 |
| 2008 | Efficient Algorithms for Anonymous Byzantine Agreement
Michael Okun, Amnon Barak |
Theory Comput. Syst. | 1 |
| 2007 | An On-line Algorithm for Fair-Share Node Allocations in a ClusterabstractProportional (fair) share schedulers are designed to provide applications with predefined portions of system resources. Single node operating systems use context-switch (preemption) to dynamically allocate the CPU(s) to running processes. This paper presents an online algorithm for proportional share allocations of nodes in a cluster, in a fashion that resembles a single-node system. The algorithm relies on preemptive process migrations for dynamic allocations of nodes to users. The paper presents the algorithm and its performance on a MOSIX organizational Grid with 60 nodes. We show that proportional share allocations can be achieved in a relatively short time (minutes). Lior Amar, Amnon Barak, Ely Levy, Michael Okun |
CCGRID | 4 |
| 2007 | On the Power of Impersonation Attacks
Michael Okun |
DISC | 1 |
| 2006 | Renaming in Message Passing Systems with Byzantine Failures
Michael Okun, Amnon Barak |
DISC | 1 |
| 2005 | Agreement Among Unacquainted Byzantine Generals
Michael Okun |
DISC | 1 |
| 2004 | Atomic Writes for data integrity and consistency in shared storage devices for clusters
Michael Okun, Amnon Barak |
Future Gener. Comput. Syst. | 1 |
| 2003 | A new approach for approximating node deletion problems
Michael Okun, Amnon Barak |
Inf. Process. Lett. | 1 |
| 2002 | On Node State Reconstruction for Fault Tolerant Distributed AlgorithmsabstractOne of the main methods for achieving fault tolerance in distributed systems is recovery of the state of failed components. Though generic recovery methods like checkpointing and message logging exist, in many cases the recovery has to be application specific. In this paper we propose a general model for a node state reconstruction after crash failures. In our model the reconstruction operation is defined only by the requirements it fulfills, without referring to the specific application dependent way it is performed. The model provides a framework for formal treatment of algorithm-specific and system-specific recovery procedures. It is used to specify node state reconstruction procedures for several widely used distributed algorithms and systems, as well as to prove their correctness. Michael Okun, Amnon Barak |
SRDS | 1 |