• CRC-based memory reliability for task-parallel HPC applications 

      Subasi, Omer; Unsal, Osman Sabri; Labarta Mancho, Jesús José; Yalcin, Gulay; Cristal Kestelman, Adrián (Institute of Electrical and Electronics Engineers (IEEE), 2016)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Memory reliability will be one of the major concerns for future HPC and Exascale systems. This concern is mostly attributed to the expected massive increase in memory capacity and the number of memory devices in Exascale ...
    • OmpSs-2@Cluster: Distributed memory execution of nested OpenMP-style tasks 

      Aguilar Mena, Jimmy; Ali, Omar Shaaban Ibrahim; Beltran Querol, Vicenç; Carpenter, Paul Matthew; Ayguadé Parra, Eduard; Labarta Mancho, Jesús José (Springer Nature, 2022)
      Text en actes de congrés
      Accés obert
      State-of-the-art programming approaches generally have a strict division between intra-node shared memory parallelism and inter-node MPI communication. Tasking with dependencies offers a clean, dependable abstraction for ...
    • Proving non-termination using max-SMT 

      Larraz Hurtado, Daniel; Nimkar, Kaustubh; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio Gimeno, Alberto (Springer, 2014)
      Text en actes de congrés
      Accés obert
      We show how Max-SMT-based invariant generation can be exploited for proving non-termination of programs. The construction of the proof of non-termination is guided by the generation of quasi-invariants - properties such ...
    • Runtime-guided management of stacked DRAM memories in task parallel programs 

      Álvarez Martí, Lluc; Casas, Marc; Labarta Mancho, Jesús José; Ayguadé Parra, Eduard; Valero Cortés, Mateo; Moretó Planas, Miquel (Association for Computing Machinery (ACM), 2018)
      Text en actes de congrés
      Accés obert
      Stacked DRAM memories have become a reality in High-Performance Computing (HPC) architectures. These memories provide much higher bandwidth while consuming less power than traditional off-chip memories, but their limited ...
    • SACRE: A tool for dealing with uncertainty in contextual requirements at runtime 

      Zavala Rodríguez, Edith Berenice; Franch Gutiérrez, Javier; Marco Gómez, Jordi; Knauss, Alessia; Damian, Daniela (Institute of Electrical and Electronics Engineers (IEEE), 2015)
      Text en actes de congrés
      Accés obert
      Self-adaptive systems are capable of dealing with uncertainty at runtime handling complex issues as resource variability, changing user needs, and system intrusions or faults. If the requirements depend on context, runtime ...
    • Understanding the design-space of sparse/dense multiphase GNN dataflows on spatial accelerators 

      Garg, Raveesh; Qin, Eric; Muñoz Martínez, Francisco; Guirado Liñan, Robert; Jain, Akshay; Abadal Cavallé, Sergi; Abellán Miguel, José Luis; Acacio Sánchez, Manuel E.; Alarcón Cot, Eduardo José; Rajamanickam, Sivasankaran; Krishna, Tushar (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Text en actes de congrés
      Accés obert
      Graph Neural Networks (GNNs) have garnered a lot of recent interest because of their success in learning representations from graph-structured data across several critical applications in cloud and HPC. Owing to their ...