Seif Haridi
http://www.sics.se/~seif
1. Selected Publications
1.1.
1.
Books
Peter Van Roy and Seif Haridi, Concepts, Techniques and Models of Computer
Programming, under publication
see (http://www.info.ucl.ac.be/people/PVR/book.html)
1.2.
Scientific Journals and Book Chapters
1. 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, May 1999
2. 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
3. Seif Haridi, Peter Van Roy, Per Brand, and Christian Schulte. Programming
languages for distributed applications. New Generation Computing, 16(3):223-261, May
1998
4. Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf
Scheidhauer. Mobile objects in Distributed Oz. ACM Transactions on Programming
Languages and Systems, 19(5):804-851, September 1997..
5. Tomas Axling and Seif Haridi. OBLICS, a Tool for Building Interactive
Configuration Applications. Journal of Logic Programming, Dec 1995.
6. Sverker Janson and Seif Haridi. An Introduction to AKL a Multi-paradigm
Programming Language. In Constraint Programming, NATO-ASI Series, Springer-Verlag
Computer and System Sciences Vol. 131, 1994.
7. Sverker Janson, Johan Montelius and Seif Haridi. Ports for Objects in Concurrent
Logic Programs. In Research Directions in Concurrent Object Oriented Programming,
eds. P. Wagner, G. Agha, MIT press, 1993.
8. Dan Sahlin, Torkel Franzen and Seif Haridi. An Intuitionistic Predicate Logic
Theorem Prover. Journal of Logic and Computation, Vol. 2, No. 5, Oxford University
Press, 1992.
9. Seif Haridi, Sverker Janson and Catuscia Palamidessi. Structural Operational
Semantics for AKL. Future Generation Computer Systems 8, North Holland, 1992.
10. Torkel Franzen, Seif Haridi and Sverker Janson. An Overview of AKL. ELP’91,
Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 596, SpringerVerlag, 1991.
11. Erik Hagersten, Anders Landin and Seif Haridi. DDM — A Cache-Only Memory
Architecture. IEEE Computer September 1992.
12. Seif Haridi. A Logic Programming Language Based on the Andorra Model. New
Generation Computing, 1990.
13. Erik Hagersten, Seif Haridi and David H.D. Warren. The Data Diffusion Machine and
its Data Coherency Protocol. In Declarative Systems, North Holland, ed. B.D. Shriver,
1990.
Seif Haridi, Curriculum Vitae
1
14. Ewing Lusk, David D.H.D. Warren, Seif Haridi, et al. The Aurora Or-parallel Prolog
Systems. New Generation Computing, 1990.
15. Andrzej Ciepielewski, Seif Haridi and Bogumil Hausman. Or-parallel Prolog on
Shared Memory Multiprocessors. Journal of Logic Programming 1989.
16. Karin Appleby, Mats Carlsson, Seif Haridi and Dan Sahlin. Garbage Collection for
Prolog Based on WAM. Communication of the ACM June 1988.
17. Khayri Ali and Seif Haridi. Global Garbage Collection for Distributed Heap Storage
Systems. International Journal of Parallel Programming, October 1986.
18. Andrzej Ciepielewski, Bogumil Hausman and Seif Haridi. Initial Evaluation of Orparallel Execution of Logic Programs. In Fifth Generation Computer Architectures, IFIP,
north-Holland, , edited by J.V. Woods, 1986
19. Seif Haridi and Dan Sahlin. Efficient Implementation of Unification of Cyclic
Structures. In Implementation Issues of Prolog, edited by J. Campell, Illis Horwood series
on Artificial Intelligence, 1984.
20. Åke Hansson, Seif Haridi and Sten-Åke Tärnlund. Properties of a Logic
Programming Language. In Logic Programming edited by K. Clark and S-Å. Tärnlund,
academic press, 1982.
1.3.
Conferences
21. 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, Linköping, Sweden,
September 5-7, 2002.
22. 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.
23. 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.
24. Per Brand, Nils Franzen, Erik Klintskog and Seif Haridi. A Platform for Constructing
Virtual Spaces, Virtual Worlds and Simulation Conference (VWSIM 98), San Diego 1998
25. Peter Van Roy, Seif Haridi, Per Brand, and Gert Smolka. Three moves are not as bad
as a fire. In the Workshop on Internet Programming Languages, International Conference
on Computer Languages (ICCL 98), May 1998
26. Peter Van Roy, Seif Haridi, and Per Brand. Distributed programming in Mozart A
tutorial introduction. Technical report, Mozart Consortium and Universite catholique de
Louvain, 1999. In Mozart documentation, available at http://www.mozart-oz.org
27. Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf
Scheidhauer. Using mobility to make transparent distribution practical. In the Workshop
on Mobile Object Systems (MOS), ECOOP 97, June 1997
28. Seif Haridi, Peter Van Roy and Gert Smolka. An Overview of the Design of
Distributed Oz. ACM International Symposium on Parallel Symbolic Computation,
PASCO’97, Hawaii, 1997.
29. Johan Montelius and Seif Haridi. An Evaluation of Penny: a System for Fine-grain
Implicit Parallelism. ACM International Symposium on Parallel Symbolic Computation,
PASCO’97, Hawaii, 1997.
Seif Haridi, Curriculum Vitae
2
30. Tomas Axling, Seif Haridi and Lennart Fahlen. Concurrent Constraint Programming
Virtual Application. The second international conference on the Military Applications of
Synthetic Environments and Virtual Reality MASEVR’95, Dec 1995.
31. Björn Carlson, Seif Haridi, Sverker Janson. AKL(FD) — A Concurrent Language for
FD Programming. International Symposium of Logic Programming, MIT press, 1994.
32. Tomas Axling and Seif Haridi. A Tool for Developing Interactive Configuration
Application. The International Conference on Practical Applications of Prolog 1994.
33. Erik Hagersten, Anders Landin, Mats Grindal and Seif Haridi. Simulating the Data
Diffusion Machine. PARLE '93 Parallel Architecture and Languages Europe, June 1993.
34. Sverker Janson and Seif Haridi. Programming Paradigms of Andorra Kernel
Language. Logic Programming: Proceedings of the 1991 International Symposium MIT
Press, 1991.
35. Seif Haridi and Catuscia Palamedissi. Structural Operational Semantics for Kernel
Andorra Prolog. PARLE '91 Parallel Architecture and Languages Europe, June 1991.
36. Anders Landin, Erik Hagersten and Seif Haridi. Race-free Networks and
Multiprocessor Consistency. Joint ACM and IEEE International Symposium on Computer
Architecture, ISCA’91, Toronto 1991.
37. Seif Haridi and Sverker Janson. Kernel Andorra Prolog and its Computational Model.
International Conference of Logic Programming, MIT Press, 1990.
38. Seif Haridi and Erik Hagersten. The Cache Coherence Protocol of the Data Diffusion
Machine, invited paper. PARLE '89 Parallel Architecture and Languages Europe, June
1989.
39. David H.D. Warren and Seif Haridi. Data Diffusion Machine — A scalable shared
virtual memory multiprocessor, invited paper. International Conference on Fifth
Generation Computer systems 1988.
40. Seif Haridi and Per Brand. ANDORRA Prolog - An Integration of Prolog and
Committed Choice Languages. International Conference on Fifth Generation Computer
systems 1988.
41. Ewing Lusk, David D.H.D. Warren, Seif Haridi, et al. The Aurora Or-parallel Prolog
Systems. International Conference on Fifth Generation Computer systems 1988.
42. Bogumil Hausman, Andrzej Ciepielewski and Seif Haridi. Or-Parallel Prolog Made
efficient on Shared Memory Multiprocessors. IEEE Symposium on Logic Programming,
USA, 1987.
43. Andrzej Ciepielewski and Seif Haridi. Execution of Bagof on the Or-parallel Token
Machine. International Conference on Fifth Generation Computer Systems, Japan, 1984.
44. Andrzej Ciepielewski and Seif Haridi. Control of Activities in the Or-parallel Token
Machine. IEEE Symposium on Logic Programming, USA, 1984.
45. Andrzej Ciepielewski and Seif Haridi . A Formal Model for Or-parallel Execution of
Logic Programs. Information processing 83, Elsevier Science Publishers, north-Holland
IFIP, France, 1984.
46.Andrzej Ciepielewski, Seif Haridi and Lars-Erik Thorelli. CS a Real Time Language.
Euromicro Conference, Sweden, 1979.
Seif Haridi, Curriculum Vitae
3