Ian Dardik

I am currently a Software Engineering PhD student at Carnegie Mellon University, advised by Professor Eunsuk Kang. Previously, I was an MSCS student at Northeastern University working under the supervision of Professor Stavros Tripakis.

Here is a link to my CV

Publications

  1. Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
    William Schultz, Ian Dardik, and Stavros Tripakis FMCAD 2022
    [arXiv]
  2. Formal verification of a distributed dynamic reconfiguration protocol
    William Schultz, Ian Dardik, and Stavros Tripakis CPP 2022
    [DOI]
  3. Design and analysis of a logless dynamic reconfiguration protocol
    William Schultz, Siyuan Zhou, Ian Dardik, and Stavros Tripakis OPODIS 2021
    [Paper]