Skip to main content

Showing 1–6 of 6 results for author: Tunç, H C

.
  1. arXiv:2403.17818  [pdf, other

    cs.PL

    CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis

    Authors: Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis

    Abstract: Dynamic analyses are a standard approach to analyzing and testing concurrent programs. Such techniques observe program traces and analyze them to infer the presence or absence of bugs. At its core, each analysis maintains a partial order $P$ that represents order dependencies between events of the analyzed trace $σ$. Naturally, the scalability of the analysis largely depends on how efficiently it… ▽ More

    Submitted 29 March, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

  2. arXiv:2304.03714  [pdf, other

    cs.PL cs.LO

    Optimal Reads-From Consistency Checking for C11-Style Memory Models

    Authors: Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis

    Abstract: Over the years, several memory models have been proposed to capture the subtle concurrency semantics of C/C++.One of the most fundamental problems associated with a memory model M is consistency checking: given an execution X, is X consistent with M? This problem lies at the heart of numerous applications, including specification testing and litmus tests, stateless model checking, and dynamic anal… ▽ More

    Submitted 11 May, 2023; v1 submitted 7 April, 2023; originally announced April 2023.

  3. arXiv:2304.03692  [pdf, other

    cs.PL cs.LO

    Sound Dynamic Deadlock Prediction in Linear Time

    Authors: Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

    Abstract: Deadlocks are one of the most notorious concurrency bugs, and significant research has focused on detecting them efficiently. Dynamic predictive analyses work by observing concurrent executions, and reason about alternative interleavings that can witness concurrency bugs. Such techniques offer scalability and sound bug reports, and have emerged as an effective approach for concurrency bug detectio… ▽ More

    Submitted 25 June, 2023; v1 submitted 7 April, 2023; originally announced April 2023.

  4. arXiv:2201.06325  [pdf, other

    cs.LO cs.DC cs.SE

    A Tree Clock Data Structure for Causal Orderings in Concurrent Executions

    Authors: Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan

    Abstract: Dynamic techniques are a scalable and effective way to analyze concurrent programs. Instead of analyzing all behaviors of a program, these techniques detect errors by focusing on a single program execution. Often a crucial step in these techniques is to define a causal ordering between events in the execution, which is then computed using vector clocks, a simple data structure that stores logical… ▽ More

    Submitted 17 January, 2022; originally announced January 2022.

  5. arXiv:2102.12448  [pdf, other

    cs.FL cs.NI

    Explaining Safety Failures in NetKAT

    Authors: Georgiana Caltais, Hunkar Can Tunc

    Abstract: This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory.… ▽ More

    Submitted 24 February, 2021; originally announced February 2021.

    Comments: arXiv admin note: substantial text overlap with arXiv:1909.01745

  6. arXiv:2102.10035  [pdf, other

    cs.NI cs.FL

    DyNetKAT: An Algebra of Dynamic Networks

    Authors: Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi, Hunkar Can Tunc

    Abstract: We introduce a formal language for specifying dynamic updates for Software Defined Networks. Our language builds upon Network Kleene Algebra with Tests (NetKAT) and adds constructs for synchronisations and multi-packet behaviour to capture the interaction between the control- and data-plane in dynamic updates. We provide a sound and ground-complete axiomatisation of our language. We exploit the eq… ▽ More

    Submitted 22 May, 2021; v1 submitted 19 February, 2021; originally announced February 2021.