16 documents found, page 1 of 2
Programming languages ranking based on energy measurements
Gordillo, Alberto; Calero, Coral; Ángeles Moraga, Mª; García, Félix; Fernandes, João Paulo; Abreu, Rui; Saraiva, JoãoSoftware is developed using programming languages whose choice is made based on a wide range of criteria, but it should be noted that the programming language selected can affect the quality of the software product. In this paper, we focus on analysing the differences in energy consumption when running certain algorithms that have been developed using different programming languages. Therefore, we focus on the ...
GPT-3-powered type error debugging: investigating the use of large language mod...
Ribeiro, Francisco José Torres; Macedo, José Nuno Castro; Tsushima, Kanae; Abreu, Rui; Saraiva, JoãoType systems are responsible for assigning types to terms in programs. That way, they enforce the actions that can be taken and can, consequently, detect type errors during compilation. However, while they are able to ag the existence of an error, they often fail to pinpoint its cause or provide a helpful error message. Thus, without adequate support, debugging this kind of errors can take a considerable amount...
Framing program repair as code completion
Ribeiro, Francisco; Abreu, Rui; Saraiva, JoãoMany techniques have contributed to the advancement of automated program repair, such as: generate and validate approaches, constraint-based solvers and even neural machine translation. Simultaneously, artificial intelligence has allowed the creation of general-purpose pre-trained models that support several downstream tasks. In this paper, we describe a technique that takes advantage of a generative model - Co...
WebAssembly versus JavaScript: Energy and runtime performance
Macedo, João de; Abreu, Rui; Pereira, Rui; Saraiva, JoãoThe worldwide Web has dramatically evolved in recent years. Web pages are dynamic, expressed by programs written in common programming languages given rise to sophisticated Web applications. Thus, Web browsers are almost operating systems, having to interpret/compile such programs and execute them. Although JavaScript is widely used to express dynamic Web pages, it has several shortcomings and performance ineff...
GreenSoftwareLab: towards an engineering discipline for green software
Saraiva, João; Abreu, Rui; Cunha, Jácome; Fernandes, João PauloThis article summarises the work of a research team focused on reducing energy consumption across various computing systems (mobile, programs, databases, etc.). The team specifically focus on the software side, where our mission is to apply (source code) analysis and transformation techniques to detect anomalies in energy consumption and to define optimizations to reduce such consumption.
Smelling faults in spreadsheets
Abreu, Rui; Cunha, Jácome Miguel Costa; Fernandes, João Paulo Sousa Ferreira; Martins, Pedro Miguel Ribeiro; Perez, Alexandre; Saraiva, João AlexandreDespite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in sp...
An efficient distributed algorithm for computing minimal hitting sets
Abreu, Rui; Cardoso, NunoComputing minimal hitting sets for a collection of sets is an important problem in many domains (e.g., Spectrum-based Fault Localization). Being an NP-Hard problem, exhaustive algorithms are usually prohibitive for real-world, often large, problems. In practice, the usage of heuristic based approaches trade-off completeness for time efficiency. An example of such heuristic approaches is STACCATO, which was prop...
Enhancing reasoning approaches to diagnose functional and non-functional errors
Cardoso, Nuno; Abreu, RuiMost approaches to automatic software diagnosis abstract the system under analysis in terms of component activity and correct/incorrect behaviour (colectivelly known as spectra). While this binary error abstraction has been shown to be capable of diagnosing functional errors, when diagnosing non-functional errors it yields suboptimal accuracy. The main reason for this limitation is related to the lack of mechan...
FaultySheet detective: when smells meet fault localization
Abreu, Rui; Cunha, Jácome Miguel Costa; Fernandes, João Paulo; Martins, Pedro; Perez, Alexandre; Saraiva, João AlexandreThis paper presents a tool, dubbed FaultySheet Detective, for aiding in spreadsheet fault localization, which combines the detection of bad smells with a generic spectrum-based fault localization algorithm.
A kernel density estimate-based approach to component goodness modeling
Abreu, Rui; Cardoso, NunoIntermittent fault localization approaches account for the fact that faulty components may fail intermittently by considering a parameter (known as goodness) that quantifies the probability that faulty components may still exhibit correct behavior. Current, state-of-the-art approaches (1) assume that this goodness probability is context independent and (2) do not provide means for integrating past diagnosis exp...