VLDB 2026 Research / reviewers in the wild / expert
Noa Izsak
dblp:350/0314
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2026
0009-0004-1333-2490ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Atomic Gliders and Cellular Automata as Language Generators
Dana Fisman, Noa Izsak |
VMCAI | 2 |
| 2024 | Learning Broadcast ProtocolsabstractThe problem of learning a computational model from examples has been receiving growing attention. For the particularly challenging problem of learning models of distributed systems, existing results are restricted to models with a fixed number of interacting processes. In this work we look for the first time (to the best of our knowledge) at the problem of learning a distributed system with an arbitrary number of processes, assuming only that there exists a cutoff, i.e., a number of processes that is sufficient to produce all observable behaviors. Specifically, we consider fine broadcast protocols, these are broadcast protocols (BPs) with a finite cutoff and no hidden states. We provide a learning algorithm that can infer a correct BP from a sample that is consistent with a fine BP, and a minimal equivalent BP if the sample is sufficiently complete. On the negative side we show that (a) characteristic sets of exponential size are unavoidable, (b) the consistency problem for fine BPs is NP hard, and (c) that fine BPs are not polynomially predictable. Dana Fisman, Noa Izsak, Swen Jacobs |
AAAI | 2 |
| 2024 | Learning Broadcast Protocols with LeoParDS
Noa Izsak, Dana Fisman, Swen Jacobs |
ATVA | 1 |