Ian Dardik

Email: idardik (at) andrew (dot) cmu (dot) edu

I am a Software Engineering PhD student at Carnegie Mellon University, advised by Professor Eunsuk Kang.

Prior to joining CMU, I was a Masters student at Northeastern University in the Khoury Research Apprenticeship Program, supervised by Professor Stavros Tripakis.

Here is a link to my CV

Publications

1. Fortis: A Tool for Analysis and Repair of Robust Software Systems (Tool Paper)
   Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang. FMCAD 2023
   [DOI]
2. Safe Environmental Envelopes of Discrete Systems
   Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis. CAV 2023
   [DOI] [PDF] [arXiv]
3. Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
   William Schultz, Ian Dardik, Stavros Tripakis. FMCAD 2022
   [DOI] [arXiv]
4. Formal verification of a distributed dynamic reconfiguration protocol
   William Schultz, Ian Dardik, Stavros Tripakis. CPP 2022
   [DOI] [arXiv]
5. Design and analysis of a logless dynamic reconfiguration protocol
   William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis. OPODIS 2021
   [DOI] [arXiv]

Talks

1. Safe Environmental Envelopes of Discrete Systems
   CAV 2023 Paris, France
   Conference Paper
   

News and Awards

1. Selected for the SPECS 2023 Summer School
   News Article
2. Selected for the SRI International 2022 Summer School
3. Northeastern University's 2022 Khoury College Graudate Research Award
   News Article