{rfName}
Ef

Indexed in

License and Use

Icono OpenAccess

Citations

53

Altmetrics

Analysis of institutional authors

Bueno, FCorresponding AuthorHermenegildo, MAuthor

Share

June 9, 2019
Publications
>
Article
No

Effectiveness of abstract interpretation in automatic parallelization: A case study in logic programming

Publicated to: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. 21 (2): 189-239 - 1999-03-01 21(2), DOI: 10.1145/316686.316688

Authors:

Bueno, F; De la Banda, MG; Hermenegildo, M
[+]

Abstract

We report on a detailed study of the application and effectiveness of program analysis based on abstract interpretation to automatic program parallelization. We study the case of parallelizing logic programs using the notion of strict independence. We first propose and prove correct a methodology for the application in the parallelization task of the information inferred by abstract interpretation, using a parametric domain. The methodology is generic in the sense of allowing the use of different analysis domains. A number of well-known approximation domains are then studied and the transformation into the parametric domain defined. The transformation directly illustrates the relevance and applicability of each abstract domain for the application. Both local and global analyzers are then built using these domains and embedded in a complete parallelizing compiler. Then, the performance of the domains in this context is assessed through a number of experiments. A comparatively wide range of aspects is studied, from the resources needed by the analyzers in terms of time and memory to the actual benefits obtained from the information inferred. Such benefits are evaluated both in terms of the characteristics of the parallelized code and of the actual speedups obtained from it. The results show that data flow analysis plays an important role in achieving efficient parallelizations, and that the cost of such analysis can be reasonable even for quite sophisticated abstract domains. Furthermore, the results also offer significant insight into the characteristics of the domains, the demands of the application, and the trade-offs involved.
[+]

Keywords

Abstract interpretationAutomatic parallelizationData flow analysisLanguagesLogic programmingParallelismPerformanceProlog programs

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS due to its progression and the good impact it has achieved in recent years, according to the agency WoS (JCR), it has become a reference in its field. In the year of publication of the work, 1999, it was in position 12/67, thus managing to position itself as a Q1 (Primer Cuartil), in the category Computer Science, Software, Graphics, Programming.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-08:

  • WoS: 25
  • Scopus: 28
[+]

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2026-04-08:

  • The use, from an academic perspective evidenced by the Altmetric agency indicator referring to aggregations made by the personal bibliographic manager Mendeley, gives us a total of: 14.
  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 15 (PlumX).

With a more dissemination-oriented intent and targeting more general audiences, we can observe other more global scores such as:

  • The Total Score from Altmetric: 3.

It is essential to present evidence supporting full alignment with institutional principles and guidelines on Open Science and the Conservation and Dissemination of Intellectual Heritage. A clear example of this is:

  • The work has been submitted to a journal whose editorial policy allows open Open Access publication.
  • Assignment of a Handle/URN as an identifier within the deposit in the Institutional Repository: https://oa.upm.es/13733/

As a result of the publication of the work in the institutional repository, statistical usage data has been obtained that reflects its impact. In terms of dissemination, we can state that, as of

  • Views: 365
  • Downloads: 295
[+]

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Australia.

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (BUENO CARRILLO, FRANCISCO) and Last Author (HERMENEGILDO SALINAS, MANUEL DE).

the author responsible for correspondence tasks has been BUENO CARRILLO, FRANCISCO.

[+]