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 
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
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 
, 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.
·
·
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
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
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,
2.
Erik
Klintskog, Generic
Distribution Support for Programming Systems, 2005, Royal Institute of
Technology,
3.
Sameh
El-Ansary, Designs and Analyses in
Structured Peer-To-Peer Systems, 2005, Royal Institute of Technology,
4.
Per
Brand, Design Philosophy of Distributed
Programming Systems: the Mozart Experience, 2005, Royal Institute of
Technology,
5.
Joe
Armstrong, Making Reliable Distributed
Systems in the Presence of Software Errors, 2003, Royal Institute of
Technology,
6.
Ashley
Saulsbury, Attacking
Latency Bottlenecks in Distributed Memory Systems, 1999, Royal Institute of
Technology,
7.
Johan
Montelius,
Exploiting Fine-grain Parallelism in Concurrent Constraint Languages, 1997,
8.
Björn Carlsson, Compiling and Executing Finite Domain
Constraints, 1995,
9.
Torbjörn Keisu, Tree Constraints, 1994, Royal Institute
of Technology,
10.
Sverker Janson, AKL — a Multiparadigm
Programming Language, 1994,
11.
Erik
Hagersten, Towards
Scalable Cache-Only Memory Architectures, 1992, Royal Institute of
Technology,
12.
Roland
Karlsson, A
High Performance OR-parallel Prolog System, 1992, Royal Institute of
Technology,
13.
Dan
Sahlin, An
Automatic Partial Evaluator for Full Prolog, 1991, Royal Institute of
Technology,
14.
Nabiel
El Shiewy, Robust Coordinated Reactive
Computing in SANDRA, 1990, Royal Institute of Technology,
15.
Bogumil Hausman, Pruning and Speculative Work in OR-Parallel
Prolog, 1990, Royal Institute of Technology,
16.
Mats
Carlsson, Design
and Implementation of an OR-parallel Prolog Engine, 1990, Royal Institute
of Technology,
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,
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,
8.
Diego
Doval, Self-Organizing
Resource Location and Discovery, 2004,
9.
Christian
Schulte, Programming Constraint Services, 2001, Universität
des
10.
Martin
Henz, Objects in Oz, 1997, Universität des
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,
·
CoreGRID, EU Network of Excellence on Grid computing,
2004-2008.
·
EU
·
EU
·
Nutek (Swedish National Board for Industrial and
Technical Development) project, Perdio, PERsistance and DIstribution in
Oz, 1996—1998.
·
The
ESPRIT
·
The
ESPRIT
·
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,
·
Invited
speaker at the British Computing Society, on Concepts, Techniques and Models of
Computer Programming, December 2004.
·
Member
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.
·
Representative
of
·
Member
of the steering board of the Swedish National Infra-structure for Computing
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.