conf.researchr.org / 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

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