Kıdemli Baş Araştırmacı
Dr. Srivatsan Ravi, dağıtık/eşzamanlı hesaplama teorisi ve pratiği üzerinde çalışmaktadır. Odak noktası, kanıtlanabilir şekilde güvenli ve emniyetli eşzamanlı/dağıtık sistemler ve uygulamalar oluşturmaya odaklanarak hataya dayanıklı dağıtık sistemler için algoritmalar ve alt sınırlar üzerinedir. Mevcut çalışmaları akıllı sözleşme ekosistemlerinin uçtan uca modellenmesi ve doğrulanması, paralel yürütme ve dağıtık depolama üzerine odaklanmaktadır.
Dağıtık Sistem Tasarımı ve Programlama Modelleri, İşlemsel Bellek
Supra'da Dr. Srivatsan Ravi, Supra çoklu VM dağıtımı için merkezi olmayan depolama ve paralel yürütme modellerini geliştirmenin yanı sıra dinamik akıllı sözleşme iş yüklerini ölçeklendirmek için yeni uyarlanabilir çözümler üzerinde çalışıyor.
Muhammad Saad, Afsah Anwar ve David Mohaisen ile birlikte • IEEE/ACM Ağ Üzerinden İşlemler, 2024
Yuhang Yao, Weizhao Jin ve Carlee Joe-Wong ile birlikte • NeurIPS 2023
Gaetano C. Coccimiglio ve Trevor A. Brown ile birlikte, • SPAA 2022
Dan Alistarh, Justin Kopinsky, Petr Kuznetsov ve Nir Shavit ile • CIKM 2021
Bo Sang, Patrick Eugster, Gustavo Petri ve Pierre-Louis Roman ile
©2025 Supra | Entropy Foundation (İsviçre: CHE.383.364.961). Tüm Hakları Saklıdır