Farzaneh Derakhshan

20 papers A* 1A 4Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 — conf
Recursive Logical Relations for Intuitionistic Linear Logic Session Types.
ESOP (1)
Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
2025 J jnl
Modal Crash Types for WAR-Aware Intermittent Computing.
ACM Trans. Program. Lang. Syst.
Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia
2025 — ed.
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2025, Hamilton, Canada, 4th May 2025.
PLACES@ETAPS
Farzaneh Derakhshan, Jan Hoffmann
2025 J jnl
Quantified Underapproximation via Labeled Bunches.
Proc. ACM Program. Lang.
Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A. Moreno, Mark Klein
2024 A conf
Information Flow Control in Cyclic Process Networks.
ECOOP
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024 J jnl
Information Flow Control in Cyclic Process Networks.
CoRR
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
2024 J jnl
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact).
Dagstuhl Artifacts Ser.
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024 A conf
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.
ECOOP
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2024 J jnl
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.
CoRR
Farzaneh Derakhshan, Stephanie Balzer, Yue Yao
2023 J jnl
Logical Relations for Session-Typed Concurrency.
CoRR
Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao
2023 A conf
Modal Crash Types for Intermittent Computing.
ESOP
Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
2023 A conf
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.
CSF
Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia
2022 J jnl
Circular Proofs as Session-Typed Processes: A Local Validity Condition.
Log. Methods Comput. Sci.
Farzaneh Derakhshan, Frank Pfenning
2022 J jnl
Recursive Session Logical Relations.
CoRR
Farzaneh Derakhshan, Stephanie Balzer
2021 J jnl
Human-Centered Automated Proof Search.
J. Autom. Reason.
Wilfried Sieg, Farzaneh Derakhshan
2021 A* conf
Session Logical Relations for Noninterference.
LICS
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2021 J jnl
Session Logical Relations for Noninterference.
CoRR
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2020 J jnl
Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points.
CoRR
Farzaneh Derakhshan, Frank Pfenning
2019 J jnl
Circular Proofs as Session-Typed Processes: A Local Validity Condition.
CoRR
Farzaneh Derakhshan, Frank Pfenning
2014 J jnl
Uniform interpolation in Substructural Logics.
Rev. Symb. Log.
Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono