News

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.

HASLab’s Software Engineering team with top-tier publications on the way

The Software Engineering team at HASLab recently had four publications accepted in the very top conferences and journals in the area. Rui Abreu, Alcino Cunha, Nuno Macedo, Paolo Masci, Alexandre Perez and José Campos, together with their co-authors, had papers accepted at the journal IEEE Transactions on Software Engineering and the International Conference on Software Engineering.