Curriculum Vita

 

Professor Seif Haridi, KTH/ECS & SICS

 

 

 

 

 

 

Academic degrees

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.

Current Positions

Professor in Computer Systems, Parallel and Distributed System, KTH since 1999.

Chief Scientist of the Swedish Institute of Computer Science.

Previous Employments

Research Director, Swedish Institute of Computer Science, 1993-07-01 until 1999-02-01

Awards

Chester Carlsons Research Prize in Information Sciences 1991 (Chester Carlsons Forskningspris, 1991 för Informationsvetenskap), awarded by the Swedish Academy of Engineering Sciences.

Summary of Recent Research Activities  

Large scale self-managing distributed systems

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.

·        IST project Selfman (http://www.ist-selfman.org), partner.

·        IST project GRID4All (http://www.grid4all.org), partner.

 

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.

Large-scale agent-based simulations

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.

Distributed Programming Systems

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.

Logic and (concurrent) Constraint Programming Systems

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 Aurora project we constructed the first parallel Prolog on shared memory machines. I was a co-leader of the Andorra Kernel Language (AKL) team and co-designer of the concepts of AKL, the first existing complete concurrent constraint language. We designed a successful parallel implementation of AKL running, including a parallel garbage collector, running on shared memory multiprocessors (see http://www.sics.se/isl/akl).

Parallel Architecture

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 SUN Microsystems.

Programming Concepts and Models

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.

Startups

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).

·        PeerTV: 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.  

Ph. D. thesis supervisor and examiner

1.      Ali Ghodsi, Distributed k-ary System: Algorithms for Distributed Hash Tables, 2006, Royal Institute of Technology, Stockholm.

2.      Erik Klintskog, Generic Distribution Support for Programming Systems, 2005, Royal Institute of Technology, Stockholm.

3.      Sameh El-Ansary, Designs and Analyses in Structured Peer-To-Peer Systems, 2005, Royal Institute of Technology, Stockholm.

4.      Per Brand, Design Philosophy of Distributed Programming Systems: the Mozart Experience, 2005, Royal Institute of Technology, Stockholm.

5.      Joe Armstrong, Making Reliable Distributed Systems in the Presence of Software Errors, 2003, Royal Institute of Technology, Stockholm.

6.      Ashley Saulsbury, Attacking Latency Bottlenecks in Distributed Memory Systems, 1999, Royal Institute of Technology, Stockholm.

7.      Johan Montelius, Exploiting Fine-grain Parallelism in Concurrent Constraint Languages, 1997, Uppsala University.

8.      Björn Carlsson, Compiling and Executing Finite Domain Constraints, 1995, Uppsala University.

9.      Torbjörn Keisu, Tree Constraints, 1994, Royal Institute of Technology, Stockholm.

10.  Sverker Janson, AKL — a Multiparadigm Programming Language, 1994, Uppsala University.

11.  Erik Hagersten, Towards Scalable Cache-Only Memory Architectures, 1992, Royal Institute of Technology, Stockholm.

12.  Roland Karlsson, A High Performance OR-parallel Prolog System, 1992, Royal Institute of Technology, Stockholm, (Co-advisor with Docent Khayri Ali).

13.  Dan Sahlin, An Automatic Partial Evaluator for Full Prolog, 1991, Royal Institute of Technology, Stockholm.

14.  Nabiel El Shiewy, Robust Coordinated Reactive Computing in SANDRA, 1990, Royal Institute of Technology, Stockholm.

15.  Bogumil Hausman, Pruning and Speculative Work in OR-Parallel Prolog, 1990, Royal Institute of Technology, Stockholm.

16.  Mats Carlsson, Design and Implementation of an OR-parallel Prolog Engine, 1990, Royal Institute of Technology, Stockholm.

External Ph.D. thesis examiner

1.      Verdi March, A Read-Only Distributed Hash Table, 2007, National University of Singapore.

2.      Oon Wee Chong, M2ICAL: a Technique for Analyzing Imperfect Comparison Algorithms using Markov Chains, 2007, National University of Singapore.

3.      Zhu Qili Kenny, Open Constraint Programming, 2005, National University of Singapore.

4.      Diego Doval, Self-Organizing Resource Location and Discovery, 2004, Dublin, Trinity Collage, Irland.

5.      Christian Schulte, Programming Constraint Services, 2001, Universität des Saarlandes, Germany.

6.      Martin Henz, Objects in Oz, 1997, Universität des Saarlandes, Germany.


Some External Research Grants

·        The ESPRIT II project 2471, PEPMA Parallel Execution of Prolog on Multiprocessor Architectures, 1988—1991.

·        The ESPRIT II project, GPMIMD General Purpose Multiple Instruction Multiple Data machines, 1989—1992.

·        The ESPRIT III project, SODA Shared memory On Distributed Architectures, 1991—1993.

·        The ESPRIT III project 7195, ACCLAIM, Advanced Concurrent Constraint Languages: Applications, Implementations and Methodology, 1992—1995.

·        Nutek (Swedish National Board for Industrial and Technical Development) project, Perdio, PERsistance and DIstribution in Oz, 1996—1998.

·        EU IST-FET project PEPITO, Peer-to-Peer: Implementation and Theory, 2002-2005.

·        EU IST-FET IP6 Evergrow project 2004-2007.

·        CoreGRID, EU Network of Excellence on Grid computing, 2004-2008.

·        Selfmam, Self Management for Large-Scale Distributed Systems based on Structured Overlay Networks and Components, IST Project, 2005-2008.

Professional Activities

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.

 

·        Conference Chairman, DISC 2006, International Symposium on Distributed Computing, Stockholm, 2006.

·        Invited speaker at the British Computing Society, on Concepts, Techniques and Models of Computer Programming, December 2004.

·        Member of the advisory board of Jaczone AB.

·        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.

·        Representative of Sweden in CoreGrid, the EU network of excellence on GRID computing, 2004– 2008.

·        Member of the steering board of the Swedish National Infra-structure for Computing SNIC, 2000– 2003.


Most relevant publications of Seif Haridi

These are selected publications; a more complete list can be found on DBLP website or Google scholar.

Books

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)

Scientific Journals and Book Chapters

1.      Sameh El-Ansary, Supriya Krishnamurthy, Erik Aurell, Seif Haridi: An Analytical Study of a Structured Overlay in the presence of Dynamic Membership. IEEE/ACM Transactions on Networking, accepted to appear 2008.

2.      Ali Ghodsi, Seif Haridi: Exploiting the Synergy between Gossiping and Structured Overlays. ACM Operating Systems Review, 2007.

3.      Luc Onana, Ali Ghodsi and Seif Haridi: A framework for structured Peer-to-Peer overlay networks. Global Computing 2004, Springer Verlag.

4.      Konstantin Popov, Vladimir Vlassov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Seif Haridi: Parallel Agent-Based Simulation on a Cluster of Workstations. Parallel News Letters 2004.

5.      Petros Kavassalis, Stelios Lelis, Mahmoud Rafea, Seif Haridi: What makes a Web site popular? Communications of ACM 47(2): 50-55 (2004).

6.      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).

7.      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.

8.      Peter Van Roy, Per Brand, Seif Haridi, and Raphael Collet. A lightweight reliable object migration protocol: In Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, editors, Internet Programming Languages, Lecture Notes in Computer Science, vol. 1686. Springer Verlag, October 1999.

Conferences

9.      Tallat Shafaat, Ali Ghodsi, Seif Haridi, Handling Network Partitions and Mergers in Structured Overlay Networks. IEEE Peer-to-Peer Computing 2007.

10.  Jim Dowling, Jan Sacha, Seif Haridi: Improving ICE Service Selection in a P2P System Using the Gradient Topology. First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2007.

11.  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.

12.  Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: A Statistical Theory of Chord Under Churn. IPTPS 2005: 93-103.

13.  Ali Ghodsi, Luc Onana, Seif Haridi: Increasing Robustness and Minimizing Bandwidth Consumption in Structured Peer-to-Peer Systems. HICSS 2005. Received Best Paper Award

14.  D. Havelka, C. Schulte, P. Brand, S. Haridi. Thread-based mobility in Oz. Second International Mozart/Oz Conference, Charleroi, Belgium, October 2004.

15.  F. Drejhammar, C. Schulte, S. Haridi, P. Brand. Flow Java: Declarative concurrency for Java. 19th Intl. Conf. on Logic Programming, LNCS 2916, pages 346--360, Mumbai, India, De. 2003. Received Best Application Paper Award.

16.  Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi: The DSS, a Middleware Library for Efficient and Transparent Distribution of Language Entities. HICSS 2004.

17.  Sameh El-Ansary, Erik Aurell and Seif Haridi. Experience with a physics-style approach for the study of self properties in structured overlay networks. SELF-STAR International Workshop on Self-Properties in Complex information Systems.

18.  Seif Haridi, Luc Onana and Ali Ghodsi, SELF Properties in Distributed K-ary Structured Overlay Networks. SELF-STAR International Workshop on Self-Properties in Complex information Systems.

19.  Ali Ghodsi , Luc Onana and Seif Haridi. Multicast in DKS(N; k; f) Overlay Networks. 7th International Conference on Principles of Distributed Systems 2003.

20.  Luc Onana, Ali Ghodsi and Seif Haridi, Self-Correcting Broadcast in Distributed Hash Tables, International Conference on Parallel and Distributed Computing and Systems 2003.

21.  Erik Klintskog and Seif Haridi. A Peer-to-Peer Approach to Enhance Middleware Connectivity. 7th International Conference on Principles of Distributed Systems 2003.

22.  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.

23.  Luc Onana Alima, Valentin Mesaros, Peter Van Roy and Seif Haridi. NetProber: a Component for Enhancing Efficiency of Overlay Networks in P2P Systems. The 2nd IEEE International Conference on Peer-to-Peer Computing Systems, Sweden, September 5-7, 2002.

24.  Mahmoud Rafea, Fredrik Holmgren, Konstantin Popov, Seif Haridi, et al: Application Architecture of the Internet Simulation Model: Web Word of Mouth (WoM). IASTED International Conference on Modeling and Simulation MS2002, Marina del Rey, USA, May 2002.

25.  Stelios Lelis, Petros Kavassalis, Jakka Sairamesh, Seif Haridi, et. Al. Regularities in the formation and evolution of information cities. In the second meeting on Digital Cities, Kyoto Research Park, Japan, 2001.

26.  Erik Klintskog, Anna Neiderud, Per Brand, Seif Haridi: Fractional Weighted Reference Counting. Euro-Par 2001: 486-490.