Ian Dardik
I am a Software Engineering Ph.D. student at Carnegie Mellon University. My research interests are in Formal Methods and Software Engineering with applications to Distributed Systems and Cyber Physical Systems.
Publications
-
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, Eunsuk Kang
ICSE 2025 (to appear) -
Recomposition: A New Technique for Efficient Compositional Verification
Ian Dardik, April Porter, Eunsuk Kang
FMCAD 2024 -
Fortis: A Tool for Analysis and Repair of Robust Software Systems
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang.
FMCAD 2023 (Tool paper) -
Safe Environmental Envelopes of Discrete Systems
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis.
CAV 2023 -
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
William Schultz, Ian Dardik, Stavros Tripakis.
FMCAD 2022 -
Formal Verification of a Distributed Dynamic Reconfiguration Protocol
William Schultz, Ian Dardik, Stavros Tripakis.
CPP 2022 -
Design and Analysis of a Logless Dynamic Reconfiguration Protocol
William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis.
OPODIS 2021
Talks
-
Recomposition: A New Technique for Efficient Compositional Verification
FMCAD 2024 (Prague, Czech Republic)
-
Safe Environmental Envelopes of Discrete Systems
CAV 2023 (Paris, France)
Bio
At Carnegie Mellon, I am advised by Professor Eunsuk Kang and a member of SoDA Lab.
Prior to joining CMU, I was a Masters student at Northeastern University in the Khoury Research Apprenticeship Program, supervised by Professor Stavros Tripakis.