Ian Dardik
I am a Software Engineering Ph.D. student at Carnegie Mellon University. My research uses compositional techniques to scale formal verification and other formal analyses to complex systems, especially distributed systems.
Publications
-
Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
Ian Dardik and Eunsuk Kang
Under submission -
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, Eunsuk Kang
ICSE 2025 -
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)
Awards and Media
- Highlight in the TLA+ Blog for our research funded by a TLA+ Foundation grant.
- Mention in the news article for the 2023 SPECS Summer School.
- Participated in the SRI International 2022 Summer School.
- Recipient of Northeastern's 2022 Khoury College Graudate Research Award (News Article).
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.