Persona: Heradio Gil, Rubén
Cargando...
Dirección de correo electrónico
ORCID
0000-0002-7131-0482
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Heradio Gil
Nombre de pila
Rubén
Nombre
18 resultados
Resultados de la búsqueda
Mostrando 1 - 10 de 18
Publicación Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees(Association for Computing Machinery (ACM), 2023-11-23) Oh, Jeho; Batory, Don; Heradio Gil, RubénA Software Product Line (SPL) is a family of similar programs. Each program is defined by a unique set of features, called a configuration, that satisfies all feature constraints. “What configuration achieves the best performance for a given workload?” is the SPLOptimization (SPLO) challenge. SPLO is daunting: just 80 unconstrained features yield 1024 unique configurations, which equals the estimated number of stars in the universe. We explain (a) how uniform random sampling and random search algorithms solve SPLO more efficiently and accurately than current machine-learned performance models and (b) how to compute statistical guarantees on the quality of a returned configuration; i.e., it is within x% of optimal with y% confidence.Publicación A bibliometric analysis of 10 years of research on symptom networks in psychopathology and mental health(Elsevier, 2022-02) Ausín, Berta; Castellanos, Miguel Ángel; González Sanguino, Clara; Heradio Gil, RubénPsychopathology networks consist of aspects (e.g., symptoms) of mental disorders (nodes) and the connections between those aspects (edges). This article aims to analyze the research literature on network analysis in psychopathology and mental health for the last ten years. Statistical descriptive analysis was complemented with two bibliometric techniques: performance analysis and co-word analysis. There is an increase in publications that has passed from 1 article published in 2010 to 172 papers published in 2020. The 398 articles in the sample have 1,910 authors in total, being most of them occasional contributors. The Journal of Affective Disorders is the one with the highest number of publications on network analysis in psychopathology and mental health, followed by the Journal of Abnormal Psychology and Psychological Medicine stand out. The present study shows that this perspective in psychopathology and mental health is a recent field of study, but with solid advances in recent years from a wide variety of researchers, mainly from USA and Europe, who have extensively studied symptom networks in depression, anxiety, and post-traumatic stress disorders. However, gaps are identified in other psychological behaviors such as suicide, populations such as the elderly, and gender studies.Publicación A Monte Carlo tree search conceptual framework for feature model analyses(Elsevier, 2023-01) Horcas Aguilera, Jose Miguel ; Galindo, José A.; Benavides, David; Heradio Gil, Rubén; Fernández Amoros, David JoséChallenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0 expose highly variable systems with colossal configuration spaces. The automated analysis of those systems’ variability has often relied on SAT solving and constraint programming. However, many of the analyses have to deal with the uncertainty introduced by the fact that undertaking an exhaustive exploration of the whole configuration space is usually intractable. In addition, not all analyses need to deal with the configuration space of the feature models, but with different search spaces where analyses are performed over the structure of the feature models, the constraints, or the implementation artifacts, instead of configurations. This paper proposes a conceptual framework that tackles various of those analyses using Monte Carlo tree search methods, which have proven to succeed in vast search spaces (e.g., game theory, scheduling tasks, security, program synthesis, etc.). Our general framework is formally described, and its flexibility to cope with a diversity of analysis problems is discussed. We provide a Python implementation of the framework that shows the feasibility of our proposal, identifying up to 11 lessons learned, and open challenges about the usage of the Monte Carlo methods in the software product line context. With this contribution, we envision that different problems can be addressed using Monte Carlo simulations and that our framework can be used to advance the state-of-the-art one step forward.Publicación Pragmatic random sampling of Kconfig-based systems: A unified approach(Elsevier, 2025-07-28) Fernández Amoros, David José; Heradio Gil, Rubén; Horcas Aguilera, Jose Miguel; Galindo, José A.; Benavides, David; Fuentes, LidiaThe configuration space of some systems is so large that it cannot be computed. This is the case with the Linux Kernel, which provides more than 18,000 configurable options described across almost 1,700 files in the Kconfig language. As a result, many analyses of these systems rely on sampling their configuration space (e.g., debugging compilation errors, predicting configuration performance, finding the configuration that optimizes specific performance metrics, among others.). The Kernel and other Kconfig-based systems can be sampled pragmatically, using their built-in tool conf to get a sample directly from the Kconfig specification that is approximately random, or idealistically, generating a genuine random sample by first translating the Kconfig files into logic formulas, then using a logic engine to compute the probability that each option value has to appear in a configuration, and finally utilizing these probabilities to generate an authentically random sample. The pros of the idealistic approach are that it ensures the sample is representative of the population, but the cons are that it sets out many challenging problems that have not been solved yet (fundamentally, how to obtain a valid translation into Boolean that covers all the Kconfig language, and how to compute the option value probabilities for very large formulas). This paper introduces a new version of conf called randconfig+, which incorporates a series of improvements that increase the randomness and correctness of pragmatic sampling and also help validate the Boolean translation required for the idealistic approach. randconfig+ has been tested on ten versions of the Linux Kernel and twenty additional Kconfig systems. Its compatibility significantly enhances the current landscape, where some systems use a customized conf variant that is maintained independently, while others do not support sampling at all. randconfig+ not only offers universal sampling for all Kconfig systems but also simplifies its evolutive maintenance as a single tool rather than an unorganized collection of conf variants.Publicación Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool(Association for Computing Machinery, New York, 2024-09-02) Fernández Amoros, David José; Heradio Gil, Rubén; Horcas Aguilera, Jose Miguel; Galindo, José A.; Benavides, David; Fuentes, Lidia; https://orcid.org/0000-0003-3758-0195; https://orcid.org/0000-0002-5677-7156; https://orcid.org/0000-0002-8449-3273; https://orcid.org/0000-0001-9293-9784The configuration space of some systems is so large that it cannot be computed. This is the case with the Linux Kernel, which provides almost 19,000 configurable options described across more than 1,600 files in the Kconfig language. As a result, many analyses of the Kernel rely on sampling its configuration space (e.g., debugging compilation errors, predicting configuration performance, finding the configuration that optimizes specific performance metrics, etc.). The Kernel can be sampled pragmatically, with its built-in tool conf, or idealistically, translating the Kconfig files into logic formulas. The pros of the idealistic approach are that it provides statistical guarantees for the sampled configurations, but the cons are that it sets out many challenging problems that have not been solved yet, such as scalability issues. This paper introduces a new version of conf called randconfig+, which incorporates a series of improvements that increase the randomness and correctness of pragmatic sampling and also help validate the Boolean translation required for the idealistic approach. randconfig+ has been tested on 20,000 configurations generated for 10 different Kernel versions from 2003 to the present day. The experimental results show that randconfig+ is compatible with all tested Kernel versions, guarantees the correctness of the generated configurations, and increases conf’s randomness for numeric and string options.Publicación A bibliometric analysis of off-line handwritten document analysis literature (1990–2020)(Elsevier, 2022-05) Ruiz Parrado, Victoria; Vélez, José F.; Heradio Gil, Rubén; Aranda Escolástico, Ernesto; Sánchez Ávila, ÁngelProviding computers with the ability to process handwriting is both important and challenging, since many difficulties (e.g., different writing styles, alphabets, languages, etc.) need to be overcome for addressing a variety of problems (text recognition, signature verification, writer identification, word spotting, etc.). This paper reviews the growing literature on off-line handwritten document analysis over the last thirty years. A sample of 5389 articles is examined using bibliometric techniques. Using bibliometric techniques, this paper identifies (i) the most influential articles in the area, (ii) the most productive authors and their collaboration networks, (iii) the countries and institutions that have led research on the topic, (iv) the journals and conferences that have published most papers, and (v) the most relevant research topics (and their related tasks and methodologies) and their evolution over the years.Publicación Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel(Association for Computing Machinery (ACM), 2023-01-05) Mayr Dorn, Christoph; Egyed, Alexander; Fernández Amoros, David José; Heradio Gil, RubénSoftware systems are becoming increasingly configurable. A paradigmatic example is the Linux kernel, which can be adjusted for a tremendous variety of hardware devices, from mobile phones to supercomputers, thanks to the thousands of configurable features it supports. In principle, many relevant problems on configurable systems, such as completing a partial configuration to get the system instance that consumes the least energy or optimizes any other quality attribute, could be solved through exhaustive analysis of all configurations. However, configuration spaces are typically colossal and cannot be entirely computed in practice. Alternatively, configuration samples can be analyzed to approximate the answers. Generating those samples is not trivial since features usually have inter-dependencies that constrain the configuration space. Therefore, getting a single valid configuration by chance is extremely unlikely. As a result, advanced samplers are being proposed to generate random samples at a reasonable computational cost. However, to date, no sampler can deal with highly configurable complex systems, such as the Linux kernel. This paper proposes a new sampler that does scale for those systems, based on an original theoretical approach called extensible logic groups. The sampler is compared against five other approaches. Results show our tool to be the fastest and most scalable one.Publicación Teaching Automation with Factory I/O under a Competency-Based Curriculum(Springer, 2022-10-22) Vargas Oyarzún, Héctor; Heradio Gil, Rubén; Donoso, Matias; Farias, GonzaloSome of the most critical competencies students need to acquire to become control engineers require performing practices under actual industrial conditions. This means that they must not only master the theoretical aspects of the discipline but also acquire skills and attitudes to face unpredictable real-world situations. Software tools such as Matlab/Simulink are widely used to train the design and validation of controllers, but they fail to provide real industrial contexts. Nowadays, there are 3D simulation tools that support recreating industrial environments to a remarkable extent, making them very attractive for university courses. Nevertheless, their application in engineering courses is scarce yet. This paper presents a methodological framework for seizing into competency-based courses one of these simulation tools, called Factory I/O. Our approach was evaluated in a master’s course on Industrial PID Control at Pontifical Catholic University of Valparaíso (PUCV) in Chile. The evaluation comprised the qualitative analysis of students’ grades over four consecutive course editions and the qualitative study of students’ opinion on Factory I/O educational value. The objectives of our evaluation were (i) testing if Factory I/O helped students develop skills hard to practice in academic contexts, such as detecting faults or recognizing the importance of having well-defined operation protocols; (ii) validating our methodology for competency-based courses; and (iii) surveying our students about Matlab/Simulink and Factory I/O strengths/weaknesses to teach control engineering. According to the results, (a) Factory I/O complements Simulink by providing an adequate virtual environment to learn the aforementioned skills; and (b) our methodology supports courses’ continuous improvement through the statistical analysis of students’ achievements at different abstraction levels.Publicación Using IoT-Type Metadata and Smart Web Design to Create User Interfaces Automatically(Institute of Electrical and Electronics Engineers (IEEE), 2023-02) Chacón, Jesús; Chandramouli, Rajarathnam; Torre Cubillo, Luis de la; Chaos García, Dictino; Heradio Gil, RubénThe advent of the Internet of Things has generated loads of data from the devices that are now connected to the Internet. While the majority of the data corresponds to measurements done by these devices, there is a second type of information (the metadata) that provides information about the devices themselves. Most of this metadata is still underused when used at all. On the other hand, the graphical user interfaces that allow operating and/or monitoring the connected devices from a computer or smartphone, are usually programmed from zero. However, the metadata that describes the main properties of the devices (i.e., inputs, outputs, precision, range, etc.) can be used along with smart web design techniques to automatically create these interfaces. This article proposes a framework to achieve this, and presents an application example consisting of an online lab of a servo-motor.Publicación Circuit Testing Based on Fuzzy Sampling with BDD Bases(University of Hawaiʻi at Mānoa, 2023) Pinilla, Elena; Fernández Amoros, David José; Heradio Gil, RubénFuzzy testing of integrated circuits is an established technique. Current approaches generate an approximately uniform random sample from a translation of the circuit to Boolean logic. These approaches have serious scalability issues, which become more pressing with the ever-increasing size of circuits. We propose using a base of binary decision diagrams to sample the translations as a soft computing approach. Uniformity is guaranteed by design and scalability is greatly improved. We test our approach against five other state-of-the-art tools and find our tool to outperform all of them, both in terms of performance and scalability.