Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About

I am a senior researcher at INESC TEC (HASLab research unit) and invited assistant professor at the Department of Informatics of University of Minho, Braga, Portugal. I hold a PhD from the University of Toulouse, advised by Jean-Paul Bahsoun and mentored by Rachid Guerraoui. I've spent some time at IRIT (France), INSA de Lyon (France), and EPFL (Switzerland) twice in the past.

I am interested in understanding and building correct, scalable, available, resilient, secure, and efficient distributed systems. 
Currently, I am working Edge Computing (based on Conflict-free Replicated DataTypes), and Blockchain and Cryptocurrencies (PoW,PoX, and BFT).

Interest
Topics
Details

Details

001
Publications

2019

Successful Systems in Production Graduate Teaching

Authors
Shoker, A;

Publication
Proceedings of EduHPC 2019: Workshop on Education for High Performance Computing - Held in conjunction with SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis

Abstract
This paper presents our experience in coordinating and teaching a novel graduate systems and computing course named 'Successful Systems in Production' (SSP). The course targets graduate students of different research interests in Computer Science. The course aims at giving a breadth knowledge on cutting-edge well-known systems in production, and exploring the potential synergies across different areas of research. Having its roots in Distributed Computing, SSP addresses those systems that overlap with other research areas like Computational Systems, Parallel Computing, Databases, Cloud Computing, Artificial Intelligence, Security, etc. SSP exhibits an agile topic selection model that fits several students' backgrounds in each academic year. The topics focus on the practical aspects of each selected system that is considered 'successful', i.e., based on its worldwide impact and technical significance. This is important for graduate students to acquire best practices in industry and academia, necessary to build practical computing systems. In the same vein, the assessment method includes a project that is based on one of the presented systems and also intersects with the student's own research plan. Based on our teaching experience and the excellent feedback of the students, we strongly recommend this graduate course to be taught at other universities. © 2019 IEEE.

2019

Programming models and runtimes

Authors
Costa, GD; Lastovetsky, AL; Barbosa, JG; Díaz Martín, JC; García Zapata, JL; Janetschek, M; Jeannot, E; Leitão, J; Manumachu, RR; Prodan, R; Rico Gallego, JA; Roy, PV; Shoker, A; der Linde, Av;

Publication
Ultrascale Computing Systems

Abstract

2019

Data management techniques

Authors
Bilas, A; Carretero, J; Cortes, T; Blas, JG; Férez, PG; Papagiannis, A; Queralt, A; Marozzo, F; Saloustros, G; Shoker, A; Talia, D; Trunfio, P;

Publication
Ultrascale Computing Systems

Abstract

2018

Delta State Replicated Data Types

Authors
Almeida, PS; Shoker, A; Baquero, C;

Publication
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

Abstract

2018

Brief Announcement: Sustainable Blockchains through Proof of eXercise

Authors
Shoker, A;

Publication
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018

Abstract
Cryptocurrency and blockchain technologies are recently gaining wide adoption since the introduction of Bitcoin, being distributed, authority-free, and secure. Proof of Work (PoW) is at the heart of blockchain's security, asset generation, and maintenance. Although simple and secure, a hash-based PoW like Bitcoin's puzzle is often referred to as “useless”, and the used intensive computations are considered “waste” of energy. A myriad of Proof of “something” alternatives have been proposed to mitigate energy consumption; however, they either introduced new security threats and limitations, or the “work” remained far from being really “useful”. In this work, we introduce Proof of eXercise (PoX): a sustainable alternative to PoW where an eXercise is a real world matrix-based scientific computation problem. We provide a novel study of the properties of Bitcoin's PoW, the challenges of a more “rational” solution as PoX, and we suggest a comprehensive approach for PoX. © 2018 Copyright held by the owner/author(s).

Supervised
thesis

2019

Beyong Distributed Transctions through Exactly-once Exchanges

Author
Ziad Ali Kassam

Institution
UP-FCUP

2019

Extending Conflict Free Replicated Data Types Fault Models

Author
Houssam Ahmad Yactine

Institution
UP-FCUP

2019

Optimizing Operation-based Conflict-Free Replicated Data Types

Author
Georges Younes

Institution
UP-FCUP

2018

Beyong Distributed Transctions through Exactly-once Exchanges

Author
Ziad Ali Kassam

Institution
INESCTEC

2018

Extending Conflict Free Replicated Data Types Fault Models

Author
Houssam Ahmad Yactine

Institution
INESCTEC