• Sign in
  • Sign up
conf.researchr.org / Farzaneh Derakhshan
  • ECOOP 2022 profile
  • ECOOP 2025 profile
  • ICFP/SPLASH 2025 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2022 profile
Farzaneh Derakhshan

Registered user since Mon 8 Jan 2018

Name:Farzaneh Derakhshan
Country:United States
Affiliation:Illinois Institute of Technology
Personal website: http://gauss.cs.iit.edu/~fderakhshan/
X (Twitter): https://x.com/yderakhshan
Research interests:Programming Languages, Language-based Security, Type Theory, Proof Theory

Contributions

2025

PriSC

  • Committee Member in Program Committee within the PriSC 2025-track

ICFP

  • Committee Member in ICFP Programme Committee within the ICFP Papers-track

ECOOP

  • Committee Member in Programme Committee within the Technical Papers-track

2024

ECOOP

  • Author of Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency within the Technical Papers-track
  • Author of Information Flow Control in Cyclic Process Networks within the Technical Papers-track

PLAID

  • Author of Modal Crash Types for Intermittent Computing within the PLAID 2024-track

PriSC

  • Committee Member in Program Committee within the PriSC 2024-track

2023

PriSC

  • Author of Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers within the PriSC 2023-track

2022

APLAS

  • Committee Member in Program Committee

ECOOP

  • Committee Member in Program Committee within the Doctoral Symposium-track

2021

PLMW

  • Panelist in Panelists within the PLMW 2021-track
  • Panelist of Panel: Navigating PhD studies within the PLMW 2021-track
Share
xTue 10 Jun 19:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up