Farzaneh Derakhshan

According to our database, Farzaneh Derakhshan authored at least 9 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Logical Relations for Session-Typed Concurrency.

Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao

CoRR, 2023

Modal Crash Types for Intermittent Computing.

Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia

Proceedings of the Programming Languages and Systems, 2023

Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.

Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Circular Proofs as Session-Typed Processes: A Local Validity Condition.

Farzaneh Derakhshan, Frank Pfenning

Log. Methods Comput. Sci., 2022

Recursive Session Logical Relations.

Farzaneh Derakhshan, Stephanie Balzer

CoRR, 2022

2021

Human-Centered Automated Proof Search.

Wilfried Sieg, Farzaneh Derakhshan

J. Autom. Reason., 2021

Session Logical Relations for Noninterference.

Farzaneh Derakhshan, Stephanie Balzer, Limin Jia

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points.

Farzaneh Derakhshan, Frank Pfenning

CoRR, 2020

2014

Uniform interpolation in Substructural Logics.

Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono

Rev. Symb. Log., 2014