Bayonet: Probabilistic inference for networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev

Research output: Contribution to journalArticle

Abstract

Network operators often need to ensure that important probabilistic properties are met, such as that the probability of network congestion is below a certain threshold. Ensuring such properties is challenging and requires both a suitable language for probabilistic networks and an automated procedure for answering probabilistic inference queries. We present Bayonet, a novel approach that consists of: (i) a probabilistic network programming language and (ii) a system that performs probabilistic inference on Bayonet programs. The key insight behind Bayonet is to phrase the problem of probabilistic network reasoning as inference in existing probabilistic languages. As a result, Bayonet directly leverages existing probabilistic inference systems and offers a flexible and expressive interface to operators. We present a detailed evaluation of Bayonet on common network scenarios, such as network congestion, reliability of packet delivery, and others. Our results indicate that Bayonet can express such practical scenarios and answer queries for realistic topology sizes (with up to 30 nodes).

Original languageEnglish (US)
Pages (from-to)586-602
Number of pages17
JournalACM SIGPLAN Notices
Volume53
Issue number4
DOIs
StatePublished - Jun 11 2018

Keywords

  • Computer Networks
  • Probabilistic Programming

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Bayonet: Probabilistic inference for networks'. Together they form a unique fingerprint.

  • Cite this

    Gehr, T., Misailovic, S., Tsankov, P., Vanbever, L., Wiesmann, P., & Vechev, M. (2018). Bayonet: Probabilistic inference for networks. ACM SIGPLAN Notices, 53(4), 586-602. https://doi.org/10.1145/3192366.3192400