INESC TEC
INESC TEC
INESC TEC
Search results for:
Filter your results

0 Search results

Ricardo Pereira Vilaça

Ricardo Pereira Vilaça

Ricardo Vilaça has a PhD from MAP-i since 2012. Currently he is a senior researcher at HASLab and MACC, University of Minho & INESC TEC and former has query engine technical director at LeanXcale. His research interests are energy efficient and scalable data management in both parallel and distributed systems. Currently, he participates in EuroCC2 and SustainableHPC research projects. He represents MACC in the national network (RNCA), and in EuroHPC hosting entities forum. He was the INESC TEC coordinator of the AIDA CMU large scale collaborative project and had participated in more than 15 national and international research projects. He was co-supervisor of 2 PhD students and had supervise several research grant holders and master thesis. He had published more than 40 research papers or articles and has served as reviewer for several highly reputed conferences.

Domains

High-Assurance SoftwareComputer Science and Engineering

Projects

CircThread

CircThread’s main objective is to unlock access to product data between stakeholders that is now in silos and utilise it for improved circularity decision-making across the extended product life cycle. The CircThread or Circular Digital Thread project vision is to deliver a digital platform acting as an ‘information broker’ in a marketplace, where individual products will gain a digital identity with links to information in a publicly accessible ‘’catalogue’’, that can be easily requested and exchanged. The catalogue linked to the CircThread cloud ecosystem and physical product tags, will enable mobile and desktop-based access for tracing, retrieving and adding information on-site. CircThread will thereby enable capture, link to, combine, and share both data and decision information for circularity as part of a collaborative information infrastructure, providing a Circular Product Chain of Custody.

Building the Digital Thread for Circular Economy Product, Resource & Service Management

BigHPC

BigHPC aims at simplifying the management of computing and storage resources at HPC infrastructures, supporting Big Data and parallel computing applications, through a novel framework that can be seamlessly integrated with existing HPC centers and software stacks. The contributions of the project are expected to have a direct impact on science, industry and society, by accelerating scientific breakthroughs in different fields and increasing the competitiveness of companies through better data analysis and improved decision-support processes.

A Management Framework for Consolidated Big Data and HPC
View all projects

Publications

TiQuE: Improving the Transactional Performance of Analytical Systems for True HybridWorkloads

Faria, N;Pereira, J;Alonso, AN;Vilaca, R;Koning, Y;Nes, N;

2023

PROCEEDINGS OF THE VLDB ENDOWMENT

On the Expressiveness and Trade-Offs of Large Scale Tuple Stores

Vilaça, R;Cruz, F;Oliveira, RC;

2010

On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II

Clouder: a flexible large scale decentralized object store: architecture overview

Vilaça, R;Oliveira, R;

2009

Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009

On the Expressiveness and Trade-Offs of Large Scale Tuple Stores

Vilaca, R;Cruz, F;Oliveira, R;

2010

ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II

View all publications

Supervised theses

The Innovation in the Facilities Services Industry as a Critical Factor for the Players Competitiveness

Cláudio Manuel Moreira Barbosa

D - 2023

UP-FEUP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.

High-Assurance Software

Information and Contacts

Social Media