SH
Seif Haridi

Elite Scholar

324
Works
6,369
Citations
38
H-Index
Search Authors
Author Statistics
External Links
OpenAlex Profile ORCID Profile

Seif Haridi

Also known as: Haridi S., Haridi Seif, Haridi, Seif, Prof Seif Haridi, S. Haridi

324

Total Works

6,369

Citations

38

H-Index

105

i10-Index

Citation & Works Trend by Year
44 years active
Top Research Topics
Distributed systems and fault tolerance (109) Peer-to-Peer Network Technologies (94) Logic, programming, and type systems (87) Advanced Database Systems and Queries (62) Distributed and Parallel Computing Systems (62)
Recent Publications
15 shown
Year Publication Title Citations Action
2024 AquaLang: A Dataflow Programming Language ACM International Conference on Distributed and Event-Based Systems (DEBS) 0
2024 Leveraging Large Language Models for Automated Bug Fixing International Journal of Advanced Computer Science and Applications 1
2023 Omni-Paxos: Breaking the Barriers of Partial Connectivity 8
2023 Ideas for the future of Prolog inspired by Oz arXiv (Cornell University) 1
2022 A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems Computers, materials & continua/Computers, materials & continua (Print) 3
2022 Big Data in Vehicular Cloud Computing: Review, Taxonomy, and Security Challenges Elektronika ir Elektrotechnika 6
2022 Securing Real-Time Video Surveillance Data in Vehicular Cloud Computing: A Survey IEEE Access 18
2022 Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC) IEEE Access 7
2021 Investigating the semantics of futures in transactional memory systems ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 5
2020 HopsFS-S3 2
2020 Distributed Hierarchical File Systems strike back in the Cloud IEEE International Conference on Distributed Computing Systems (ICDCS) 0
2020 Lecture Notes on Leader-based Sequence Paxos -- An Understandable Sequence Consensus Algorithm arXiv (Cornell University) 0
2020 Giving Future(s) to Transactional Memory ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) 0
2020 A history of the Oz multiparadigm language Proceedings of the ACM on Programming Languages 3
2020 ACC_TEST: Hybrid Testing Approach for OpenACC-Based Programs IEEE Access 4

Data source: OpenAlex API