Seif Haridi

According to our database1, Seif Haridi authored at least 147 papers between 1983 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Stream Window Aggregation Semantics and Optimization.
Proceedings of the Encyclopedia of Big Data Technologies., 2019


Arc: an IR for batch and stream programming.
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

ePipe: Near Real-Time Polyglot Persistence of HopsFS Metadata.
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019

Scalable Block Reporting for HopsFS.
Proceedings of the 2019 IEEE International Congress on Big Data, 2019

2018
High-Level Programming Abstractions for Distributed Graph Processing.
IEEE Trans. Knowl. Data Eng., 2018

Size Matters: Improving the Performance of Small Files in Hadoop.
Proceedings of the 19th International Middleware Conference, 2018

Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

2017
State Management in Apache Flink®: Consistent Stateful Distributed Stream Processing.
PVLDB, 2017

TruApp: A TrustZone-based authenticity detection service for mobile apps.
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

DroidPosture: A trusted posture assessment service for mobile devices.
Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications.
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

Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid.
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

HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases.
Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

Scaling HDFS to more than 1 million operations per second with HopsFS.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

Large-Scale Data Stream Processing Systems.
Proceedings of the Handbook of Big Data Technologies, 2017

2016
Towards Streamlined Big Data Analytics.
ERCIM News, 2016

A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof.
Proceedings of the Networked Systems - 4th International Conference, 2016

The Future(s) of Transactional Memory.
Proceedings of the 45th International Conference on Parallel Processing, 2016

Static Type Checking for the Kompics Component Model: Kola - The Kompics Language.
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

Cutty: Aggregate Sharing for User-Defined Windows.
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

Boosting Vertex-Cut Partitioning for Streaming Graphs.
Proceedings of the 2016 IEEE International Congress on Big Data, San Francisco, CA, USA, June 27, 2016

2015
A Distributed Algorithm for Large-Scale Graph Partitioning.
TAAS, 2015

Apache Flink™: Stream and Batch Processing in a Single Engine.
IEEE Data Eng. Bull., 2015

SmoothCache 2.0: CDN-quality adaptive HTTP live streaming on peer-to-peer overlays.
Proceedings of the 6th ACM Multimedia Systems Conference, 2015

2014
Parallel Community Detection for Cross-Document Coreference.
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

Asymmetry in Large-Scale Graph Analysis, Explained.
Proceedings of the Second International Workshop on Graph Data Management Experiences and Systems, 2014

Distributed Vertex-Cut Partitioning.
Proceedings of the Distributed Applications and Interoperable Systems, 2014

2013
JA-BE-JA: A Distributed Algorithm for Balanced Graph Partitioning.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Efficient Linearizable Write Operations Using Bounded Global Time Uncertainty.
Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

Lightweight gossip-based distribution estimation.
Proceedings of IEEE International Conference on Communications, 2013

CATS: a linearizable and self-organizing key-value store.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012
Infrastructures for Online Social Networking Services [Guest editorial].
IEEE Internet Computing, 2012

Distributed optimization of P2P live streaming overlays.
Computing, 2012

Efficient simulation of view synchrony.
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

Peer2View: A peer-to-peer HTTP-live streaming platform.
Proceedings of the 12th IEEE International Conference on Peer-to-Peer Computing, 2012

CLive: Cloud-assisted P2P live streaming.
Proceedings of the 12th IEEE International Conference on Peer-to-Peer Computing, 2012

SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer.
Proceedings of the NETWORKING 2012, 2012

Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware.
Proceedings of the Middleware 2012, 2012

DTL: Dynamic Transport Library for Peer-to-Peer Applications.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

ID-Replication for Structured Peer-to-Peer Systems.
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

GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming.
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

Gozar: NAT-Friendly Peer Sampling with One-Hop Distributed NAT Traversal.
Proceedings of the Distributed Applications and Interoperable Systems, 2011

On the feasibility of centrally-coordinated Peer-to-Peer live streaming.
Proceedings of the Consumer Communications and Networking Conference, 2011

2010
Self-Distributing Software Updates through Epidemic Dissemination.
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

gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay.
Proceedings of the Distributed Applications and Interoperable Systems, 2010

Enhanced Paxos Commit for Transactions on DHTs.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009
Dealing with network partitions in structured overlay networks.
Peer-to-Peer Networking and Applications, 2009

Building and Evaluating P2P Systems using the Kompics Component Framework.
Proceedings of the Proceedings P2P 2009, 2009

NATCracker: NAT Combinations Matter.
Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

A Scalable, Transactional Data Store for Future Internet Services.
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

A Design Methodology for Self-Management in Distributed Environments.
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
An analytical study of a structured overlay in the presence of dynamic membership.
IEEE/ACM Trans. Netw., 2008

Developing a Distributed Electronic Health-Record Store for India.
ERCIM News, 2008

MyP2PWorld: Highly Reproducible Application-Level Emulation of P2P Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Using Global Information for Load Balancing in DHTs.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Practical Protocol Composition, Encapsulation and Sharing in Kompics.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Comparing Maintenance Strategies for Overlays.
Proceedings of the 16th Euromicro International Conference on Parallel, 2008

A Practical Approach to Network Size Estimation for Structured Overlays.
Proceedings of the Self-Organizing Systems, Third International Workshop, 2008

Key-based consistency and availability in structured overlay networks.
Proceedings of the 3rd International ICST Conference on Scalable Information Systems, 2008

Key-based consistency and availability in structured overlay networks.
Proceedings of the 17th International Symposium on High-Performance Distributed Computing (HPDC-17 2008), 2008

Implementing Dynamic Querying Search in k-ary DHT-based Overlays.
Proceedings of the Grid Computing, 2008

On Consistency Of Data In Structured Overlay Networks.
Proceedings of the Grid Computing, 2008

2007
Exploiting the synergy between gossiping and structured overlays.
Operating Systems Review, 2007

Peer-to-Peer resource discovery in Grids: Models and systems.
Future Generation Comp. Syst., 2007

Improving ICE Service Selection in a P2P System using the Gradient Topology.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Handling Network Partitions and Mergers in Structured Overlay Networks.
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

Atomic Commitment in Transactional DHTs.
Proceedings of the Towards Next Generation Grids, 2007

2006
A Scalable Autonomous Replica Management Framework for Grids.
Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006

DOH: A Content Delivery Peer-to-Peer Network.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005
An efficient incremental marshaling framework for distributed systems.
Future Generation Comp. 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

The Essence of P2P: A Reference Architecture for Overlay Networks.
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

A Statistical Theory of Chord Under Churn.
Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Symmetric Replication for Structured Peer-to-Peer Systems.
Proceedings of the Databases, 2005

An Overview of Structured P2P Overlay Networks.
Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

2004
What makes a Web site popular?
Commun. ACM, 2004

Thread-Based Mobility in Oz.
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

A Framework for Structured Peer-to-Peer Overlay Networks.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Topic 18: Peer-to-Peer and Web Computing.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Concepts, Techniques, and Models of Computer Programming
MIT Press, ISBN: 0-262-22069-5, 2004

2003
Logic programming in the context of multiparadigm programming: the Oz experience.
TPLP, 2003

Parallel Agent-Based Simulation On A Cluster Of Workstations.
Parallel Processing Letters, 2003

An Efficient Marshaling Framework for Distributed Systems.
Proceedings of the Parallel Computing Technologies, 2003

Multicast in DKS(N, k, f) Overlay Networks.
Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

A Peer-to-Peer Approach to Enhance Middleware Connectivity.
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Multicast in DKS(N, k, f) Overlay Networks.
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Efficient Broadcast in Structured P2P Networks.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Flow Java: Declarative Concurrency for Java.
Proceedings of the Logic Programming, 19th International Conference, 2003

Parallel Distributed Algorithms of the beta-Model of the Small World Graphs.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Parallel Agent-Based Simulation on a Cluster of Workstations.
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
NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems.
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
Fractional Weighted Reference Counting.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

Regularities in the Formation and Evolution of Information Cities.
Proceedings of the Digital Cities II, 2001

1999
Efficient logic variables for distributed computing.
ACM Trans. Program. Lang. Syst., 1999

1998
Programming Languages for Distributed Applications.
New Generation Comput., 1998

A Lightweight Object Migration Protocol.
Proceedings of the Internet Programming Languages, 1998

1997
Mobile Objects in Distributed Oz.
ACM Trans. Program. Lang. Syst., 1997

An evaluation of Penny: a system for fine grain implicit parallelism.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

An overview of the design of Distributed Oz.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996
A Tool for Developing Interactive Configuration Applications.
J. Log. Program., 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

Simulating the Data Diffusion Machine.
Proceedings of the PARLE '93, 1993

An Introduction to AKL A Multi-Paradigm Programming Language.
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
An Intuitionistic Predicate Logic Theorem Prover.
J. Log. Comput., 1992

Structural operational semantics for AKL.
Future Generation Comp. Syst., 1992

DDM - A Cache-Only Memory Architecture.
IEEE Computer, 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

Structural Operational Semantics for Kernel Andorra Prolog.
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Race-Free Interconnection Networks and Multiprocessor Consistency.
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

An Overview of the Andorra Kernel Language.
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1990
The Aurora or-parallel Prolog system.
New Generation Comput., 1990

A logic programming language based on the Andorra model.
New Generation Comput., 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

Or-Parallel Prolog on Shared Memory Multiprocessors.
J. Log. Program., 1989

The Cache Coherence Protocol of the Data Diffusion Machine.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988
Garbage Collection for Prolog Based on WAM.
Commun. ACM, 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
Global garbage collection for distributed heap storage systems.
International Journal of Parallel Programming, 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


  Loading...