Rachid Guerraoui - Rachid Guerraoui

Rachid Guerraoui (5 Ocak 1967 doğumlu) Faslı-İsviçreli bilgisayar uzmanı ve bir profesör Bilgisayar ve İletişim Bilimleri Fakültesi'nde Ecole Polytechnique Fédérale de Lausanne (EPFL), alanlarındaki katkılarıyla tanınan eşzamanlı ve dağıtılmış hesaplama.[1][2] O bir ACM Üyesi[3] 2018–2019 yılı Bilişim ve Hesaplamalı Bilimler Kürsüsü Collège de France dağıtılmış bilgi işlem için.[4]

Eğitim ve kariyer

Rachid, 5 Ocak 1967'de Rabat, Fas. Babası Muhammed Guerraoui, matematik öğretmeni ve eski Wali (vali) Marakeş. Annesi Fatima Rahmoun-Guerraoui, Fransızca öğretmenidir. 1984'te lisans derecesini aldıktan sonra Fransa'ya gitmek üzere Fas'tan ayrıldı.[5][6]

Guerraoui onun Doktora -den Orsay Üniversitesi (1992) ve bağlı olduğu Ecole des Mines Paris, Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratuvarları ve Massachusetts Teknoloji Enstitüsü.[7] O bir ortak (alan) düzenleyici of ACM Dergisi[8] ve "Algorithms for Concurrent Systems" dahil birçok kitabın ortak yazarıdır,[9] "Güvenilir ve Güvenli Dağıtılmış Programlamaya Giriş"[10] ve "İşlemsel Belleğin İlkeleri".[11] ERC Advanced Grant Award (2013) kazandı[12] ve Google Odaklı Ödül (2014).[13]

Guerraoui, meslektaşları ile aşağıdaki bilimsel konferanslarda En İyi Bildiri Ödüllerini aldı: ACM Middleware (2016, 2014, 2012), ICDCN (2011), Eurosys (2010), DISC (2010) ve OPODIS (2006).[2] Ayrıca Middleware 2014'te 10 Yıllık En İyi Kağıt Ödülü'nü aldı,[14]

Guerraoui, bilimsel ve akademik çalışmalarının ötesinde, bilgisayar biliminin popülerleştirilmesi üzerinde çalışıyor. Wandida öğretim projesini, Youtube 2,5 milyon görüntüleme ve 25 binin üzerinde aboneye sahip bilgisayar bilimleri ve matematik üzerine 300 ++ video kitaplığı ve ayrıca Zettabytes eğitim projesi, büyük bilgisayar bilimi keşiflerini ve genel halka açık sorunları tanıtmaya ilişkin videolar kitaplığı.

Rachid, kamusal tartışmalara ve Fas'ın siyasi yaşamına katılımıyla Fas ile güçlü bağlarını sürdürüyor.[15] Aralık 2019'da Kral tarafından atandı Muhammed VI Gelişim Modeli Özel Komitesinin bir üyesi olarak.[16]

Odak araştırma alanları ve ana yayınlar

Guerraoui, teorik temelleri oluşturmak için çalıştı İşlem Belleği (TM). Opaklık adını verdiği bir kavramı birlikte tanımladı,[17] TM'lerin doğruluğunu belirlemek için kullanılır. Pratik açıdan, esnek işlemleri birlikte tasarladı[18] ve birlikte tasarlanmış SwissTM,[19] verim açısından verimli bir yazılım işlem belleği (STM) ve TM sistemleri için bir kıyaslama olan STMBench7.[20]

Daha önce Guerraoui, ölçeklenebilir bilgi yayma yöntemlerini inceledi. Hafif salgın yayın üzerine yazdığı makale[21] dedikodu temelli dağıtılmış bir sistemde farklı süreçlerin kısmi ve / veya senkronize olmayan görüşlerini ilk değerlendiren kişi oldu. Guerraoui'nin temel üyelik hizmeti hakkındaki makalesi ile birlikte bu makale,[22] 2018 itibariyle 1250'den fazla alıntı elde etti ve bunların arasında gerçekçi ortamlarda dedikodu protokollerinin analizi üzerine bir dizi teori makalesi yer aldı.[23]

Rachid Guerraoui, eşzamansız dağıtılmış hesaplamaların temellerini araştıran kanıtlanmış bir sicile sahiptir. Örneğin Guerraoui, eşzamansız dedikodu yapma ve yeniden adlandırma için alt sınırlar oluşturdu.[24][25] Atomik bağlılık gibi klasik dağıtılmış hesaplama problemleri arasındaki ilişkilerde temel sonuçları kanıtladı.[26] ve uzlaşma, bunun için herhangi bir sayıda hata ile fikir birliği için en zayıf arıza detektörünün o zaman açık olan problemini kapatmaya yardımcı oldu ve dağıtılmış hesaplama problemlerinin yeni bir sınıflandırmasını birlikte kurdu.[27] Guerraoui, yüksek düzeyde eşzamanlı eşzamansız veri yapıları oluşturmak için genel bir metodolojiyi daha fazla birlikte tanımladı[28][29] ve eşzamansızlığın sözde rasgele sayılar oluşturmaya nasıl yardımcı olabileceğini göstermiştir.[30]

Guerraoui, hoşgörünün matematiksel soyutlamasını icat etti[31] güvenliğin zamanlama varsayımlarına bağlı olmadığı asenkron algoritmaların özünü tam olarak yakalamak için, örneğin Lamport 's Paxos veya Castro-Liskov 's PBFT. Guerraoui bu kavramı, güvenli ve güvenilir dağıtılmış protokoller için genel bir çerçeve tanımlamak için kullandı.[32]

Referanslar

  1. ^ "dblp: Rachid Guerraoui". dblp.uni-trier.de. Alındı 2018-10-22.
  2. ^ a b "EPFL - DCL - Rachid GUERRAOUI". lpdwww.epfl.ch. Alındı 2018-10-22.
  3. ^ Walther Alexandra (2012-12-14). "Prof. Guerraoui ve Prof. Sifakis, ACM Üyeleri olarak seçildi". Alıntı dergisi gerektirir | günlük = (Yardım Edin)
  4. ^ Söyledi, İnka (2018-06-15). "Rachid Guerraoui, Collège de France tarafından Dijital Başkan olarak atandı". Alıntı dergisi gerektirir | günlük = (Yardım Edin)
  5. ^ Jmahri, Mustapha (2019-07-23). "Rachid Guerraoui du DHJ au collège de France". Mazagan24 - Portail d'El Jadida (Fransızcada). Alındı 2020-02-14.
  6. ^ "Le passeport suisse et moi. Rachid Guerraoui:" Polis memurları hiçbir şey sunmuyor"". Le Temps (Fransızcada). 2016-01-07. ISSN  1423-3967. Alındı 2020-09-14.
  7. ^ "Rachid Guerraoui: Biyografi ve güncel çalışma". people.epfl.ch (Fransızcada). Alındı 2018-10-22.
  8. ^ "ACM JACM". ACM Dergisi. Alındı 2018-10-22.
  9. ^ "Eşzamanlı Sistemler için Algoritmalar". www.ppur.org (Fransızcada). Alındı 2018-10-22.
  10. ^ Güvenilir ve Güvenli Dağıtılmış Programlamaya Giriş | Christian Cachin | Springer. Springer. 2011. ISBN  9783642152597.
  11. ^ Guerraoui, Rachid; Kapałka, Michał (2010). "İşlemsel Belleğin İlkeleri". Dağıtık Hesaplama Teorisi Üzerine Sentez Dersleri. 1 (1): 1–193. doi:10.2200 / s00253ed1v01y201009dct004. ISSN  2155-1626.
  12. ^ "Guerraoui, ERC Bağışını Kazandı". EcoCloud. 2013-09-17. Alındı 2018-10-22.
  13. ^ Madry, Kamila (2013-11-04). "Prof. Rachid Guerraoui, Google Odaklı Ödül aldı". Alıntı dergisi gerektirir | günlük = (Yardım Edin)
  14. ^ Walther, Alexandra (2014-12-17). "Middleware 2014 ve Rachid Guerraoui için 10 Yıllık En İyi Kağıt Ödülü". Alıntı dergisi gerektirir | günlük = (Yardım Edin)
  15. ^ "Rachid Guerraoui:" Je n'habite pas le Maroc mais le Maroc m'habite "(YENİDEN OYNAT)". 2 milyon (Fransızcada). Alındı 2020-02-14.
  16. ^ "Gelişim Modeli Özel Komitesinin Oluşumu | MapNews". www.mapnews.ma. Alındı 2020-02-14.
  17. ^ Guerraoui, Rachid; Kapalka, Michal (2008). "İşlemsel belleğin doğruluğu hakkında". Paralel programlama ilkeleri ve uygulaması üzerine 13. ACM SIGPLAN Sempozyumu Bildiriler Kitabı - PPoPP '08. s. 175. CiteSeerX  10.1.1.164.9537. doi:10.1145/1345206.1345233. ISBN  9781595937957. S2CID  1550577.
  18. ^ Felber, Pascal; Gramoli, Vincent; Guerraoui Rachid (2017). "Elastik işlemler". Paralel ve Dağıtık Hesaplama Dergisi. 100: 103–127. doi:10.1016 / j.jpdc.2016.10.010.
  19. ^ Dragojevik, Aleksandar; Felber, Pascal; Gramoli, Vincent; Guerraoui Rachid (2011). "Neden STM bir araştırma oyuncağından daha fazlası olabilir". ACM'nin iletişimi. 54 (4): 70. CiteSeerX  10.1.1.164.8994. doi:10.1145/1924421.1924440. S2CID  12568524.
  20. ^ Guerraoui, Rachid; Kapalka, Michal; Vitek, Ocak (2007). "STMBench7". ACM SIGOPS İşletim Sistemleri İncelemesi. 41 (3): 315. doi:10.1145/1272998.1273029.
  21. ^ Eugster, P. Th .; Guerraoui, R .; Handurukande, S. B .; Kouznetsov, P .; Kermarrec, A.-M. (2003). "Hafif olasılıklı yayın". Bilgisayar Sistemlerinde ACM İşlemleri. 21 (4): 341–374. CiteSeerX  10.1.1.100.9532. doi:10.1145/945506.945507. S2CID  6875620.
  22. ^ Jelasity, Márk; Voulgaris, Spyros; Guerraoui, Rachid; Kermarrec, Anne-Marie; Van Steen, Maarten (2007). "Dedikodulara dayalı akran örneklemesi". Bilgisayar Sistemlerinde ACM İşlemleri. 25 (3): 8 – es. CiteSeerX  10.1.1.310.501. doi:10.1145/1275517.1275520. S2CID  6266183.
  23. ^ "rachid guerraoui - Google Akademik Alıntılar". akademik.google.com. Alındı 2018-10-22.
  24. ^ Georgiou, Chryssis; Gilbert, Seth; Guerraoui, Rachid; Kowalski, Dariusz R. (2013). "Eşzamansız dedikodu". ACM Dergisi. 60 (2): 1–42. doi:10.1145/2450142.2450147. S2CID  7901743.
  25. ^ Alistarh, Dan; Aspnes, James; Sansür-Hillel, Keren; Gilbert, Seth; Guerraoui, Rachid (2014). "Eşzamansız Yeniden Adlandırma için Sıkı Sınırlar". ACM Dergisi. 61 (3): 1–51. CiteSeerX  10.1.1.431.2007. doi:10.1145/2597630. S2CID  9813419.
  26. ^ Guerraoui Rachid (2002). "Arıza dedektörlü asenkron dağıtılmış sistemlerde engellemesiz atomik işleme". Dağıtık Hesaplama. 15: 17–25. CiteSeerX  10.1.1.19.5491. doi:10.1007 / s446-002-8027-4. S2CID  72867.
  27. ^ Fauconnier, Carole Delporte-Gallet Hugues; Guerraoui Rachid (2010). "Atomik nesne uygulamalarında sıkı hata algılama sınırları". ACM Dergisi. 57 (4): 1–32. CiteSeerX  10.1.1.165.8950. doi:10.1145/1734213.1734216. S2CID  11566298.
  28. ^ David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios (2013). "Senkronizasyon hakkında her zaman bilmek istediğiniz, ancak sormaya korktuğunuz her şey". İşletim Sistemleri İlkeleri Üzerine Yirmi Dördüncü ACM Sempozyumu Bildiriler Kitabı - SOSP '13. sayfa 33–48. CiteSeerX  10.1.1.593.2182. doi:10.1145/2517349.2522714. ISBN  9781450323888. S2CID  10176747.
  29. ^ David, Tudor; Guerraoui, Rachid; Trigonakis, Vasileios (2015). "Eşzamansız Eş Zamanlılık". ACM SIGPLAN Bildirimleri. 50 (4): 631–644. doi:10.1145/2775054.2694359.
  30. ^ Antoniadis, Karolos; Blanchard, Peva; Guerraoui, Rachid; Boyayıcı Julien (2018). "Bellek serpiştirmeden dağıtılmış hesaplamalı rasgele sayı üretiminin entropisi". Dağıtık Hesaplama. 31 (5): 389–417. doi:10.1007 / s00446-017-0311-5. S2CID  24299793.
  31. ^ Guerraoui, Rachid (2000). "Hoşgörülü algoritmalar (ön sürüm)". Ondokuzuncu yıllık ACM dağıtık hesaplama İlkeleri sempozyum bildirileri - PODC '00. s. 289–297. CiteSeerX  10.1.1.583.6812. doi:10.1145/343477.343630. ISBN  978-1581131833. S2CID  16791929.
  32. ^ Aublin, Pierre-Louis; Guerraoui, Rachid; Knežević, Nikola; Quéma, Vivien; Vukolić, Marko (2015). "Sonraki 700 BFT Protokolü". Bilgisayar Sistemlerinde ACM İşlemleri. 32 (4): 1–45. doi:10.1145/2658994. S2CID  900359.