• Sign in
  • Sign up
conf.researchr.org / Stefan Ciobaca
  • ETAPS 2019 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2024 profile

Registered user since Sun 20 Sep 2020

Name:Stefan Ciobaca
Affiliation:Alexandru Ioan Cuza University of Iasi
Personal website: http://profs.info.uaic.ro/~stefan.ciobaca

Contributions

2025

ICFP

  • Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track

2024

POPL

  • Author of Securing Verified IO Programs Against Unverified Code in F* within the POPL-track

2021

POPL

  • Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

2020

PriSC

  • Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track

2019

PERR

  • Committee Member in Program Committee within the PERR-track
  • Author of Semantics-Based Proofs of Equivalence for Functions with Accumulators within the PERR-track

2018

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
xWed 21 May 06:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up