Research Publications by Topic

Distributed Systems, Peer-to-Peer Systems

  1. Efficient Broadcast in Structured Peer-to-Peer Networks. IPTPS 2003, Berkeley, 2003.
  2. A Framework for Peer-To-Peer Lookup Services based on k-ary search. SICS technical report T2002-06, 2002.
  3. 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.
  4. Application Architecture of the Internet Simulation Model: Web Word of Mouth (WoM), IASTED International Conference on Modelling and Simulation MS2002, Marina del Rey, USA, May 2002.
  5. Regularities in the Formation and Evolution of Information Cities presented in The 2nd Kyoto, Meeting on Digital Cities held in Kyoto, Japan in October 19-20, 2001.
  6. Information Cities Over the Internet; Taxonomies, Principles and Architecture presented in the Digital Communities 2002 Conference held in Chicago, USA in November 4-6, 2001.
  7. Fractional Weighted Reference Counting, EuroPar 2001.

Programming Systems (Oz/Mozart)

  1. A Lightweight Reliable Object Migration Protocol, Internet Programming Languages, Lecture Notes in Computer Science, vol. 1686. Springer Verlag, October 1999.
  2. Efficient Logic Variables for Distributed Computing, ACM Transactions on Programming Languages and Systems, 1999.
  3. Programming Languages for Distributed Applications, New Generation Computing Systems 1998.
  4. An Overview of the Design of Distributed Oz, ACM International Symposium of Parallel Symbolic Computation, 1997.
  5. Mobile Objects in Distributed Oz, ACM Transactions on Programming Languages and Systems, September 1997.

Programming Systems (AKL)

  1. 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.
  2. Sverker Janson and Seif Haridi. An introduction to AKL - A multiparadigm programming language. In Constraint Programming, NATO-ASI Series vol. 131, Springer-Verlag, 1994.
  3. 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.
  4. Seif Haridi, Sverker Janson, and Catuscia Palamidessi. Structural operational semantics for AKL. Journal of Future Generation Computer Systems 8(1992).
  5. Torkel Franzen, Seif Haridi, and Sverker Janson. An overview of AKL. In ELP'91 Extensions of Logic Programming, LNAI 596, Springer-Verlag, 1992.
  6. 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.
  7. 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.
  8. Seif Haridi. A Logic Programming Language Based on the Andorra Model . New Generation Computing, 1990.

Multiprocessor Architecture

  1. Erik Hagersten, Mats Grindal, Anders Landin, Seif Haridi, Simulating the Data Diffusion Machine, PARLE 1993
  2. Erik Hagersten, Anders Landin and Seif Haridi, DDM - a Cache-Only Memory Architecture, IEEE Computer Sept. 1992
  3. 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.
  4. Anders Landin, Erik Hagersten and Seif Haridi, Race-Free Interconnection Networks and Multiprocessor Consistency, International Symposium on Computer Architecture , IEEE 1991. (abstract)
  5. E. Hagersten, A. Landin, Seif Haridi, Moving the shared memory closer to the processors DDM. SICS Research Report, SICS-R--90-17, 1990.
  6. E. Hagersten, Seif Haridi and D.H.D. Warren. The Data Diffusion Machine and its Data Coherency Protocols. Declarative Systems, North Holland, ed. B.D. Shriver, 1990.
  7. David H.D. Warren, Seif Haridi. Data Diffusion Machine -- A Scalable Shared Virtual Memory Multiprocessor . Int'l Conference on Fifth Generation Computer Systems, ICOT, Ohmsha Ltd., Tokyo, 1988.

Knowledge-based Systems, Configuration

  1. Tomas Axling and Seif Haridi, A Tool for Developing Interactive Configuration Applications . In Journal of Logic Programming 1996. The MIT Press

Garbage Collection Algorithms

  1. Karin Appleby, Mats Carlsson, Dan Sahlin, and Seif Haridi. Garbage Collection for Prolog Based on WAM . Communication of the ACM June 1988.
  2. Khayri Ali, and Seif Haridi. Global Garbage Collection for Distributed Heap Storage Systems . International Journal of Parallel Programming, October 1986.

Parallel Processing

  1. Johan Montelius and Seif Haridi. An Evaluation of Penny, a System for Fine Grain Implicit Parallelism. ACM International Symposium of Parallel Symbolic Computation, 1997.
  2. Ewing Lusk, Seif Haridi, David Warren, et. al. The Aurora Or-parallel Prolog System . New Generation Comp., 1990.
  3. Andrzej Ciepielewski, Seif Haridi and Bogdan Hausman. Or-parallel Prolog on shared memory multiprocessors , Journal of Logic Programming 1990.
  4. Andrzej Ciepielewski, Seif Haridi. A Formal Model for Or-parallel Execution of Logic Programs , Information processing 83, Elsevier Science Publishers, north-Holland IFIP, France, 1984.

Theorem Proving

  1. Dan Sahlin, Torkel Franzen and Seif Haridi, An Intuitionistic Predicate Logic Theorem Prover . Journal of logic and computation, Vol. 2, No. 5, 1992, Oxford University Press.

Concurrent Constraints and Virtual Environments

  1. Tomas Axling, Seif Haridi, Lennart Fahlen. Virtual Reality Programming in Oz. In Virtual Environments and Scientific Visualization '96, eds P. Slavik, J.J. van Wijk. SpringerWienNewYork, 1996.
  2. Tomas Axling, Seif Haridi, Lennart Fahlen. Concurrent Constraint Programming Virtual Reality Applications. The Second International Conference on the Military Applications of Synthetic Environments and Virtual Reality, MASEVR'95, Sweden.