Students

Postdocs and Research Team

  • Dr. Orna Agmon Ben-Yehuda. PhD. Cloud resource allocation
  • Sharon Kessler. MA. Scientific editor.

Working Graduate (and Undergraduate) Students

  • Iliya Kolchinsky. PhD. Scalable CEP Systems.
  • Arnon Lazerson. PhD. Scalable Monitoring of Data Streams.
  • Boris Pismenny. Auction-based Resource Allocation in the Cloud.
  • Liran Funaro. PhD. Memory-Elastic Applications.
  • Shunit Agmon. Security in RaaS Clouds.
  • Gal Yehuda. PhD. Monitoring Data Streams.
  • Shay Nachum. MSc. Attack techniques as a new approach to detect malware infection.
    Graduated Master and PhD Students
  • Matan Liram. MSc. Enhancing SSDs using Erasure Codes. July 2017.
  • Mickey (Moshe) Gabel. PhD. Distributed Monitoring with the Geometric Method.. August 2017.
  • Ran Bernstein. MSc. Distributed LDA Monitoring. July 2017.
  • Uri Verner. PhD. Co-supervised with Avi Mendelson and Mark Silberstein. Processing Real-time Data Streams on GPU-based Systems. December 2015.
  • Nadav Amit. PhD. Co-supervised with Dan Tsafrir. Alleviating Virtualization Bottlenecks. July 2014. 2014 SPEC Distinguished Dissertation Award.  2015 Honorable Mention for the Denis M. Ritchie SIGOPS Thesis Award.
  • Mickey (Moshe) Gabel. MSc. Unsupervised Anomaly Detection in Large Data Centers. July 2013. Now PhD student at CS/Technion.
  • Orna Agmon Ben-Yehuda. PhD. Efficient, Non-Cooperative Sharing of Computing Resources. June 2013. Now with the Industry.  Excellence Award by the Amnon Pazi Fund for 2013.
  • Eyal Posener. MSc. Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auctions. May 2013.
  • David Ben-David. MSc. Breach Recovery for Geometric Distributed Monitoring. March 2012.
  • Amir Abboud. The Safe Zone Approach for Monitoring Distributed Data Streams. June 2012. Now a PhD student at Stanford.
  • Guy Sagy, PhD. Co-supervised with Daniel Keren. Non-monotonic Top-K problems. February 2012. Now with IDF.
  • Arik Friedman, PhD. Co-supervised with Ran Wolff. Privacy Preserving Data Mining. November 2010. Now a researcher at NICTA, Australia.
  • Avishay Livne. Distributed monitoring of data streams through geometric operations. June 2010. Now a PhD student at University of Michigan.
  • Mark Silberstein, PhD. Co-supervised with Danny Geiger. A Distributed System for Genetic Linkage Analysis. June 2010. Now a postdoc at University of Texas at Austin.
  • Avi Yadgar, PhD. Co-supervised with Orna Grumberg. New Approaches to Model Checking and to 3-Valued Abstraction and Refinement. March 2010. Now with a startup company doing better car batteries.
  • Valentin Kravtchov, PhD. October 2009. Service-based Resource Brokering for Grid-based Data Mining. Now with a startup company in the UK.
  • Kfir Karmon. August 2009. Quota in Grid Systems. Now with Microsoft.
  • Konstantin Shagin, PhD. Co-supervised with Michael Factor. February 2009.
    High-performance Fault-Tolerant Wide-Scale Parallel Computing with Java. Now with IBM Haifa Research Lab.
  • Tsachi Sharfman, PhD. Co-supervised with Daniel Keren. November 2008. Geometric Monitoring of Data Streams. Now with my research team and an independent entrepreneur.
  • Tal zamir. Co-supervised with Michael Factor. August 2008 Speculative lock acquisition for distributed Java runtime.
  • Benny Yoshpa. Co-supervised with Ariel Orda. August 2008. Game Theory Aspects in QoS Grid Computing.
  • Alex Gontmakher, PhD. August 2007. An Architecture and Programming Model for Extremely Fine-Grain Parallelism. Now with Google.
  • Noam Palatin. June 2007. Monitoring Large Distributed Grid Batch Systems via Data Mining.
  • Gregory Shklover. May 2007. Compilation for Fine-Grain Parallel Code.
    Now with Intel, MATAM.
  • Liran Liss PhD. With distinction. Co-supervised with Tzachi Birk. September 2006.
    Asynchronous Distributed Systems. Now with Mellanox.
  • Denis Krivitsky. June 2006. Large-Scale Distributed Facility Location.
  • Nili Ifergan. Co-supervised with Orna Grumberg. April 2005. Asynchronous Scalable Distributed Symbolic Model Checking. Currently with IBM HRL.
  • Ohad Shacham. Tel Aviv U., co-supervised with Mooly Sagiv. January 2005. Scaling Model Checking of Dataraces Using Dynamic Information. Now graduated PhD and is with Intel.
  • Ran Wolf, PhD. October 2004. Data Mining in Large-Scale Distributed Systems.
    Now a professor at Haifa University.
  • Bobi Gilburd. August 2004. A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems. Now with IDF.
  • Amir Baror. July 2004. Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems. Now with IBM, Boston.
  • Yoram Talmor. May 2004. Higher Performance DSM by Peaking Network Utilization.
  • Dan Trock. January 2004. Sampling-Based Distributed Mining of Association Rules.
  • Tamir Heyman, PhD. December 2003. Co-supervised by Orna Grumberg. Distributed Algorithms for Symbolic Model Checking.
  • Vadim Iosevich. 2003. Distributed Shared Memory: to Relax or not to Relax?
  • Eli Pozniansky. 2003. Efficient On-the-Fly Data-Race Detection in C++ Programs.
  • Sergey Polyakov 2002. Testability and Non-Operational Characterizations of Java Memory Model.
  • Emil Cohn Dan. 2002. A Transparent Distributed Shared Memory System.
  • Vadim Gleizer. 2002. Optimizing Sharing Patterns and Locality via Thread Migration
  • Vladislav Kalinovski. 2002. Co-supervised with Roy Friedman. Symphony: Managing Virtual Servers in Peer-to-Peer Environments
  • Oren Zeev Ben-Mordechai, 2001. On-the-fly Data-Race Detection.
  • Niv Nitzan, 2000. Dynamic Adaptation of Sharing Granularity in DSM Computations.
  • Dmitry Kogan, 1999. Distributed Garbage Collection with Number of Messages Independent of Pointer Manipulation.
  • Ayal Itzkovitz, PhD, 1999. Distributed Shared Memory: Bridging the Granularity Gap. Now an entrepreneur.
  • Lea Shalev, 1998. Load Sharing and Locality in Distributed Shared Memory Systems.Now with IBM HRL.
  • Sasha Basonov, 1998. Parallel DSM Implementation of BDDs.
  • Amit Reisman, 1997. Co-supervised with Craig Gotsman. Parallel Adaptive Ray Tracing on IBM’s SP/2.
  • Gadi Pesach, 1997. Research by Moshe Bach. Transparent Access to Pointer Parameters and Global Variables in Remote Procedures.
  • Alex Dubrovski, 1996. Load-Balancing in Distributed Shared Memory Systems.
  • Maxim Kuzin, 1996. Weak Consistency Distributed Shared Memory System Design.
  • Ishai Ben-Aroya, 1995. Algorithms and Bounds for Deflection Routing.
  • Galit Shemesh, 1995. Bounds on parallel computation by reconfigurable networks.
  • Shai Halevi, 1994. On Greedy Hot-Potato Routing. Graduated PhD at MIT. Now with IBM.