News

HASLab has two new masters

Rui Miguel Ribeiro and Vítor Enes Duarte, both HASLab researchers, defended their master's theses last week and received a grade of 18 and 19, respectively.

HASLab researcher Clayton Maciel Costa concludes PhD

Last week, Clayton Maciel Costa defended his doctoral thesis, titled "Efficient adaptive query processing on large database systems in the cloud environment", which was unanimously approved by the jury.

Paper on energy efficiency in programming languages ​​receives Best Paper Award at SBLP 2017

The article "Towards a Green Ranking for Programming Languages", authored by HASLab/INESC TEC & UMinho researchers Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua and João Saraiva, was awarded the Best Paper Award at SBLP 2017.

Article authored by HASLab researchers accepted for publication in A* rated journal of Distributed Systems

Paulo Sérgio Almeida and Carlos Baquero, researchers at the High-Assurance Software Laboratory (HASLab) and professors at the School of Engineering of the University of Minho, together with Ali Shoker, R&D doctorate at HASLab, are the authors of an article that has been accepted for publication in the Journal of Parallel and Distributed Computing. This top-tier journal in the area of distributed systems has received the A* rating from the Australian CORE ranking.

HASLab researcher concludes habilitation exams

Rui Oliveira, researcher at the High-Assurance Software Laboratory (HASLab), professor at the School of Engineering of the University of Minho and member of the Board of Directors of INESC TEC, concluded on the 7th and 8th of September his habilitation exams at the University of Minho, which were unanimously approved by the members of the jury.

Team of HASLab researchers publishes article in Distributed Computing journal

Carlos Baquero, Paulo Sérgio Almeida and Paulo Jesus, researchers of the High-Assurance Software Laboratory (HASLab), have published an article entitled "Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution" in Springer's Distributed Computing journal, one of the most prestigious journals in the field of Informatics and Computer Science.

Ricardo Macedo finishes master’s degree with highest possible grade

Ricardo Macedo, a HASLab researcher, presented last week his master's thesis entitled "Secure Computation over NoSQL Databases", and his work received a grade of 20.

HASLab participates in the “Summer on the Campus 2017” programme of UMinho

The Computation Without Borders activity, organised mainly by HASLab researchers, had another edition this year, with the aim of promoting Computer Science among secondary school students. This was the 10th edition of the “Summer on the Campus” programme of the University of Minho and all 24 vacancies available for this activity were filled up.

The HASLab master's student Ricardo Macedo has an article accepted at an international CORE A conference

The article entitled "A Practical Framework for Privacy-Preserving NoSQL Databases" was accepted at the 36th IEEE International Symposium on Reliable Distributed Systems (SRDS 2017), an international conference classified with A by the well-know CORE ranking.

SQL Window Functions article receives Best Paper Award of DAIS 2017

The article entitled "Similarity aware shuffling for the distributed execution of SQL window functions", authored by Fábio Coelho, José Pereira and Rui Oliveira from INESC TEC, together with Miguel Matos from INESC-ID, was selected for the Best Paper Award of DAIS 2017.