Ph.d Students:

Gady Haber:

Parallel Evaluation of Sequential Code, Ph.D, approved in 2003.

Eitan Farchi:

Testing games, Ph.D, approved in 1998.

Sharoni Feldman:

Study of Metrical Routing in Ad Hoc Networks, thesis approved in 2007.

M.Sc students:

Dimitry Podvolny:

Y-invalidate: a New Protocol for Implementing Weak Consistency in DSM Systems, M.Sc, theses approved in 2003.

Gabriel Mizrahi:

The hashing approach to the Internet File System problem, M.Sc, approved in 2002.

Dimitry Giver:

HparC: Programming Parallel Applications Over the Internet, M.Sc, approved in 2002.

Vitaly Grachenko:

Parallel systems in a network of workstations, M.Sc, approved in 1999.

Esti Stain:

Sequential transformation of parallel programs, M.Sc, approved in 1997.

Adnan Agbaria (joint supervision with I. Newman):

Parallel algorithms with limmited shared memory, M.Sc, approved in 1997.

Shlomo Berkovsky:

peer2peer systems M.Sc, thesis submitted.

Yaniv Eitany:

software testing (joint with E. Farchi) M.Sc 2006,

Danny Meisler:

Source level modulo scheduling M.Sc,2006,

Moshe Yuda:

Source Level Merging of independent programs M.Sc, 2007.

Eddie Shochat:

Finding the Best Compromise in Compiling Compound Loops to Verilog, M.Sc, 2008.

Jawad Haj-Yihia:

Source level Unrolling of Loops Containing Pointers and Array References, M.Sc, 2008.

Nadav Rotem:

Nadav Rotem

Synthesis of pipelined multiplications, M.Sc,thesis submitted in 2008 (under review),

Mohsen Abu Salah:

Auctions by Price and Distance on Cellular Phones, M.Sc,thesis submitted in 2008 (under review),

Current students:
Tomer Gal (Java optimizations),
Ron Meldiner (effcient scheduling in VLSI circuits M.Sc),
Gassan Tabaja (2D synthesis M.Sc),
Gil Kulish (High level synthesis with un-known delays of memory references M.Sc),
Yehuda Ezra (Ed-Hoc cellular communication M.Sc),
Jawad Haj-Yihia (P.hd Advanced pointer analysis and struct optimizations),
Esti Stien (P.hd Numeric computations on the reconfigurable mesh).
Nadav Rotem (P.hd Optimized memory synthesis of multithreaded code),

---

File translated from T_EX by T_TH, version 3.85.
On 4 Jan 2009, 18:18.