Rami Gökhan Kıcı -

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

2022

PLDI

Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track

2021

POPL

Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track

2020

ISSTA

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PriSC

Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track

2019

POPL

Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track

2017

SPLASH

Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track