Publications

[Extracted from DiVA, the publication database at KTH.]

Alsayfi, M.; Dahab, M.; Eassa, F.; Salama, R.; Haridi, S.; Al-Ghamdi, A. (2022):
Securing Real-Time Video Surveillance Data in Vehicular Cloud Computing - A Survey.
IEEE Access 10: 51525-51547 [Details]
Alsayfi, M.; Dahab, M.; Eassa, F.; Salama, R.; Haridi, S.; Al-Ghamdi, A. (2022):
Big Data in Vehicular Cloud Computing - Review, Taxonomy, and Security Challenges.
ELEKTRONIKA IR ELEKTROTECHNIKA 28: 59-71 [Details]
Zeng, J.; Issa, S.; Romano, P.; Rodrigues, D.; Haridi, S. (2021):
Investigating the semantics of futures in transactional memory systems.
[Conference paper] 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2021, 27 February 2021 through 3 March 2021; Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 16-30 [Details]
Ismail, M.; Niazi, S.; Berthou, G.; Ronstrom, M.; Haridi, S.; Dowling, J. (2020):
HopsFS-S3 - Extending Object Stores with POSIX-like Semantics and more (industry track).
[Conference paper] 21st international middleware conference industrial track (Middleware industry '20); Proceedings of the 2020 21st international middleware conference industrial track (Middleware industry '20) 23-30 [Details]
Ismail, M.; Niazi, S.; Sundell, M.; Ronstrom, M.; Haridi, S.; Dowling, J. (2020):
Distributed Hierarchical File Systems strike back in the Cloud.
[Conference paper] 40th IEEE International Conference on Distributed Computing Systems (ICDCS), NOV 29-DEC 01, 2020, ELECTR NETWORK; 2020 IEEE 40th international conference on distributed computing systems (ICDCS) 820-830 [Details]
Eassa, F.; Alghamdi, A.; Haridi, S.; Khemakhem, M.; Al-Ghamdi, A.; Alsolami, E. (2020):
ACC_TEST - Hybrid Testing Approach for OpenACC-Based Programs.
IEEE Access 8: 80358-80368 [Details]
Ismail, M.; Niazi, S.; Berthou, G.; Ronström, M.; Haridi, S.; Dowling, J. (2020):
HopsFS-S3: Extending Object Stores with POSIX-like Semantics and more.
[Conference paper] 21st International Middleware Conference Industrial Track, The Netherlands, 2020.; [Details]
Ismail, M.; Niazi, S.; Sundell, M.; Ronström, M.; Haridi, S.; Dowling, J. (2020):
Distributed Hierarchical File Systems strike back in the Cloud.
[Conference paper] 40th IEEE International Conference on Distributed Computing Systems, November 29 - December 1, 2020, Singapore; [Details]
Haridi, S. (2020):
A history of the Oz multiparadigm language.
History of Programming Languages HOPL-4 4: 1-56 [Details]
Zeng, J.; Haridi, S.; Issa, S.; Romano, P.; Rodrigues, L. (2020):
Giving Future(s) to Transactional Memory.
[Conference paper] 32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020, 15 July 2020 through 17 July 2020; Annual ACM Symposium on Parallelism in Algorithms and Architectures 587-589 [Details]
Meldrum, M.; Segeljakt, K.; Kroll, L.; Carbone, P.; Schulte, C.; Haridi, S. (2019):
Arcon - Continuous and deep data stream analytics.
[Conference paper] 13th International Workshop on Real-Time Business Intelligence and Analytics, BIRTE 2019, in conjunction with the VLDB 2019 Conference, 26 August 2019; ACM International Conference Proceeding Series [Details]
Ismail, M.; Bonds, A.; Niazi, S.; Haridi, S.; Dowling, J. (2019):
Scalable Block Reporting for HopsFS.
[Conference paper] IEEE International Congress on Big Data, IEEE BigData Congress 2019, Milan, Italy, July 8- July 13, 2019; 2019 IEEE International Congress on Big Data (BigData Congress) 157-164 [Details]
Ismail, M.; Ronström, M.; Haridi, S.; Dowling, J. (2019):
ePipe: Near Real-Time Polyglot Persistence of HopsFS Metadata.
[Conference paper] 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2019, Larnaca, Cyprus, May 14 - May 17, 2019; 2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID) 92-101 [Details]
Niazi, S.; Ismail, M.; Haridi, S.; Dowling, J. (2019):
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases.
Chapter in book [Details]
Kroll, L.; Segeljakt, K.; Schulte, C.; Haridi, S.; Carbone, P. (2019):
Arc - An IR for batch and stream programming.
[Conference paper] 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, co-located with PLDI 2019; Phoenix; United States; 23 June 2019; Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 53-58 [Details]
Koubarakis, M.; Bereta, K.; Bilidas, D.; Giannousis, K.; Ioannidis, T.; Pantazi, D.; Stamoulis, G.; Haridi, S.; Vlassov, V.; Bruzzone, L.; Paris, C.; Eltoft, T.; Krämer, T.; Charalabidis, A.; Karkaletsis, V.; Konstantopoulos, S.; Dowling, J.; Kakantousis, T.; Datcu, M.; Dumitru, C.; Appel, F.; Bach, H.; Migdall, S.; Hughes, N.; Arthurs, D.; Fleming, A. (2019):
From copernicus big data to extreme earth analytics.
[Conference paper] 22nd International Conference on Extending Database Technology, EDBT 2019; Lisbon; Portugal; 26 March 2019 through 29 March 2019; Advances in Database Technology - EDBT 690-693 [Details]
Niazi, S.; Ronström, M.; Haridi, S.; Dowling, J. (2018):
Size Matters - Improving the Performance of Small Files in Hadoop.
[Conference paper] Middleware’18. ACM, Rennes, France; 14 [Details]
Kalavri, V.; Vlassov, V.; Haridi, S. (2018):
High-Level Programming Abstractions for Distributed Graph Processing.
IEEE Transactions on Knowledge and Data Engineering 30: 305-324 [Details]
Carbone, P.; Ewen, S.; Fóra, G.; Haridi, S.; Richter, S.; Tzoumas, K. (2017):
State Management in Apache Flink - Consistent Stateful Distributed Stream Processing.
Proceedings of the VLDB Endowment 10: 1718-1729 [Details]
Yalew, S.; Maguire Jr., G.; Haridi, S.; Correia, M. (2017):
T2Droid - A TrustZone-Based Dynamic Analyser for Android Applications.
[Conference paper] 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 11th IEEE International Conference on Big Data Science and Engineering and 14th IEEE International Conference on Embedded Software and Systems, Trustcom/BigDataSE/ICESS 2017, Sydney, Australia, 1 August 2017 through 4 August 2017; Proceedings - 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, 11th IEEE International Conference on Big Data Science and Engineering and 14th IEEE International Conference on Embedded Software and Systems, Trustcom/BigDataSE/ICESS 2017 240-247 [Details]
Yalew, S.; Maguire Jr., G.; Haridi, S.; Correia, M. (2017):
DroidPosture - A Trusted Posture Assessment Service for Mobile Devices.
[Conference paper] 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications(WiMob), 9-11 October 2017, Rome, Italy; Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) 1-8 [Details]
Kroll, L.; Carbone, P.; Haridi, S. (2017):
Kompics Scala - Narrowing the gap between algorithmic specification and executable code (short paper).
[Conference paper] ACM SIGPLAN International Symposium on Scala; Proceedings of the 8th ACM SIGPLAN International Symposium on Scala 73-77 [Details]
Carbone, P.; Gévay, G.; Hermann, G.; Katsifodimos, A.; Soto, J.; Markl, V.; Haridi, S. (2017):
Large-scale data stream processing systems.
Chapter in book [Details]
Yalew, S.; Maguire Jr., G.; Haridi, S.; Correia, M. (2017):
Hail to the Thief - Protecting Data from Mobile Ransomware with ransomSafeDroid.
[Conference paper] 16th IEEE International Symposium on Network Computing and Applications, NCA 2017, Cambridge, United States, 30 October 2017 through 1 November 2017; 2017 IEEE 16th International Symposium on Network Computing and Applications, NCA 2017 351-358 [Details]
Yalew, S.; Mendonca, P.; Maguire Jr., G.; Haridi, S.; Correia, M. (2017):
TruApp - A TrustZone-based Authenticity Detection Service for Mobile Apps.
[Conference paper] 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), OCT 09-11, 2017, Rome, ITALY; 2017 IEEE 13TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB) [Details]
Niazi, S.; Ismail, M.; Haridi, S.; Dowling, J.; Grohsschmiedt, S.; Ronström, M. (2017):
HopsFS - Scaling Hierarchical File System Metadata Using NewSQL Databases.
[Conference paper] 15th USENIX Conference on File and Storage Technologies, FAST 2017, Santa Clara, CA, USA, February 27 - March 2, 2017; 15th USENIX Conference on File and Storage Technologies, FAST 2017, Santa Clara, CA, USA, February 27 - March 2, 2017 89-103 [Details]
Liu, Y.; Guan, X.; Vlassov, V.; Haridi, S. (2017):
MeteorShower - Minimizing Request Latency for Majority Quorum-Based Data Consistency Algorithms in Multiple Data Centers.
[Conference paper] 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, J.W. Marriott Hotel, Atlanta, United States, 5 June 2017 through 8 June 2017; 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) 57-67 [Details]
Kroll, L.; Dowling, J.; Haridi, S. (2016):
Static Type Checking for the Kompics Component Model - Kola – The Kompics Language.
[Conference paper] Programming Models and Languages for Distributed Computing; First Workshop on Programming Models and Languages for Distributed Computing 2-1 [Details]
Zeng, J.; Barreto, J.; Haridi, S.; Rodrigues, L.; Romano, P. (2016):
The Future(s) of Transactional Memory.
[Conference paper] 45th International Conference on Parallel Processing, ICPP 2016, 16 August 2016 through 19 August 2016; Proceedings of the International Conference on Parallel Processing 442-451 [Details]
Ekström, N.; Haridi, S. (2016):
A fault-tolerant sequentially consistent DSM with a compositional correctness proof.
[Conference paper] 18 May 2016 through 20 May 2016; 4th International Conference on Networked Systems, NETYS 2016 183-192 [Details]
Haridi, S. (2016):
Towards Streamlined Big Data Analytics.
Article in journal [Details]
Carbone, P.; Traub, J.; Katsifodimo, A.; Haridi, S.; Mark, V. (2016):
Cutty - Aggregate Sharing for User-Defined Windows.
[Conference paper] 25th ACM International Conference on Information and Knowledge Management, CIKM 2016, Indianapolis, United States, 24 October 2016 through 28 October 2016; Proceedings of the 25th ACM International on Conference on Information and Knowledge Management 1201-1210 [Details]
Carbone, P.; Fóra, G.; Ewen, S.; Haridi, S.; Tzoumas, K. (2015):
Lightweight Asynchronous Snapshots for Distributed Dataflows.
Report [Details]
Rahimian, F.; Payberah, A.; Girdzijauskas, S.; Jelasity, M.; Haridi, S. (2015):
A Distributed Algorithm for Large-Scale Graph Partitioning.
ACM Transactions on Autonomous and Adaptive Systems 10: [Details]
Roverso, R.; Reale, R.; El-Ansary, S.; Haridi, S. (2015):
SmoothCache 2.0: CDN-quality adaptive HTTP live streaming on peer-to-peer overlays.
[Conference paper] Proceedings of the 6th ACM Multimedia Systems Conference; Proceedings of the 6th ACM Multimedia Systems Conference 61-72 [Details]
Carbone, P.; Katsifodimos, A.; Ewen, S.; Markl, V.; Haridi, S.; Tzoumas, K. (2015):
Apache flink - Stream and batch processing in a single engine.
The Bulletin of the Technical Committee on Data Engineering 38: [Details]
Rahimian, F.; Payberah, A.; Girdzijauskas, S.; Haridi, S. (2014):
Distributed Vertex-Cut Partitioning.
[Conference paper] 14th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS’14).; In the 14th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS’14). 186-200 [Details]
Rahimian, F.; Girdzijauskas, S.; Haridi, S. (2014):
Parallel Community Detection For Cross-Document Coreference.
[Conference paper] 2014 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2014; University of WarsawWarsaw; Poland; 11 August 2014 - 14 August 2014; 46-53 [Details]
Kalavri, V.; Ewen, S.; Tzoumas, K.; Vlassov, V.; Markl, V.; Haridi, S. (2014):
Asymmetry in Large-Scale Graph Analysis, Explained.
[Conference paper] 2nd International Workshop on Graph Data Management Experiences and Systems, GRADES 2014 - Co-located with SIGMOD/PODS 2014; Snowbird, UT, United States, 22 June 2014 - 27 June 2014; Proceedings of the Second International Workshop on Graph Data ManagementExperience and Systems (GRADES 2014), June 22, 2014, Snowbird, Utah, USA. [Details]
Bordencea, D.; Shafaat, T.; Arad, C.; Haridi, S.; Valean, H. (2013):
Efficient linearizable write operations using bounded global time uncertainty.
[Conference paper] 2013 IEEE 12th International Symposium on Parallel and Distributed Computing, ISPDC 2013; Bucharest; Romania; 27 June 2013 through 30 June 2013; Proceedings - 2013 IEEE 12th International Symposium on Parallel and Distributed Computing, ISPDC 2013 59-66 [Details]
Rahimian, F.; Payberah, A.; Girdzijauskas, S.; Jelasity, M.; Haridi, S. (2013):
JA-BE-JA - A Distributed Algorithm for Balanced Graph Partitioning.
[Conference paper] SASO 2013, Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Philadelphia, USA; September 9-13, 2013; 7th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2013 IEEE 51-60 [Details]
Arad, C.; Shafaat, T.; Haridi, S. (2012):
Brief announcement - Atomic consistency and partition tolerance in scalable key-value stores.
[Conference paper] 26th International Symposium on Distributed Computing, DISC 2012, 16 October 2012 through 18 October 2012, Salvador; Distributed Computing 445-446 [Details]
Arad, C.; Dowling, J.; Haridi, S. (2012):
Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware.
[Conference paper] ACM/IFIP/USENIX 13th International Middleware Conference,December 3-7, 2012, Montreal, Quebec, Canada; Middleware 2012 208-228 [Details]
Payberah, A.; Dowling, J.; Rahimian, F.; Haridi, S. (2012):
Distributed optimization of P2P live streaming overlays.
Computing 94: 621-647 [Details]
Rahimian, F.; Girdzijauskas, S.; Payberah, A.; Haridi, S. (2012):
Subscription Awareness Meets Rendezvous Routing.
[Conference paper] AP2PS 2012,The Fourth International Conference on Advances in P2P Systems; 1-10 [Details]
Roverso, R.; El-Ansary, S.; Haridi, S. (2012):
Peer2View - A peer-to-peer HTTP-live streaming platform.
[Conference paper] 2012 IEEE 12th International Conference on Peer-to-Peer Computing, P2P 2012; Tarragona;3 September 2012 through 5 September 2012; 2012 IEEE 12th International Conference on Peer-to-Peer Computing, P2P 2012 65-66 [Details]
Shafaat, T.; Ahmad, B.; Haridi, S. (2012):
ID-replication for structured peer-to-peer systems.
[Conference paper] 18th International Conference on Parallel Processing, Euro-Par 2012, 27 August 2012 through 31 August 2012, Rhodes Island; Euro-Par 2012 Parallel Processing 364-376 [Details]
Datta, A.; Dikaiakos, M.; Haridi, S.; Iftode, L. (2012):
Infrastructures for Online Social Networking Services.
IEEE Internet Computing 16: 10-12 [Details]
Roverso, R.; El-Ansary, S.; Haridi, S. (2012):
SmoothCache - HTTP-live streaming goes peer-to-peer.
[Conference paper] 11th International IFIP TC 6 Networking Conference, NETWORKING 2012; Prague; 21 May 2012 through 25 May 2012; Networking 2012 29-43 [Details]
Reale, R.; Roverso, R.; El-Ansary, S.; Haridi, S. (2012):
DTL - Dynamic transport library for peer-to-peer applications.
[Conference paper] 13th International Conference on Distributed Computing and Networking, ICDCN 2012;Hong Kong; 3 January 2012 through 6 January 2012; Distributed Computing And Networking 428-442 [Details]

More