Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Ali Shoker
  • Cargo

    Investigador Colaborador Externo
  • Desde

    01 abril 2014
  • Nacionalidade

    Líbano
  • Contactos

    +351253604440
    ali.shoker@inesctec.pt
001
Publicações

2019

Successful Systems in Production Graduate Teaching

Autores
Shoker, A;

Publicação
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

Autores
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;

Publicação
Ultrascale Computing Systems

Abstract

2019

Data management techniques

Autores
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;

Publicação
Ultrascale Computing Systems

Abstract

2018

Delta State Replicated Data Types

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

Publicação
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

Abstract

2018

Brief Announcement: Sustainable Blockchains through Proof of eXercise

Autores
Shoker, A;

Publicação
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).

Teses
supervisionadas

2019

Beyong Distributed Transctions through Exactly-once Exchanges

Autor
Ziad Ali Kassam

Instituição
UP-FCUP

2019

Extending Conflict Free Replicated Data Types Fault Models

Autor
Houssam Ahmad Yactine

Instituição
UP-FCUP

2019

Optimizing Operation-based Conflict-Free Replicated Data Types

Autor
Georges Younes

Instituição
UP-FCUP

2018

Beyong Distributed Transctions through Exactly-once Exchanges

Autor
Ziad Ali Kassam

Instituição
INESCTEC

2018

Extending Conflict Free Replicated Data Types Fault Models

Autor
Houssam Ahmad Yactine

Instituição
INESCTEC