{rfName}
Ch

Indexed in

Altmetrics

Analysis of institutional authors

Fredlund, Lars-AkeCorresponding AuthorHerranz, AngelAuthorMarino, JulioAuthor

Share

August 21, 2025
Publications
>
Proceedings Paper
No

Checking Concurrency Coding Rules

Publicated to: Syntactic ASP Forgetting with Forks. 15537 113-129 - 2025-01-01 15537(), DOI: 10.1007/978-3-031-84924-4_8

Authors:

Fredlund, LA; Herranz, A; Mariño, J
[+]

Affiliations

Univ Politecn Madrid, Sch Comp Engn, Campus Montegancedo S-N, Madrid, Spain - Author

Abstract

We present an approach for checking that Java programs correctly use libraries such as java.util.concurrent.locks for synchronizing concurrent tasks. Concretely, the article develops methods to check that the behaviour of a program is in accordance with a set of coding rules that govern the correct usage of the library. Here such coding rules are formalized as Prolog predicates that judge whether the history of interactions between program and library represents correct usage or not. The history of interactions is obtained by tracing the interactions between the program and the library when executing a representative test suite. The approach is evaluated in a case study in which around 200 independent monitor-based Java implementations of a common specification are analysed to check adherence to the concurrency coding rules.
[+]

Keywords

Case-studiesCoding ruleCommon specificationComputer circuitsConcurrency coding ruleConcurrency coding rulesConcurrency controlConcurrent tasksJavaJava implementationJava programJava programming languageLogic programminLogic programmingLogic-programmingProlog (programming language)Software testing

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal Syntactic ASP Forgetting with Forks 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, 2025, it was in position 70/78, thus managing to position itself as a Q1 (Primer Cuartil), in the category Computer Science, Artificial Intelligence. Notably, the journal is positioned above the 90th percentile.

[+]

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-05:

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: 1.
[+]

Leadership analysis of institutional authors

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 (FREDLUND, LARS-AKE) and Last Author (MARIÑO CARBALLO, JULIO).

the author responsible for correspondence tasks has been FREDLUND, LARS-AKE.

[+]

Project objectives

La aportación persigue los siguientes objetivos: analizar el uso correcto de bibliotecas como java.util.concurrent.locks en programas Java para la sincronización de tareas concurrentes; formalizar reglas de codificación mediante predicados Prolog que evalúen la corrección del historial de interacciones entre programa y biblioteca; determinar la adecuación del comportamiento del programa conforme a dichas reglas mediante el trazado de interacciones durante la ejecución de un conjunto representativo de pruebas; evaluar la efectividad del enfoque mediante un estudio de caso que analiza alrededor de 200 implementaciones independientes basadas en monitores para verificar el cumplimiento de las reglas de concurrencia.
[+]

Most relevant results

El estudio presenta un método para verificar el uso correcto de bibliotecas de concurrencia en programas Java mediante reglas de codificación formalizadas como predicados Prolog. Los resultados más relevantes incluyen: la formalización de reglas de concurrencia como predicados lógicos que permiten evaluar la corrección del uso de la biblioteca java.util.concurrent.locks; la obtención de historiales de interacción entre programa y biblioteca mediante trazado durante la ejecución de suites de prueba representativas; la aplicación del método a un estudio de caso con aproximadamente 200 implementaciones independientes basadas en monitores; y la evaluación de la conformidad de dichas implementaciones con las reglas de codificación establecidas, demostrando la viabilidad del enfoque para detectar incumplimientos en entornos concurrentes.
[+]

Awards linked to the item

This work has been partly funded by the Ministerio de Ciencia e Innovacion of Spain (SAFER project, ref. PID2019-104735RB-C44).
[+]