Farzaneh Derakhshan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Recursive Logical Relations for Intuitionistic Linear Logic Session Types. | Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, Yue Yao |
| 2024 | ECOOP | Information Flow Control in Cyclic Process Networks. | Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer |
| 2024 | ECOOP | Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. | Farzaneh Derakhshan, Stephanie Balzer, Yue Yao |
| 2023 | ESOP | Modal Crash Types for Intermittent Computing. | Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia |
| 2021 | LICS | Session Logical Relations for Noninterference. | Farzaneh Derakhshan, Stephanie Balzer, Limin Jia |