Publications

Recursive Logical Relations for Intuitionistic Linear Logic Session Types. Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao. The 35th European Symposium on Programming (ESOP), Pages 135-165, 2026. [Distinguished Paper & Best ETAPS Paper Award]
Quantified Underapproximation via Labeled Bunches. Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A Moreno, and Mark Klein. Proceedings of the ACM SIGPLAN conference on Object-Oriented Programming Systems, Languages, and Application (OOPSLA), 29-57, 2025.
Towards Compositional Assurance of Large Cyber-Physical Systems. Gabriel A Moreno, Mark H Klein, Shambwaditya Saha, Farzaneh Derakhshan, and Limin Jia. Proceedings of the 1st Workshop on Formal Arguments for Cps CerTification (FACCT), Article 2, 1–3, 2025.
Modal Crash Types for WAR-Aware Intermittent Computing. Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, and Limin Jia. ACM Transactions on Programming Languages and Systems (TOPLAS) 47.2, 1-62, 2025. [PDF]
Information Flow Control in Cyclic Process Networks. Bas van den Heuvel, Farzaneh Derakhshan, and Stephanie Balzer. The 38th European Conference on Object-Oriented Programming (ECOOP), Page 35, 2024. [PDF]
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao.The 38th European Conference on Object-Oriented Programming (ECOOP), Pages 11-1, 2024. [PDF][Artifact]
Towards end-to-end verified TEEs via verified interface conformance and certified compilers. Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, and Limin Jia. The 36th IEEE Computer Security Foundations Symposium (CSF), Pages 315-330, 2023. [PDF]
Modal crash types for intermittent computing. Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich and Limin Jia. The 32nd European Symposium on Programming (ESOP), Pages 168-196, 2023. [PDF]
Circular proofs as session typed processes: a local validity condition. Farzaneh Derakhshan and Frank Pfenning.Logical Methods in Computer Science (LMCS) 18, 2022. [PDF]
Session logical relations for noninterference. Farzaneh Derakhshan, Stephanie Balzer, and Limin Jia. The 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Pages 1-14. IEEE 2021. [PDF]
Human-centered automated proof search. Wilfried Sieg and Farzaneh Derakhshan. Journal of Automated Reasoning (JAR) 65.8, 1153-1190, 2021. [PDF]
Uniform interpolation in substructural logics. Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono. The Review of Symbolic Logic (RSL) 7 (3), Pages 455-483, 2014. [PDF]