Name: Seif Haridi
Year of Birth: 1953
Phone: +46 705121540
Professor in Computer Systems, Parallel and Distributed Systems, ICT school, KTH since 1999.
Chief Scientist of the Swedish Institute of Computer Science, SICS, since 1999.
Lead of EIT, ICTLABS research program on Cloud Computing, since 2010
Docent in Computer Systems, Royal Institute of Technology, 1984.
Ph.D. degree in Computer Systems, thesis title: Logic Programming Based on a Natural Deduction System, KTH, 1981.
B.Sc. on Electronics and Communication, Faculty of Engineering, Cairo University, 1974.
Research Director, Swedish Institute of Computer Science, 1993-1999
Research Lab. Leader, laboratory of Programming and Parallel Systems, 1986-1993
Research Staff Member, IBM, T.J. Watson Research Center, NY, USA, 1984-1985
Assistant Professor (Lecturer), Department of Telecommunication and Computer Systems, KTH, 1982-1984
Visiting Professor, NUS, National University of Singapore, Department of Computer Science, 2003-2004
Visiting Researcher, DFKI, German Research Institute of Artificial Intelligent, 1995-1995
Visiting Researcher, Xerox Parc, 1991-1991
· IEEE Scalability Prize on Scalaris, scalable transactional key-value store (together with the ZIB group), 2010.
· Xerox, Chester Carlsons Research Prize in Information Sciences 1991, awarded by the Swedish Academy of Engineering Sciences.
Master and Ph.D. level courses on various aspects of distributed computing
ID2203 Distributed Systems -- Distributed Algorithms
ID2210, Distributed Systems, Peer-to-Peer Systems, Grids and Clouds
ID2220 Advanced Course in Distributed Systems
My research team focuses on system research, here is a list of software systems developed either by my research team or in collaboration with other researchers. The systems mentioned below have a substantial user communities:
KOMPICS, Component framework for building distributed systems
Scalaris, Distributed Transactional Key-Value Store
Mozart , Multi-paradigm programming systems
SICStus Prolog, The most well know Prolog system
The work on Scalaris is one of the first scalable transactional and distributed key-value stores. It received IEEE scalability prize 2009. Current work includes a new system called CATS which provide strong consistency and high performance, and used on the DIGHT project at SICS. The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India.
Work on peer-to-peer overlays results on work in the application area of media distribution. The work resulted on numerous research papers on the area and a start-up Peerialism. The product of the company is Peer2View – a platform for over-the-top video streaming – is operational system that is delivered to MPS Broadband. Peer2View is a p2p assisted distribution solution for video streaming of live events and linear TV over internet. Peer2View is designed to work with existing CDNs to greatly improve scalability, reach and distribution efficiencies. The solution can handle a large number of simultaneous users whilst maintaining a high quality of service meeting the requirements of commercial content owners.
I am currently involved in research in the areas of self-managing overlays networks, and peer-to-peer computing. These activities are performed in the following EU projects:
· FET project PEPITO (http://www.sics.se/pepito), scientific coordinator.
· FET project Evergrow project (http://www.evergrow.org), scientific coordinator.
In the PEPITO, we designed algorithms, architecture, and a middleware for Distributed Hash Table overlay networks, called Distributed K-ary System (DKS). DKS is suitable for large-scale storage and content distribution applications. DKS self-manages in case of node joins and failures, so called churn, and self-heals from network partitions.
In Evergrow, we develop an environment for testing and developing large-scale distributed systems where we can accurately model service-level behavior, network topologies, and dynamic network behavior. We also designed analytical models for large-scale distributed systems under churns, where we can predict system behavior analytically.
In SELFMAN we study self-managing of large-scale distributed systems: these systems will reconfigure themselves to handle changes in their environment or requirements without human intervention but according to high-level management policies. We focus on four axes of self management, namely self configuration, self healing, self tuning, and self protection. In important aspect is the integration of software components and overlay networks.
In Grid4All we study how to design flexible and dynamic light weight GRIDS as ubiquitous utility whereby domestic users, small organizations and enterprises may aggregate resources on the Internet without having to individually invest and manage computing and IT resources.
Earlier, in the EU FET project Information Cities, we studied large-scale information dissemination in social networks based on different network models including small-world and scale-free networks. We have also developed a large-scale parallel agent-based simulation for studying the emergence of these models. Other work includes parallel construction of Small Word network graphs.
We have also designed a language-independent middleware for distributed and Peer-to-Peer computing based on the experience of the Mozart system developed by my research group together with German and Belgian researchers. I am a co-designer of the programming language Oz and the Mozart programming platform (see http://www.mozart-oz.org). Mozart is a distributed programming system that runs on a network of machines. It supports fine grain concurrent threads, functional programming, objects, dataflow, and first class procedures.
I have done
earlier research on design and implementation of logic and constraint-based
languages. I led the development of SICStus Prolog (see http://www.sics.se/sicstus), a high-quality Prolog system; the most widely used world-wide Prolog
system. In the
I am a
co-inventor of COMA architectures, a scalable cache-coherent shared memory
multiprocessor with only caches. This concept has been taken up by
One important recent work finished in 2004 is the book published by MIT-Press: Concepts Techniques and Models of Computer Programming. The book is used in several universities for teaching computer programming, and is considered by many as the main 'bible' in the area.
During my work at SICS, my research group has created to a number of starts-ups in the area of ICT:
· Tacton: http://www.tacton.com; tools for product configurations based on constrain programming.
· Virtutech: http://www.virtutech.com; tools for simulation and software development environment for parallel computer systems.
· Jaczone: http://www.jaczone.com; a knowledge-based tool for supporting software development in UML and the Unified Process (UP).
· Peerialism: http://www.peerialism.com, a recent company (2007) for large-scale live media streaming and video-on-demand on the INTERNET, using Peer-to-Peer techniques and distributed market auctioning.
k-ary System: Algorithms for Distributed Hash Tables,
2006, Royal Institute of Technology,
Distribution Support for Programming Systems, 2005, Royal Institute of
El-Ansary, Designs and Analyses in
Structured Peer-To-Peer Systems, 2005, Royal Institute of Technology,
Brand, Design Philosophy of Distributed
Programming Systems: the Mozart Experience, 2005, Royal Institute of
Armstrong, Making Reliable Distributed
Systems in the Presence of Software Errors, 2003, Royal Institute of
Latency Bottlenecks in Distributed Memory Systems, 1999, Royal Institute of
Exploiting Fine-grain Parallelism in Concurrent Constraint Languages, 1997,
Björn Carlsson, Compiling and Executing Finite Domain
Torbjörn Keisu, Tree Constraints, 1994, Royal Institute
Sverker Janson, AKL — a Multiparadigm
Programming Language, 1994,
Scalable Cache-Only Memory Architectures, 1992, Royal Institute of
High Performance OR-parallel Prolog System, 1992, Royal Institute of
Automatic Partial Evaluator for Full Prolog, 1991, Royal Institute of
El Shiewy, Robust Coordinated Reactive
Computing in SANDRA, 1990, Royal Institute of Technology,
Bogumil Hausman, Pruning and Speculative Work in OR-Parallel
Prolog, 1990, Royal Institute of Technology,
and Implementation of an OR-parallel Prolog Engine, 1990, Royal Institute
1. Shay Horovitz, Traffic & User Behavior Patterns in Peer-to-Peer Networks, 2011, Hebrew University.
2. Jan David Mol, Free-riding Resilient Video Streaming in, Peer-to-Peer Networks, Delft Technical University, 2009
3. Sarunas Girdzijauskas, DESIGNING PEER-TO-PEER OVERLAYS, A SMALL-WORLD PERSPECTIVE, EPFL, 2008
4. Thorsten Schuett, Range Queries on Distributed Hash Tables , Humboldt-University, Berlin, 2009
5. Verdi March, A Read-Only Distributed Hash Table, 2007,
6. Oon Wee Chong, M2ICAL: a Technique for Analyzing Imperfect Comparison Algorithms using Markov Chains, 2007, National University of Singapore.
Qili Kenny, Open
Constraint Programming, 2005,
Resource Location and Discovery, 2004,
Schulte, Programming Constraint Services, 2001, Universität
Henz, Objects in Oz, 1997, Universität des
· End-to-End Information Centric Clouds, Strategic Research Foundation, 2011-2016, Coordinator
· Vision Cloud, Virtualized Storage Services Foundation for the Future Internet (IP), IST Project, 2010-2013
Selfman, Self Management for Large-Scale Distributed
Systems based on Structured Overlay Networks and Components,
· CoreGRID, EU Network of Excellence on Grid computing, 2004-2008.
· Nutek (Swedish National Board for Industrial and Technical Development) project, Perdio, PERsistance and DIstribution in Oz, 1996—1998.
· The ESPRIT II project, GPMIMD General Purpose Multiple Instruction Multiple Data machines, 1989—1992.
· The ESPRIT II project 2471, PEPMA Parallel Execution of Prolog on Multiprocessor Architectures, 1988—1991.
I include here only the major professional activities in recent years. Other activities such as giving informal talks at various foreign organizations and universities, reviewing papers, program committee membership are not included.
· Program co-chair DAIS 2012, 12th IFIP International Conference on Distributed Applications and Interoperable Systems.
Chairman, DISC 2006, International Symposium on Distributed Computing,
· Invited speaker at the British Computing Society, on Concepts, Techniques and Models of Computer Programming, December 2004.
of the advisory board of
· Chairman of Europar 2004 chapter on Peer-to-Peer computing.
· Member of the editorial committee of IEEE Internet Computing, 2000 – 2004.
· Member of the editorial committee of journal of logic programming theory and practice, 2002 – 2005.
· Member of the EU expert group on Next Generation Grid Systems, 2003.
of the steering board of the Swedish National Infra-structure for Computing
Google citations are: All Citations 4085, since 2007: 1441, h-index-all: 30, since 2007: 17
Peter Van Roy and Seif Haridi: Concepts, Techniques and Models of Computer Programming, MIT-press 2004, http://www.info.ucl.ac.be/people/PVR/book.html)
DDM-a cache-only memory architecture, IEEE Computer 25 (9), 44-54, 1992.
The Aurora or-parallel Prolog system, New Generation Computing 7 (2), 243-271, 1990.
Concepts, techniques, and models of computer programming, The MIT Press, 2004.
Efficient broadcast in structured P2P networks, S El-Ansary, L Alima, P Brand, S Haridi, Peer-to-Peer Systems II, 304-314, 2003.
8. AH Payberah, F Rahimian, S Haridi, J Dowling , Sepidar: Incentivized market-based p2p live-streaming on the gradient overlay network, Multimedia (ISM), 2010 IEEE International Symposium on, 1-8
9. Roberto Roverso, Sameh El-Ansary, Seif Haridi, Natcracker: Nat combinations matter, Computer Communications and Networks, 2009. ICCCN 2009.
16. Karl Aberer, Luc Onana Alima, Ali Ghodsi, Sarunas Girdzijauskas, Seif Haridi, Manfred Hauswirth: The Essence of P2P: A Reference Architecture for Overlay Networks. IEEE Peer-to-Peer Computing 2005.
18. Luc Onana, Sameh El-Ansary and Seif Haridi, DKS(N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications. CCGRID 2003.
19. Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. TPLP 3 (6): 715-763 (2003).
20. Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, and Gert Smolka: Efficient logic variables for distributed computing. ACM Transactions on Programming Languages and Systems (TOPLAS), May 1999.
21. Seif Haridi, Peter Van Roy , Programming Languages for Distributed Applications, New Generation Computing Systems 1998.
22. Seif Haridi, Peter Van Roy, Mobile Objects in Distributed Oz, ACM Transactions on Programming Languages and Systems, September 1997.
23. Sverker Janson and Seif Haridi. An introduction to AKL - A multiparadigm programming language. In Constraint Programming, NATO-ASI Series vol. 131, Springer-Verlag, 1994.
24. Björn Carlson, Seif Haridi, and Sverker Janson. AKL(FD) - A concurrent language for FD programming. In Logic Programming: Proceedings of the 1994 International Symposium. The MIT Press, 1994.
25. Sverker Janson, Johan Montelius, and Seif Haridi. Ports for objects in concurrent logic programs. In Agha, Wegner, and Yonezawa (eds.), Research Directions in Concurrent Object-Oriented Programming, The MIT Press, 1993.
26. Seif Haridi, Sverker Janson, and Catuscia Palamidessi. Structural operational semantics for AKL. Journal of Future Generation Computer Systems 8(1992).
27. Torkel Franzen, Seif Haridi, and Sverker Janson. An overview of AKL. In ELP'91 Extensions of Logic Programming, LNAI 596, Springer-Verlag, 1992.
28. Sverker Janson and Seif Haridi. Programming paradigms of the Andorra Kernel Language. In Saraswat and Ueda (eds.), Logic Programming: Proceedings of the 1991 International Symposium, The MIT Press, 1991.
29. Seif Haridi and Sverker Janson. Kernel Andorra Prolog and its computation model. In Warren and Szeredi (eds.), Logic Programming: Proceedings of the Seventh International Conference, The MIT Press, 1990.
30. Seif Haridi. A Logic Programming Language Based on the Andorra Model . New Generation Computing, 1990.
31. Erik Hagersten, Mats Grindal, Anders Landin, Seif Haridi, Simulating the Data Diffusion Machine, PARLE 1993
32. Erik Hagersten, Anders Landin and Seif Haridi, DDM - a Cache-Only Memory Architecture, IEEE Computer Sept. 1992
33. Erik Hagersten, Anders Landin and Seif Haridi, Multiprocessor Consistency and Synchronization thru Transient Cache States, Proc. of the Workshop on Scalable Shared-Memory Architectures , Kluwer Academic Publisher, Norwell, Mass, 1991.
34. Anders Landin, Erik Hagersten and Seif Haridi, Race-Free Interconnection Networks and Multiprocessor Consistency, International Symposium on Computer Architecture , IEEE 1991.
35. Karin Appleby, Mats Carlsson, Dan Sahlin, and Seif Haridi. Garbage Collection for Prolog Based on WAM . Communication of the ACM June 1988.
36. Khayri Ali, and Seif Haridi. Global Garbage Collection for Distributed Heap Storage Systems . International Journal of Parallel Programming, October 1986.