Seif Haridi
Orcid: 0000-0002-6718-0144Affiliations:
- Swedish Institute of Computer Science, Stockholm, Sweden
According to our database1,
Seif Haridi
authored at least 164 papers
between 1981 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on sics.se
On csauthors.net:
Bibliography
2023
Proceedings of the Eighteenth European Conference on Computer Systems, 2023
2022
Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC).
IEEE Access, 2022
IEEE Access, 2022
2021
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021
2020
Lecture Notes on Leader-based Sequence Paxos - An Understandable Sequence Consensus Algorithm.
CoRR, 2020
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020
Proceedings of the 2020 USENIX Conference on Operational Machine Learning, 2020
HopsFS-S3: Extending Object Stores with POSIX-like Semantics and more (industry track).
Proceedings of the Middleware '20: Proceedings of the 21st International Middleware Conference Industrial Track, 2020
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
2019
Proceedings of the Encyclopedia of Big Data Technologies., 2019
Proceedings of the Encyclopedia of Big Data Technologies., 2019
Proceedings of the Advances in Database Technology, 2019
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019
Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics, 2019
Proceedings of the 2019 IEEE International Congress on Big Data, 2019
2018
IEEE Trans. Knowl. Data Eng., 2018
Proceedings of the 19th International Middleware Conference, 2018
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018
2017
State Management in Apache Flink®: Consistent Stateful Distributed Stream Processing.
Proc. VLDB Endow., 2017
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper).
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017
MeteorShower: Minimizing Request Latency for Majority Quorum-Based Data Consistency Algorithms in Multiple Data Centers.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017
Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017
Proceedings of the Handbook of Big Data Technologies, 2017
2016
Proceedings of the Networked Systems - 4th International Conference, 2016
Proceedings of the 45th International Conference on Parallel Processing, 2016
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016
Proceedings of the 2016 IEEE International Congress on Big Data, San Francisco, CA, USA, June 27, 2016
2015
ACM Trans. Auton. Adapt. Syst., 2015
IEEE Data Eng. Bull., 2015
Proceedings of the 6th ACM Multimedia Systems Conference, 2015
2014
Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014
Proceedings of the Second International Workshop on Graph Data Management Experiences and Systems, 2014
Proceedings of the Distributed Applications and Interoperable Systems, 2014
2013
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013
Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013
Proceedings of IEEE International Conference on Communications, 2013
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013
2012
IEEE Internet Comput., 2012
Proceedings of the Winter Simulation Conference, 2012
Brief Announcement: Atomic Consistency and Partition Tolerance in Scalable Key-Value Stores.
Proceedings of the Distributed Computing - 26th International Symposium, 2012
Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012
Proceedings of the 12th IEEE International Conference on Peer-to-Peer Computing, 2012
Proceedings of the 12th IEEE International Conference on Peer-to-Peer Computing, 2012
Proceedings of the NETWORKING 2012, 2012
Proceedings of the Middleware 2012, 2012
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012
2011
Accurate and efficient simulation of bandwidth dynamics for peer-to-peer overlay networks.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011
Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011
Vitis: A Gossip-based Hybrid Overlay for Internet-scale Publish/Subscribe Enabling Rendezvous Routing in Unstructured Overlay Networks.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
Proceedings of the Distributed Applications and Interoperable Systems, 2011
Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011
2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network.
Proceedings of the 12th IEEE International Symposium on Multimedia, 2010
Proceedings of the Distributed Applications and Interoperable Systems, 2010
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010
2009
Peer-to-Peer Netw. Appl., 2009
Proceedings of the Proceedings P2P 2009, 2009
Proceedings of the 18th International Conference on Computer Communications and Networks, 2009
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Developing, simulating, and deploying peer-to-peer systems using the Kompics component model.
Proceedings of the 4th International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2009), 2009
2008
IEEE/ACM Trans. Netw., 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the 16th Euromicro International Conference on Parallel, 2008
Proceedings of the Self-Organizing Systems, Third International Workshop, 2008
Proceedings of the 17th International Symposium on High-Performance Distributed Computing (HPDC-17 2008), 2008
Proceedings of the Grid Computing, 2008
Proceedings of the Grid Computing, 2008
2007
ACM SIGOPS Oper. Syst. Rev., 2007
Future Gener. Comput. Syst., 2007
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007
Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (P2P 2007), 2007
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
DKS: Distributed K-Ary System. A Middleware for Building Large Scale Dynamic Distributed Applications.
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007
Proceedings of the Towards Next Generation Grids, 2007
2006
Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006
2005
Future Gener. Comput. Syst., 2005
A Physics-Inspired Performance Evaluation of a Structured Peer-to-Peer Overlay Network.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005
Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
Proceedings of the Databases, 2005
Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005
2004
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004
The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
MIT Press, ISBN: 0-262-22069-5, 2004
2003
Theory Pract. Log. Program., 2003
Parallel Process. Lett., 2003
Proceedings of the Parallel Computing Technologies, 2003
Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications.
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
The Design and Evaluation of a Middleware Library for Distribution of Language Entities.
Proceedings of the Advances in Computing Science, 2003
2002
Proceedings of the 2nd International Conference on Peer-to-Peer Computing (P2P 2002), 2002
Teaching Programming Broadly and Deeply: The Kernel Language Approach.
Proceedings of the Informatics Curricula and Teaching Methods, 2002
2001
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
Proceedings of the Digital Cities II, 2001
1999
ACM Trans. Program. Lang. Syst., 1999
1998
Proceedings of the Internet Programming Languages, 1998
1997
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997
1996
1994
AKL(FD) - A Concurrent Language for FD Programming.
Proceedings of the Logic Programming, 1994
1993
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
Proceedings of the Principles and Practice of Constraint Programming, 1993
Proceedings of the Constraint Programming, 1993
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract).
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
1992
1991
Programming Paradigms of the Andorra Kernel Language.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991
Parallel Logic Programming based on the Andorra Principle.
Proceedings of the Logic Programming, 1991
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991
1990
Kernel Andorra Prolog and its Computation Model.
Proceedings of the Logic Programming, 1990
1989
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming.
J. Log. Program., 1989
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989
1988
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
The Aurora Or-Parallel Prolog System.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987
1986
Int. J. Parallel Program., 1986
1984
Control of Activities in the Or-Parallel Token Machine.
Proceedings of the 1984 International Symposium on Logic Programming, 1984
Execution of Bagof on the Or-Parallel Token Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984
Efficient Implementation of Unification of Cyclic Structures.
Proceedings of the Implementations of Prolog. , 1984
1983
A Formal Model for Or-Parallel Execution of Logic Programs.
Proceedings of the Information Processing 83, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
1981
ACM SIGPLAN Notices, 1981