The following list shortly summarizes relatively mature systems which are relatively old and can be obtained via email request to email@example.com.
- Adding an optimization phase to the LLVM compiler to improve VLIW scheduling for DSP processors. The optimization is based the MRK algorithm for parallel evaluation of algebraic circuits.
- is a system capable of simulating shared memory over a cluster of machines by transferring local memory pages between the machines. We have developed several versions of such systems (Linux and NT) with a special emphasis on efficient implementation of week consistency protocols (see The current system supports three types of memory consistency models.
- a mixed shared memory and message passing language designed to simplify the task of writing parallel servers over the Internet. HparC has been used to build an Electronic Mint for digital money over the Internet in less than lines of code. The system includes a compiler, light DSM kernel, scheduler, support for generating big-messages, nested hierarchy of message queues, and an applet to remotely configure an HparC application. The source code and the Mint can be downloaded and activated from http://cs.haifa.ac.il/YOSI/HPARC/index.htm.
- This is a compiler that uses loop-transformations to compile nested loops directly to circuits to be executed by an FPGA or ASIC in an embedded system. We have developed such a compiler for a restricted programming language called DOL and performed some preliminary tests.
- is an Internet file system designed to efficiently simulate a shard hard disk for a large un known set of Internet clients. The servers of the IFS can be arbitrarily located around the world and need not communicate with each other. IFS supports cooperative caches of the clients and week consistency of the underlying virtual hard disk simulated by the system. There are several versions of IFS (Linux and NT) and different monitoring systems. The latest version has been specially designed to support Video On Demand (VOD) applications and include an mpg player as the target application. Web page is available in http://cs.haifa.ac.il/YOSI/IFS/Html/main.htm and paper at http://cs.haifa.ac.il/YOSI/PAPERS/ifs.ps.
- two systems has been developed in this track both use random walks of ``postmen'' in the Internet to distribute requested objects to users. One system IDOS distribute ads to users according to desired features (known as publish/subscribe systems). The other system uses random walks to perform combinatorial bartering of goods (see http://cs.haifa.ac.il/YOSI/PAPERS/barter.ps). Web page is available in http://cs.haifa.ac.il/YOSI/IDOS/idos.html.
Algebraic simplifications to improve VLIW scheduling-
DSM run-time kernel
The dol language for translating programs to circuits-