Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por CSE

2021

On the Runtime and Energy Performance of WebAssembly Is WebAssembly superior to JavaScript yet?

Autores
De Macedo, J; Abreu, R; Pereira, R; Saraiva, J;

Publicação
2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)

Abstract
In the early days of the world wide web, browsers were developed to navigate through (static) HTML web page documents. This has changed dramatically, and nowadays web pages are dynamic, expressed by programs written in regular programming languages. As a result, browsers are almost operating systems, having to interpret/compile such programs and execute them within the browser itself. Currently, while JavaScript is the main de facto language to express web pages, it does have various short comings and performance inefficiencies. WebAssembly, a new portable and size/load efficient alternative developed by major IT powerhouses, is seen as the future substitute. As WebAssembly aims to be more performance efficient than JavaScript, we aim to look at this current status and present a preliminary study on the performance of these two, based on their runtime and energy efficiency. Preliminary results show that WebAssembly, while still in its infancy, is starting to already challenge JavaScript, with much more room to grow. Additionally, our benchmarking framework is also made available to allow further research and replication.

2021

A Survey on User Interaction with Linked Data

Autores
Aguiar, M; Nunes, S; Giesteirad, B;

Publicação
Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data co-located with the 20th International Semantic Web Conference (ISWC 2021), Virtual Conference, 2021.

Abstract
Since the beginning of the Semantic Web and the coining of the term Linked Data in 2006, more than one thousand datasets with over sixteen thousand links have been published to the Linked Open Data Cloud. This rising interest is fuelled by the benefits that semantically annotated and machine-readable information can have in many systems. Alongside this growth we also observe a rise in humans creating and consuming Linked Data, and the opportunity to study and develop guidelines for tackling the new user interaction problems that arise with it. To gather information on the current solutions for modelling user interaction for these applications, we conducted a study surveying the interaction techniques provided in the state of the art of Linked Data tools and applications developed for users with no experience with Semantic Web technologies. The 18 tools reviewed are described and compared according to the interaction features provided, techniques used for visualising one instance and a set of instances, search solutions implemented, and the evaluation methods used to evaluate the proposed interaction solutions. From this review, we can conclude that researchers have started to deviate from more traditional visualisation techniques, like graph visualisations, when developing for lay users. This shows a current effort in developing Semantic Web tools to be used by lay users and motivates the documentation and formalisation of the solutions encountered in the studied tools. Copyright © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

2021

CAT: content-aware tracing and analysis for distributed systems

Autores
Esteves, T; Neves, F; Oliveira, R; Paulo, J;

Publicação
Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6 - 10, 2021

Abstract

2021

Multi-language static code analysis on the LARA framework

Autores
Teixeira, G; Bispo, J; Correia, FF;

Publicação
SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021

Abstract
We propose a mechanism to raise the abstraction level of source-code analysis and robustly support multiple languages. Built on top of the LARA framework, it allows sharing language specifications between LARA source-to-source compilers, and enables the mapping of a virtual AST over the nodes of ASTs provided by different, unrelated parsers. We use this approach to create a language specification for Object-Oriented (OO) languages and add support for three different LARA compilers. We evaluate it by implementing a library of 18 software metrics using this language specification and apply the metrics to source code in four programming languages (C, C++, Java, and JavaScript). We compare the results with other tools to evaluate the approach.

2021

Grapevine Variety Identification Through Grapevine Leaf Images Acquired in Natural Environment

Autores
Carneiro, GS; Pádua, L; Sousa, JJ; Peres, E; Morais, R; Cunha, A;

Publicação
IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2021, Brussels, Belgium, July 11-16, 2021

Abstract
In this paper we present a Deep Learning-based methodology to automatically classify 12 of the most representative grapevarieties existing in the Douro Demarked region, Portugal. The dataset used consisted of images of leaves at different stages of development, collected on their natural environment. The development of such methodologies becomes particularly important, in a scenario in which ampeleographers are disappearing, creating a gap in the task of inspection of grape varieties. Our approach was based on the transfer learning of the Xcepetion model, using Focal Loss, adaptive learning rate decay and SGD. The model obtained a F1 score of 0.93. To clearly understand the predictions of the model, and realize which regions of the image contributed the most to the classification, the LIME library was used. This way it was possible to identify the parts of the images that were considered for and against each prediction.

2021

The High-Assurance ROS Framework

Autores
Santos, A; Cunha, A; Macedo, N;

Publicação
2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021)

Abstract
This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis foundation to automatically extract models from the source code. Such models are later used to enable other sorts of analyses, such as Model Checking, Runtime Verification, and Property-based Testing. It has been applied to multiple real-world examples, helping developers find and correct various issues.

  • 64
  • 220