News

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.

Rui Couto is the latest PhD holder of HASLab doctoral degree

Rui Couto defended his doctoral thesis last week, entitled "Pattern Based Software Development", and was unanimously evaluated by the members of the jury with "very good".

HASLab researcher receives silver medal in the ACM Student Research Competition at ICSE 2017

Rui Pereira, a doctoral student of HASLab, reached the second place in the ACM Student Research Competition at ICSE 2017, with the article "Locating energy hotspots in source code".

Article about deeply flexible filesystem receives Best Student Paper Award

The article entitled “SafeFS: A modular architecture for secure user-space file systems (one FUSE to rule them all)”, conceived as part of the European SafeCloud project, received the Best Student Paper Award in the 10th ACM International Systems and Storage Conference (Systor).

The European project LeanBigData comes to an end with excellent evaluation

The European project LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), where INESC TEC was one of the partners, represented by the High-Assurance Software Laboratory (HASLab) and the Centre for Information Systems and Computer Graphics  (CSIG), was concluded last month with an excellent evaluation from the European Commission, which stated that the consortium has developed very good scientific work with excellent results. The final evaluation took place in March in Madrid, Spain.

HASLab welcomes students from the Best Students programme at UMinho 2017

Last week, the High-Assurance Software Laboratory (HASLab) welcomed high school students from the districts of Braga and Viana do Castelo, who chose HASLab to experience the activity of a researcher in the Informatics area. This visit took place as part of the 4th edition of the Best Students programme at UMinho.