Graduate Students (M.Sc.
and PhD.)
- Amotz Bar-Noy --''Algorithms in an Unreliable
Distributed System,'' PhD, 1987.
- Hagit Attiya -- ''Synchronism vs. Asynchrony in
Distributed Systems,'' PhD, 1987.
- Nir Shavit -- ''Concurrent Time Stamping,'' PhD,
1989.
- Dahlia Malkhi -- ''Multicast Communication for High Availability,'' PhD,
1994.
- Michal Parnas -- "Robust Algorithms and
Data Structures for Information Retrieval,'' (co-advisor, Noam
Nisan)PhD, 1994.
- Yair Amir -- "Replication Using Group Communication Over a Partitioned
Network," PhD, 1995
- Idit Keidar
--"Consistency
and High Availability of Information Dissemination in Multi-Processor
Networks," PhD
1998.
- Ehud Sivan -- "Fault tolerance in small
neuronal networks," (co-advisor, Hanna
Parnas) PhD, 1999.
- Ohad Rodeh -- "Secure
Group Communication," (co-advisor, Ken
Birman)PhD, 2001.
- Tal Anker-- "Enabling
Protocols & Algorithms for Multicast Oriented Applications," PhD,
2001.
- David Breitgand -- "On
Generic Scalability Problems in Monitoring of Data Communication
Networks," (co-advisor, Danny
Raz) PhD, 2003.
.
- Osnat Mokryn --
"," (co-advisor, Yuval
Shavitt)PhD, 2004.
- Ariel Daliot
Hanna ParnasPhD,
2006
- Ilya Shanayderman -- "Optimizing
Total Order Protocols for State Machine Replication," PhD,
2006.
- Yaron Weinsberg
- Danny Bickson
-- "Gaussian Belief
Propagation: Theory and Application," (co-advisor Dahlia
Malkhi)PhD,
2008.
- -- "Locality and Efficiency in
Distributed Computing," (co-advisor Dahlia
Malkhi) PhD, 2009.
- Ezra Hoch -- "Bridging the Gap: Byzantine Faults
and Self-stabilization," PhD, 2010.
- Shay Horovitz
- Shimrit Tzur-David
- Gaddi
Blumrosen
- Bracha Hod
M.Sc.
Graduates
- Shlomo
Kipnis --
"Delta-Synchronous Distributed System,'' M.Sc., 1985.
- Josef Gil -- "Parallel Computation of
Edit Distance,'' M.Sc., 1986.
- Daphne
Koller -- "Token
Survival,'' M.Sc., 1986.
- Dror G. Feitelson -- "Optical
Computers from a Computer Science Viewpoint,'' M.Sc., 1987
(co-advisor, LarryRudolph).
- Yuval Ronen -- "Verification of Reliable
Programs and the l-exclusion Problem,'' M.Sc., 1987.
- Shlomo
Kramer -- "Total
Ordering of Messages in Multicast Communication Systems," M.Sc. 1992.
- Yuval Harary -- "Algorithms and Lower Bounds
for Neighborhood Word Retrieval,'' M.Sc. 1992.
- Idit Keidar -- "A
Highly Available Paradigm for Consistent Object Replication," M.Sc.
1994.
- Rimon Orni -- "PCODE: An Efficient and Reliable Collective Communication
Protocol for Unreliable Broadcast Domains," M.Sc. 1994.
- NabilHuleihel -- "Efficient Ordering of Messages in Wide Area Networks,"
M.Sc. 1996.
- Esti Yeger-Lotam -- "Dynamic
Voting for Consistent Primary Components," M.Sc. 1997.
- Ohad Rodeh --
"The
Design and Implementation of Lansis/E,'' M.Sc. 1997.
- Zohar Levy -- "A Rate
Allocation Protocol Using Competitive Pricing for Improving Performance of
Multicast Sessions," M.Sc. 1997.
- David Breitgand -- "Group
Communication as an Infrastructure for Distributed Systems
Management,"
M.Sc. 1997.
- Gregory Chockler -- "An Adaptive Totally Ordered Multicast Protocol that Tolerates
Partitions," M.Sc. 1997.
- GadiShamir --
"A Scalable and Efficient
Electronic Commerce System," M.Sc. 1997.
- Tal Anker --
"CONGRESS:
CONnection-oriented Group-address RESolution Service," M.Sc. 1997.
- Roman Vitenberg -- "Properties
of Distributed Group Communication and Their Utilization," M.Sc.
1998.
- Igor Polevoy -- "On
Performance of HPC MAC Layer Algorithms," M.Sc.,
2000.
- RoiCohen -- "PrFQ: Probabilistic Fair Queuing," M.Sc.,
2000.
- Shanayderman Ilya -- "The
Design of Xpand: A Group Communication
System for Wide Area Networks," M.Sc., 2001.
- Innocenty Sukhov -- "TCP-Friendly
Many-to-Many End-to-End Congestion Control," M.Sc.,
2003.
- Gleb Shaviner -- "Highly
Available Monitoring System Architecture (HAMSA)," M.Sc.,
2003.
- -- "Off-Piste QoS-aware
Routing Protocol," M.Sc.,
2004.
- Gregory Greenman -- "High
Speed Total Order for SAN Infrastructure," M.Sc.,
2005.
- Shimrit Tzur-David -- "A
Network Intrusion Prevention System (NIPS) for High-Speed Networks,"
M.Sc., 2005.
- Bracha Hod -- "Cooperative
and Reliable Packet-Forwarding On Top of AODV," M.Sc.,
2005.
- Yoav Reshef -- "A
Byzantizer for Ad Hoc Routing Schemes,"
M.Sc., 2005.
- Ezra Hoch -- "Self-stabilizing
Byzantine Pulse and Clock Synchronization," M.Sc.,
2007.
- Maxim Grabarnik -- "Dynamic
Offloading Infrastructure for programmable Devices," M.Sc.,
2007.
- Leo Dorrendorf
-- "Cryptanalysis of the Windows
Random Number Generator," M.Sc., 2007.
- Ola Adamovsky -- "IPL
Formulation for Dynamic Offloading Layouts," M.Sc.,
2007.
- Harel Avissar
-- "Non-parametric Belief
Propagation Applications," M.Sc., 2009.
- Alexander Brill
--
"Distributed Robust Min
Variance Beamforming,"M.Sc., 2009.
- Kiril Lashchiver --
"Domain Name System
Anomaly Detection and Prevention," M.Sc., 2010.
- David Karpf --
"Distributed Wireless Sensor
Networks (WSNs) Bottleneck Detection," M.Sc., 2010.
- Tomer Harpaz --
"Self-Stabilizing Byzantine
Agreement in a Synchronous Network," M.Sc., 2011.
- Ami Luttwak --
"Human Motion Tracking and Orientation
Estimation using inertial sensors and RSSI measurements," M.Sc.,
2012.
- Shir Peled
-- "Finding Triangles and Small
Subgraphs in a Distributed Setting," M.Sc., 2012.
- Noam Teomim --
"A layered Synchronized
Simulation," M.Sc., 2015.
- Meir Spielrein --
"Possibility and Impossibility of Reliable Broadcast in the Bounded Model,"
M.Sc., 2016.
- Samyon Ristov -- "LogMemcached: An RDMA based
Continuous Cache Replication", (Co Advisors Tal Anker and Yaron
Weinsberg), M.Sc., 2017.
- Daniel Alishaiev --
"Leader election in dynamic environments", M.Sc., 2021.