News

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.

HASLab researcher, Ana Nunes Alonso, concludes her PhD

Ana Nunes Alonso defended in February her doctoral thesis entitled "Database Replication for Enterprise Applications", having received a unanimous evaluation of "very good" from the jury.

Two members of HASLab conclude master’s degrees

Luís Miguel Pinto and Tiago Loureiro, researchers at HASLab, defended their master's dissertations last week, both receiving a final mark of 17 (on a scale of 0 to 20).

HASLab/INESC TEC researcher receives "Privacy Protection" award

Manuel Barbosa, a researcher at INESC TEC's High-Assurance Software Laboratory (HASLab) and a professor at the Faculty of Science of the University of Porto (FCUP), was one of the members of a European research team who received a "Privacy Protection" award.

LightKone is the new European project that will innovate edge networks

LightKone, Lightweight Computation for Networks at the Edge, is the new European project featuring INESC TEC, represented by the High-Assurance Software Laboratory (HASLab), whose goal is to develop a scientifically solid and validated model to perform distributed computing in edge networks.

Project PRACTICE comes to an end with excellent evaluation

The European project PRACTICE (Privacy-Preserving Computation in the Cloud), where INESC TEC was one of the partners, represented by the High-Assurance Software Laboratory (HASLab), was concluded in 2016 with an excellent evaluation by the European Commission.