Curriculum Vita

Professor Seif Haridi, KTH/SICS

 

 

 

Personal Information

Name: Seif Haridi

Year of Birth: 1953

Nationality: Swedish

Email: haridi@kth.se

Webpage: http://www.sics.se/~seif

Phone: +46 705121540

Current Positions

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

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.

B.Sc. on Electronics and Communication, Faculty of Engineering, Cairo University, 1974.

Previous Employments

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 https://secure.webforum.com/form/rae2012/images/spacer.gif

Visiting Positions

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

Awards

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

Teaching 2008-2011

Master and Ph.D. level courses on various aspects of distributed computing

ID2203 Distributed Systems -- Distributed Algorithms https://secure.webforum.com/form/rae2012/images/spacer.gif

ID2210, Distributed Systems, Peer-to-Peer Systems, Grids and Clouds

ID2220 Advanced Course in Distributed Systems

Software 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 http://www.sics.se/%7Eseif/index_files/mozart-69x30.gif, Multi-paradigm programming systems

SICStus Prolog, The most well know Prolog system

Summary of Recent Research Activities

Scalable Cloud storage systems

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.

Peer-to-Peer Live Media Streaming

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.

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

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

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.      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, National University of Singapore.

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

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

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

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

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


Some Major External Research Grants

·         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, IST Project, 2005-2008.

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

·         EU IST-FET IP6 Evergrow project 2004-2007, Coordinator

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

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

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

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

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

 

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.

 

·         Program co-chair DAIS 2012, 12th IFIP International Conference on Distributed Applications and Interoperable Systems.

·         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 My Research on DBLP website or Google Scholar Citations

Google citations are: All Citations 4085, since 2007: 1441, h-index-all: 30, since 2007: 17  

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)

Five Most Cited Publications

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.

Programming paradigms of the Andorra kernel language, ICLP 1991.

Efficient broadcast in structured P2P networks, S El-Ansary, L Alima, P Brand, S Haridi, Peer-to-Peer Systems II, 304-314, 2003.

Selected Papers by Topic

Distributed Cloud Storage, Scalaris

1.      Florian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt: Enhanced Paxos Commit for Transactions on DHTs. CCGRID 2010: 448-454

2.      Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Seif Haridi: A Scalable, Transactional Data Store for Future Internet Services. Future Internet Assembly 2009: 148-159

3.      Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi, Alexander Reinefeld: Key-based consistency and availability in structured overlay networks. HPDC 2008: 235-236

4.      Monika Moser, Seif Haridi: Atomic Commitment in Transactional DHTs. CoreGRID 2007: 151-161

Peer-to-Peer Live Media Streaming

5.      Riccardo Reale, Roberto Roverso, Sameh El-Ansary, Seif Haridi: DTL: Dynamic Transport Library for Peer-to-Peer Applications. ICDCN 2012: 428-442

6.      Amir H. Payberah, Jim Dowling, Seif Haridi: GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming. ISPDC 2011: 153-162

7.      Amir H. Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi: gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay. DAIS 2010: 212-225

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.

Distributed Software Components Frameworks

10.  Roberto Roverso, Sameh El-Ansary, Alexandros Gkogkas, Seif Haridi: Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle. SimuTools 2011: 506-515

11.  Cosmin Arad, Jim Dowling, Seif Haridi: Building and Evaluating P2P Systems using the Kompics Component Framework. Peer-to-Peer Computing 2009: 93-94

Overlay Networks

12.  Tallat M. Shafaat, Ali Ghodsi, Seif Haridi: Dealing with network partitions in structured overlay networks. Peer-to-Peer Networking and Applications 2(4): 334-347 (2009)

13.  Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: An analytical study of a structured overlay in the presence of dynamic membership. IEEE/ACM Trans. Netw. 16(4): 814-825 (2008)

14.  Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi: Comparing Maintenance Strategies for Overlays. PDP 2008: 473-482

15.  Ali Ghodsi, Luc Onana Alima, Seif Haridi: Symmetric Replication for Structured Peer-to-Peer Systems. DBISP2P 2005: 74-85

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.

17.  Sameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi: Efficient Broadcast in Structured P2P Networks. IPTPS 2003: 304-314

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.

Programming Systems, Mozart/Oz

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.

Programming System, Logic Programming and Concurrent Constraint Programming

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.

 

Multiprocessor Architecture

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.

Garbage Collection Algorithms

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.