• Sign in
  • Sign up
conf.researchr.org / Rami Gökhan Kıcı
  • ISSTA 2020 profile
  • PLDI 2022 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2017 profile

Registered user since Wed 19 Feb 2020

Name:Rami Gökhan Kıcı
Affiliation:University of California at San Diego, USA
Personal website:https://cseweb.ucsd.edu/~rkici/

Contributions

PLDI 2022 Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track
POPL 2021 Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track
ISSTA 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2020 Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track
POPL 2019 Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track
SPLASH 2017 Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track

Share
xTue 16 Aug 00:10
using conf.researchr.org (v1.56.0)
Support page
Sign Up