Showing 1–50 of 134 results for author: Santos, R D

The Role of Generative AI in Software Development Productivity: A Pilot Case Study

Authors: Mariana Coutinho, Lorena Marques, Anderson Santos, Marcio Dahia, Cesar Franca, Ronnie de Souza Santos

Abstract: With software development increasingly reliant on innovative technologies, there is a growing interest in exploring the potential of generative AI tools to streamline processes and enhance productivity. In this scenario, this paper investigates the integration of generative AI tools within software development, focusing on understanding their uses, benefits, and challenges to software professional… ▽ More With software development increasingly reliant on innovative technologies, there is a growing interest in exploring the potential of generative AI tools to streamline processes and enhance productivity. In this scenario, this paper investigates the integration of generative AI tools within software development, focusing on understanding their uses, benefits, and challenges to software professionals, in particular, looking at aspects of productivity. Through a pilot case study involving software practitioners working in different roles, we gathered valuable experiences on the integration of generative AI tools into their daily work routines. Our findings reveal a generally positive perception of these tools in individual productivity while also highlighting the need to address identified limitations. Overall, our research sets the stage for further exploration into the evolving landscape of software development practices with the integration of generative AI tools. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Software Fairness Debt

Authors: Ronnie de Souza Santos, Felipe Fronchetti, Savio Freire, Rodrigo Spinola

Abstract: As software systems continue to play a significant role in modern society, ensuring their fairness has become a critical concern in software engineering. Motivated by this scenario, this paper focused on exploring the multifaceted nature of bias in software systems, aiming to provide a comprehensive understanding of its origins, manifestations, and impacts. Through a sco** study, we identified t… ▽ More As software systems continue to play a significant role in modern society, ensuring their fairness has become a critical concern in software engineering. Motivated by this scenario, this paper focused on exploring the multifaceted nature of bias in software systems, aiming to provide a comprehensive understanding of its origins, manifestations, and impacts. Through a sco** study, we identified the primary causes of fairness deficiency in software development and highlighted their adverse effects on individuals and communities, including instances of discrimination and the perpetuation of inequalities. Our investigation culminated in the introduction of the concept of software fairness debt, which complements the notions of technical and social debt, encapsulating the accumulation of biases in software engineering practices while emphasizing the societal ramifications of bias embedded within software systems. Our study contributes to a deeper understanding of fairness in software engineering and paves the way for the development of more equitable and socially responsible software systems. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Scattering and Pairing by Exchange Interactions

Authors: J. -B. Bru, W. de Siqueira Pedra, A. Ramer dos Santos

Abstract: Quantum interactions exchanging different types of particles play a pivotal rôle in quantum many-body theory, but they are not sufficiently investigated from a mathematical perspective. Here, we consider a system made of two fermions and one boson, in order to study the effect of such an off-diagonal interaction term, having in mind the physics of cuprate superconductors. Additionally, our model a… ▽ More Quantum interactions exchanging different types of particles play a pivotal rôle in quantum many-body theory, but they are not sufficiently investigated from a mathematical perspective. Here, we consider a system made of two fermions and one boson, in order to study the effect of such an off-diagonal interaction term, having in mind the physics of cuprate superconductors. Additionally, our model also includes a generalized Hubbard interaction (i.e., a general local repulsion term for the fermions). Regarding pairing, exponentially localized dressed bound fermion pairs are shown to exist and their effective dispersion relation is studied in detail. Scattering properties of the system are derived for two channels: the unbound and bound pair channels. We give particular attention to the regime of very large on-site (Hubbard) repulsions, because this situation is relevant for cuprate superconductors. △ Less

Submitted 23 April, 2024; originally announced April 2024.

MSC Class: 47B93 (Primary); 81Q10 (Primary)

Paths to Testing: Why Women Enter and Remain in Software Testing?

Authors: Kleice Silva, Ann Barcomb, Ronnie de Souza Santos

Abstract: Background. Women bring unique problem-solving skills to software development, often favoring a holistic approach and attention to detail. In software testing, precision and attention to detail are essential as professionals explore system functionalities to identify defects. Recognizing the alignment between these skills and women's strengths can derive strategies for enhancing diversity in softw… ▽ More Background. Women bring unique problem-solving skills to software development, often favoring a holistic approach and attention to detail. In software testing, precision and attention to detail are essential as professionals explore system functionalities to identify defects. Recognizing the alignment between these skills and women's strengths can derive strategies for enhancing diversity in software engineering. Goal. This study investigates the motivations behind women choosing careers in software testing, aiming to provide insights into their reasons for entering and remaining in the field. Method. This study used a cross-sectional survey methodology following established software engineering guidelines, collecting data from women in software testing to explore their motivations, experiences, and perspectives. Findings. The findings reveal that women enter software testing due to increased entry-level job opportunities, work-life balance, and even fewer gender stereotypes. Their motivations to stay include the impact of delivering high-quality software, continuous learning opportunities, and the challenges the activities bring to them. However, inclusiveness and career development in the field need improvement for sustained diversity. Conclusion. Preliminary yet significant, these findings offer interesting insights for researchers and practitioners towards the understanding of women's diverse motivations in software testing and how this understanding is important for fostering professional growth and creating a more inclusive and equitable industry landscape. △ Less

Submitted 20 April, 2024; originally announced April 2024.

Exploring Hybrid Work Realities: A Case Study with Software Professionals From Underrepresented Groups

Authors: Ronnie de Souza Santos, Cleyton Magalhes, Robson Santons, Jorge Correia-Neto

Abstract: Context. In the post-pandemic era, software professionals resist returning to office routines, favoring the flexibility gained from remote work. Hybrid work structures, then, become popular within software companies, allowing them to choose not to work in the office every day, preserving flexibility, and creating several benefits, including an increase in the support for underrepresented groups in… ▽ More Context. In the post-pandemic era, software professionals resist returning to office routines, favoring the flexibility gained from remote work. Hybrid work structures, then, become popular within software companies, allowing them to choose not to work in the office every day, preserving flexibility, and creating several benefits, including an increase in the support for underrepresented groups in software development. Goal. We investigated how software professionals from underrepresented groups are experiencing post-pandemic hybrid work. In particular, we analyzed the experiences of neurodivergents, LGBTQIA+ individuals, and people with disabilities working in the software industry. Method. We conducted a case study focusing on the underrepresented groups within a well-established South American software company. Results. Hybrid work is preferred by software professionals from underrepresented groups in the post-pandemic era. Advantages include improved focus at home, personalized work setups, and accommodation for health treatments. Concerns arise about isolation and inadequate infrastructure support, highlighting the need for proactive organizational strategies. Conclusions. Hybrid work emerges as a promising strategy for fostering diversity and inclusion in software engineering, addressing past limitations of the traditional office environment. △ Less

Submitted 20 April, 2024; originally announced April 2024.

Goal Recognition via Linear Programming

Authors: Felipe Meneguzzi, Luísa R. de A. Santos, Ramon Fraga Pereira, André G. Pereira

Abstract: Goal Recognition is the task by which an observer aims to discern the goals that correspond to plans that comply with the perceived behavior of subject agents given as a sequence of observations. Research on Goal Recognition as Planning encompasses reasoning about the model of a planning task, the observations, and the goals using planning techniques, resulting in very efficient recognition approa… ▽ More Goal Recognition is the task by which an observer aims to discern the goals that correspond to plans that comply with the perceived behavior of subject agents given as a sequence of observations. Research on Goal Recognition as Planning encompasses reasoning about the model of a planning task, the observations, and the goals using planning techniques, resulting in very efficient recognition approaches. In this article, we design novel recognition approaches that rely on the Operator-Counting framework, proposing new constraints, and analyze their constraints' properties both theoretically and empirically. The Operator-Counting framework is a technique that efficiently computes heuristic estimates of cost-to-goal using Integer/Linear Programming (IP/LP). In the realm of theory, we prove that the new constraints provide lower bounds on the cost of plans that comply with observations. We also provide an extensive empirical evaluation to assess how the new constraints improve the quality of the solution, and we found that they are especially informed in deciding which goals are unlikely to be part of the solution. Our novel recognition approaches have two pivotal advantages: first, they employ new IP/LP constraints for efficiently recognizing goals; second, we show how the new IP/LP constraints can improve the recognition of goals under both partial and noisy observability. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: Submitted to JAIR April 2024

Symmetry breaker governs synchrony patterns in neuronal inspired networks

Authors: Anil Kumar, Edmilson Roque dos Santos, Paul J. Laurienti, Erik Bollt

Abstract: Experiments in the human brain reveal switching between different activity patterns and functional network organization over time. Recently, multilayer modeling has been employed across multiple neurobiological levels (from spiking networks to brain regions) to unveil novel insights into the emergence and time evolution of synchrony patterns. We consider two layers with the top layer directly coup… ▽ More Experiments in the human brain reveal switching between different activity patterns and functional network organization over time. Recently, multilayer modeling has been employed across multiple neurobiological levels (from spiking networks to brain regions) to unveil novel insights into the emergence and time evolution of synchrony patterns. We consider two layers with the top layer directly coupled to the bottom layer. When isolated, the bottom layer would remain in a specific stable pattern. However, in the presence of the top layer, the network exhibits spatiotemporal switching. The top layer in combination with the inter-layer coupling acts as a symmetry breaker, governing the bottom layer and restricting the number of allowed symmetry-induced patterns. This structure allows us to demonstrate the existence and stability of pattern states on the bottom layer, but most remarkably, it enables a simple mechanism for switching between patterns based on the unique symmetry-breaking role of the governing layer. We demonstrate that the symmetry breaker prevents complete synchronization in the bottom layer, a situation that would not be desirable in a normal functioning brain. We illustrate our findings using two layers of Hindmarsh-Rose (HR) oscillators, employing the Master Stability function approach in small networks to investigate the switching between patterns. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: 15 Pages, 7 figures

Optimal lower estimate for the first eigenvalue of the p-Laplacian

Authors: Matheus Nunes Soares, Fábio Reis do Santos

Abstract: An integral inequality is derived for compact submanifolds (with or without boundary) in the unit sphere. This result leads to a characterization of spheres. An integral inequality is derived for compact submanifolds (with or without boundary) in the unit sphere. This result leads to a characterization of spheres. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: Suggestions are welcomed! arXiv admin note: text overlap with arXiv:2403.06081

Elevating Software Quality in Agile Environments: The Role of Testing Professionals in Unit Testing

Authors: Lucas Neves, Oscar Campos, Robson Santos, Italo Santos, Cleyton Magalhaes, Ronnie de Souza Santos

Abstract: Testing is an essential quality activity in the software development process. Usually, a software system is tested on several levels, starting with unit testing that checks the smallest parts of the code until acceptance testing, which is focused on the validations with the end-user. Historically, unit testing has been the domain of developers, who are responsible for ensuring the accuracy of thei… ▽ More Testing is an essential quality activity in the software development process. Usually, a software system is tested on several levels, starting with unit testing that checks the smallest parts of the code until acceptance testing, which is focused on the validations with the end-user. Historically, unit testing has been the domain of developers, who are responsible for ensuring the accuracy of their code. However, in agile environments, testing professionals play an integral role in various quality improvement initiatives throughout each development cycle. This paper explores the participation of test engineers in unit testing within an industrial context, employing a survey-based research methodology. Our findings demonstrate that testing professionals have the potential to strengthen unit testing by collaborating with developers to craft thorough test cases and fostering a culture of mutual learning and cooperation, ultimately contributing to increasing the overall quality of software projects. △ Less

Submitted 19 March, 2024; originally announced March 2024.

A remark on the first eigenvalue of the p-Laplacian on compact submanifolds in the unit sphere

Authors: Matheus Nunes Soares, Fábio Reis dos Santos

Abstract: An integral inequality for the singular p-laplacian is established for 3/2<p<2. As consequence, lower bounds for the first eigenvalue of the p-laplacian are obtained for minimal submanifolds and prescribed scalar curvature submanifolds in the unit sphere. An integral inequality for the singular p-laplacian is established for 3/2<p<2. As consequence, lower bounds for the first eigenvalue of the p-laplacian are obtained for minimal submanifolds and prescribed scalar curvature submanifolds in the unit sphere. △ Less

Submitted 27 March, 2024; v1 submitted 9 March, 2024; originally announced March 2024.

Comments: Suggestions are welcomed!

MSC Class: 53C42; 53A10; 53C20

Spin-Orbit Synchronization and Singular Perturbation Theory

Authors: Clodoaldo Ragazzo, Lucas Ruiz dos Santos

Abstract: In this study, we formulate a set of differential equations for a binary system to describe the secular-tidal evolution of orbital elements, rotational dynamics, and deformation (flattening), under the assumption that one body remains spherical while the other is slightly aspherical throughout the analysis. By applying singular perturbation theory, we analyze the dynamics of both the original and… ▽ More In this study, we formulate a set of differential equations for a binary system to describe the secular-tidal evolution of orbital elements, rotational dynamics, and deformation (flattening), under the assumption that one body remains spherical while the other is slightly aspherical throughout the analysis. By applying singular perturbation theory, we analyze the dynamics of both the original and secular equations. Our findings indicate that the secular equations serve as a robust approximation for the entire system, often representing a slow-fast dynamical system. Additionally, we explore the geometric aspects of spin-orbit resonance capture, interpreting it as a manifestation of relaxation oscillations within singularly perturbed systems. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Tidal Evolution and Spin-Orbit Dynamics: The Critical Role of Rheology

Authors: Clodoaldo Ragazzo, Lucas Ruiz dos Santos

Abstract: This study analyzes secular dynamics using averaged equations that detail tidal effects on the motion of two extended bodies in Keplerian orbits. It introduces formulas for energy dissipation within each body of a binary system. The equations, particularly in contexts like the Sun-Mercury system, can be delineated into a fast-slow system. A significant contribution of this work is the demonstratio… ▽ More This study analyzes secular dynamics using averaged equations that detail tidal effects on the motion of two extended bodies in Keplerian orbits. It introduces formulas for energy dissipation within each body of a binary system. The equations, particularly in contexts like the Sun-Mercury system, can be delineated into a fast-slow system. A significant contribution of this work is the demonstration of the crucial role complex rheological models play in the capture by spin-orbit resonances. This is particularly evident in the notable enlargement of the basin of attraction for Mercury's current state when transitioning from a single characteristic time rheology to a dual characteristic time model, under the constraint that both models comply with the same estimate of the complex Love number at orbital frequency. The study also underscores the importance of Mercury's elastic rigidity on secular timescales. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Willmore surfaces and Hopf tori in homogeneous 3-manifolds

Authors: Alma L. Albujer, Fábio R. dos Santos

Abstract: Some classification results for closed surfaces in Berger spheres are presented. On the one hand, a Willmore functional for isometrically immersed surfaces into an homogeneous space $\mathbb{E}^{3}(κ,τ)$ with isometry group of dimension $4$ is defined and its first variational formula is computed. Then, we characterize Clifford and Hopf tori as the only Willmore surfaces satifying a sharp Simons-t… ▽ More Some classification results for closed surfaces in Berger spheres are presented. On the one hand, a Willmore functional for isometrically immersed surfaces into an homogeneous space $\mathbb{E}^{3}(κ,τ)$ with isometry group of dimension $4$ is defined and its first variational formula is computed. Then, we characterize Clifford and Hopf tori as the only Willmore surfaces satifying a sharp Simons-type integral inequality. On the other hand, we also obtain some integral inequalities for closed surfaces with constant extrinsic curvature in $\mathbb{E}^3(κ,τ)$, becoming equalities if and only if the surface is a Hopf torus in a Berger sphere. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 21 pages

MSC Class: 53C42; 53A10; 53C30

Journal ref: Annals of Global Analysis and Geometry 62 (2022), 181-200

Total mean curvature surfaces in the product space $\mathbb{S}^n\times\mathbb{R}$ and applications

Authors: Alma L. Albujer, Sylvia F. da Silva, Fábio R. dos Santos

Abstract: The total mean curvature functional for submanifolds into the Riemannian product space $\mathbb{S}^n\times\mathbb{R}$ is considered and its first variational formula is presented. Later on, two second order differential operators are defined and a nice integral inequality relating both of them is proved. Finally we prove our main result: an integral inequality for closed stationary $\mathcal{H}$-s… ▽ More The total mean curvature functional for submanifolds into the Riemannian product space $\mathbb{S}^n\times\mathbb{R}$ is considered and its first variational formula is presented. Later on, two second order differential operators are defined and a nice integral inequality relating both of them is proved. Finally we prove our main result: an integral inequality for closed stationary $\mathcal{H}$-surfaces in $\mathbb{S}^n\times\mathbb{R}$, characterizing the cases where the equality is attained. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 17 pages

MSC Class: 53C42; 53A10; 53C30

Journal ref: Proceedings of the Edinburgh Mathematical Society 66 (2) (2023), 346-365

Hidden Populations in Software Engineering: Challenges, Lessons Learned, and Opportunities

Authors: Ronnie de Souza Santos, Kiev Gama

Abstract: The growing emphasis on studying equity, diversity, and inclusion within software engineering has amplified the need to explore hidden populations within this field. Exploring hidden populations becomes important to obtain invaluable insights into the experiences, challenges, and perspectives of underrepresented groups in software engineering and, therefore, devise strategies to make the software… ▽ More The growing emphasis on studying equity, diversity, and inclusion within software engineering has amplified the need to explore hidden populations within this field. Exploring hidden populations becomes important to obtain invaluable insights into the experiences, challenges, and perspectives of underrepresented groups in software engineering and, therefore, devise strategies to make the software industry more diverse. However, studying these hidden populations presents multifaceted challenges, including the complexities associated with identifying and engaging participants due to their marginalized status. In this paper, we discuss our experiences and lessons learned while conducting multiple studies involving hidden populations in software engineering. We emphasize the importance of recognizing and addressing these challenges within the software engineering research community to foster a more inclusive and comprehensive understanding of diverse populations of software professionals. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Charting a Path to Efficient Onboarding: The Role of Software Visualization

Authors: Fernando Padoan, Ronnie de Souza Santos, Rodrigo Pessoa Medeiros

Abstract: Background. Within the software industry, it is commonly estimated that software professionals invest a substantial portion of their work hours in the process of understanding existing systems. In this context, an ineffective technical onboarding process, which introduces newcomers to software under development, can result in a prolonged period for them to absorb the necessary knowledge required t… ▽ More Background. Within the software industry, it is commonly estimated that software professionals invest a substantial portion of their work hours in the process of understanding existing systems. In this context, an ineffective technical onboarding process, which introduces newcomers to software under development, can result in a prolonged period for them to absorb the necessary knowledge required to become productive in their roles. Goal. The present study aims to explore the familiarity of managers, leaders, and developers with software visualization tools and how these tools are employed to facilitate the technical onboarding of new team members. Method. To address the research problem, we built upon the insights gained through the literature and embraced a sequential exploratory approach. This approach incorporated quantitative and qualitative analyses of data collected from practitioners using questionnaires and semi-structured interviews. Findings. Our findings demonstrate a gap between the concept of software visualization and the practical use of onboarding tools and techniques. Overall, practitioners do not systematically incorporate software visualization tools into their technical onboarding processes due to a lack of conceptual understanding and awareness of their potential benefits. Conclusion. The software industry could benefit from standardized and evolving onboarding models, improved by incorporating software visualization techniques and tools to support program comprehension of newcomers in the software projects. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Post-Pandemic Hybrid Work in Software Companies: Findings from an Industrial Case Study

Authors: Ronnie de Souza Santos, Willian Grillo, Djafran Cabral, Catarina de Castro, Nicole Albuquerque, Cesar França

Abstract: Context. Software professionals learned from their experience during the pandemic that most of their work can be done remotely, and now software companies are expected to adopt hybrid work models to avoid the resignation of talented professionals who require more flexibility and work-life balance. However, hybrid work is a spectrum of flexible work arrangements, and currently, there are no well-es… ▽ More Context. Software professionals learned from their experience during the pandemic that most of their work can be done remotely, and now software companies are expected to adopt hybrid work models to avoid the resignation of talented professionals who require more flexibility and work-life balance. However, hybrid work is a spectrum of flexible work arrangements, and currently, there are no well-established hybrid work configurations to be followed in the post-pandemic period. Goal. We investigated how software engineers are experiencing the post-pandemic hybrid work landscape, aiming to understand the factors that influence their choices between remote and in-office work. Method. We explored a large South American company by collecting quantitative and qualitative data from 545 software professionals who are currently navigating diverse hybrid work arrangements tailored to their individual and team requirements. Findings. Our study revealed an array of factors that significantly impact hybrid work within the software industry, including individual preferences, work-life balance, commute time, social interactions, productivity, and more. Team dynamics, project demands, client expectations, and organizational strategies also play an important role in sha** the complex landscape of hybrid work configurations in software engineering. Conclusions. In summary, the success of hybrid work models depends on balancing individual preferences, team dynamics, and organizational strategies. Our study demonstrated that, at present, there is no one-size-fits-all individual approach to hybrid work in the software industry. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Prompt-based mental health screening from social media text

Authors: Wesley Ramos dos Santos, Ivandre Paraboni

Abstract: This article presents a method for prompt-based mental health screening from a large and noisy dataset of social media text. Our method uses GPT 3.5. prompting to distinguish publications that may be more relevant to the task, and then uses a straightforward bag-of-words text classifier to predict actual user labels. Results are found to be on pair with a BERT mixture of experts classifier, and in… ▽ More This article presents a method for prompt-based mental health screening from a large and noisy dataset of social media text. Our method uses GPT 3.5. prompting to distinguish publications that may be more relevant to the task, and then uses a straightforward bag-of-words text classifier to predict actual user labels. Results are found to be on pair with a BERT mixture of experts classifier, and incurring only a fraction of its training costs. △ Less

Submitted 11 May, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: To appear in BrasNam-2024

Are We Testing or Being Tested? Exploring the Practical Applications of Large Language Models in Software Testing

Authors: Robson Santos, Italo Santos, Cleyton Magalhaes, Ronnie de Souza Santos

Abstract: A Large Language Model (LLM) represents a cutting-edge artificial intelligence model that generates coherent content, including grammatically precise sentences, human-like paragraphs, and syntactically accurate code snippets. LLMs can play a pivotal role in software development, including software testing. LLMs go beyond traditional roles such as requirement analysis and documentation and can supp… ▽ More A Large Language Model (LLM) represents a cutting-edge artificial intelligence model that generates coherent content, including grammatically precise sentences, human-like paragraphs, and syntactically accurate code snippets. LLMs can play a pivotal role in software development, including software testing. LLMs go beyond traditional roles such as requirement analysis and documentation and can support test case generation, making them valuable tools that significantly enhance testing practices within the field. Hence, we explore the practical application of LLMs in software testing within an industrial setting, focusing on their current use by professional testers. In this context, rather than relying on existing data, we conducted a cross-sectional survey and collected data within real working contexts, specifically, engaging with practitioners in industrial settings. We applied quantitative and qualitative techniques to analyze and synthesize our collected data. Our findings demonstrate that LLMs effectively enhance testing documents and significantly assist testing professionals in programming tasks like debugging and test case automation. LLMs can support individuals engaged in manual testing who need to code. However, it is crucial to emphasize that, at this early stage, software testing professionals should use LLMs with caution while well-defined methods and guidelines are being built for the secure adoption of these tools. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Exposing Algorithmic Discrimination and Its Consequences in Modern Society: Insights from a Sco** Study

Authors: Ramandeep Singh Dehal, Mehak Sharma, Ronnie de Souza Santos

Abstract: Algorithmic discrimination is a condition that arises when data-driven software unfairly treats users based on attributes like ethnicity, race, gender, sexual orientation, religion, age, disability, or other personal characteristics. Nowadays, as machine learning gains popularity, cases of algorithmic discrimination are increasingly being reported in several contexts. This study delves into variou… ▽ More Algorithmic discrimination is a condition that arises when data-driven software unfairly treats users based on attributes like ethnicity, race, gender, sexual orientation, religion, age, disability, or other personal characteristics. Nowadays, as machine learning gains popularity, cases of algorithmic discrimination are increasingly being reported in several contexts. This study delves into various studies published over the years reporting algorithmic discrimination. We aim to support software engineering researchers and practitioners in addressing this issue by discussing key characteristics of the problem △ Less

Submitted 16 January, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

Navigating the Path of Women in Software Engineering: From Academia to Industry

Authors: Tatalina Oliveira, Ann Barcomb, Ronnie de Souza Santos, Helda Barros, Maria Teresa Baldassarre, César França

Abstract: Context. Women remain significantly underrepresented in software engineering, leading to a lasting gender gap in the software industry. This disparity starts in education and extends into the industry, causing challenges such as hostile work environments and unequal opportunities. Addressing these issues is crucial for fostering an inclusive and diverse software engineering workforce. Aim. This st… ▽ More Context. Women remain significantly underrepresented in software engineering, leading to a lasting gender gap in the software industry. This disparity starts in education and extends into the industry, causing challenges such as hostile work environments and unequal opportunities. Addressing these issues is crucial for fostering an inclusive and diverse software engineering workforce. Aim. This study aims to enhance the literature on women in software engineering, exploring their journey from academia to industry and discussing perspectives, challenges, and support. We focus on Brazilian women to extend existing research, which has largely focused on North American and European contexts. Method. In this study, we conducted a cross-sectional survey, collecting both quantitative and qualitative data, focusing on women's experiences in software engineering to explore their journey from university to the software industry. Findings. Our findings highlight persistent challenges faced by women in software engineering, including gender bias, harassment, work-life imbalance, undervaluation, low sense of belonging, and impostor syndrome. These difficulties commonly emerge from university experiences and continue to affect women throughout their entire careers. Conclusion. In summary, our study identifies systemic challenges in women's software engineering journey, emphasizing the need for organizational commitment to address these issues. We provide actionable recommendations for practitioners. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 12 pages

Myths and Facts about a Career in Software Testing: A Comparison between Students' Beliefs and Professionals' Experience

Authors: Ronnie de Souza Santos, Luiz Fernando Capretz, Cleyton Magalhaes, Rodrigo Souza

Abstract: Testing is an indispensable part of software development. However, a career in software testing is reported to be unpopular among students in computer science and related areas. This can potentially create a shortage of testers in the software industry in the future. The question is, whether the perception that undergraduate students have about software testing is accurate and whether it differs f… ▽ More Testing is an indispensable part of software development. However, a career in software testing is reported to be unpopular among students in computer science and related areas. This can potentially create a shortage of testers in the software industry in the future. The question is, whether the perception that undergraduate students have about software testing is accurate and whether it differs from the experience reported by those who work in testing activities in the software development industry. This investigation demonstrates that a career in software testing is more exciting and rewarding, as reported by professionals working in the field, than students may believe. Therefore, in order to guarantee a workforce focused on software quality, the academy and the software industry need to work together to better inform students about software testing and its essential role in software development. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Comments: IEEE Software, Volume 40, Issue 5, pp. 76-84, September/October 2023

Journal ref: IEEE Software, Volume 40, Issue 5, pp. 76-84. September/October 2023

More on the spin-2 analogue of the massive BF model

Authors: A. L. R. dos Santos, D. Dalmazi

Abstract: The addition of mass terms in general breaks gauge symmetries which can be recovered usually via Stueckelberg fields. The massive BF model describes massive spin-1 particles while preserving the $U(1)$ symmetry without Stueckelberg fields. Replacing the spin-1 curvature (field strength) by the Riemann tensor one can define its spin-2 analogue (massive``BR'' model). Here we investigate the canonica… ▽ More The addition of mass terms in general breaks gauge symmetries which can be recovered usually via Stueckelberg fields. The massive BF model describes massive spin-1 particles while preserving the $U(1)$ symmetry without Stueckelberg fields. Replacing the spin-1 curvature (field strength) by the Riemann tensor one can define its spin-2 analogue (massive``BR'' model). Here we investigate the canonical structure of the free mBR model in terms of gauge invariants in arbitrary dimensions and compare with the massive BF model. We also investigate non linear completions of the mBR model in arbitrary dimensions. In $D=3$ we find a non linear completion in the form of a bimetric model which is a sub case of a new class of bimetric models whose decoupling limit is ghost free at leading order. Their spectrum consists only of massive spin-2 particles. In arbitrary dimensions $D\ge 3$ we show that the consistency of a possible single metric completion of the mBR model is related with the consistency of a higher rank description of massless spin-1 particles in arbitrary backgrounds. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 22 pages, no figures, to appear in Phys. Rev. D

Fractal Basins as a Mechanism for the Nimble Brain

Authors: Erik Bollt, Jeremie Fish, Anil Kumar, Edmilson Roque dos Santos, Paul J. Laurienti

Abstract: An interesting feature of the brain is its ability to respond to disparate sensory signals from the environment in unique ways depending on the environmental context or current brain state. In dynamical systems, this is an example of multi-stability, the ability to switch between multiple stable states corresponding to specific patterns of brain activity/connectivity. In this article, we describe… ▽ More An interesting feature of the brain is its ability to respond to disparate sensory signals from the environment in unique ways depending on the environmental context or current brain state. In dynamical systems, this is an example of multi-stability, the ability to switch between multiple stable states corresponding to specific patterns of brain activity/connectivity. In this article, we describe chimera states, which are patterns consisting of mixed synchrony and incoherence, in a brain-inspired dynamical systems model composed of a network with weak individual interactions and chaotic/periodic local dynamics. We illustrate the mechanism using synthetic time series interacting on a realistic anatomical brain network derived from human diffusion tensor imaging (DTI). We introduce the so-called Vector Pattern State (VPS) as an efficient way of identifying chimera states and map** basin structures. Clustering similar VPSs for different initial conditions, we show that coexisting attractors of such states reveal intricately "mingled" fractal basin boundaries that are immediately reachable. This could explain the nimble brain's ability to rapidly switch patterns between coexisting attractors. △ Less

Submitted 31 October, 2023; originally announced November 2023.

Comments: 51 pages, 14 figures

MSC Class: 37N25; 34C28; 92B20; 92B25

Discovery of Novel Reticular Materials for Carbon Dioxide Capture using GFlowNets

Authors: Flaviu Cipcigan, Jonathan Booth, Rodrigo Neumann Barros Ferreira, Carine Ribeiro dos Santos, Mathias Steiner

Abstract: Artificial intelligence holds promise to improve materials discovery. GFlowNets are an emerging deep learning algorithm with many applications in AI-assisted discovery. By using GFlowNets, we generate porous reticular materials, such as metal organic frameworks and covalent organic frameworks, for applications in carbon dioxide capture. We introduce a new Python package (matgfn) to train and sampl… ▽ More Artificial intelligence holds promise to improve materials discovery. GFlowNets are an emerging deep learning algorithm with many applications in AI-assisted discovery. By using GFlowNets, we generate porous reticular materials, such as metal organic frameworks and covalent organic frameworks, for applications in carbon dioxide capture. We introduce a new Python package (matgfn) to train and sample GFlowNets. We use matgfn to generate the matgfn-rm dataset of novel and diverse reticular materials with gravimetric surface area above 5000 m$^2$/g. We calculate single- and two-component gas adsorption isotherms for the top-100 candidates in matgfn-rm. These candidates are novel compared to the state-of-art ARC-MOF dataset and rank in the 90th percentile in terms of working capacity compared to the CoRE2019 dataset. We discover 15 materials outperforming all materials in CoRE2019. △ Less

Submitted 16 October, 2023; v1 submitted 11 October, 2023; originally announced October 2023.

Software Testing and Code Refactoring: A Survey with Practitioners

Authors: Danilo Leandro Lima, Ronnie de Souza Santos, Guilherme Pires Garcia, Sildemir S. da Silva, Cesar Franca, Luiz Fernando Capretz

Abstract: Nowadays, software testing professionals are commonly required to develop coding skills to work on test automation. One essential skill required from those who code is the ability to implement code refactoring, a valued quality aspect of software development; however, software developers usually encounter obstacles in successfully applying this practice. In this scenario, the present study aims to… ▽ More Nowadays, software testing professionals are commonly required to develop coding skills to work on test automation. One essential skill required from those who code is the ability to implement code refactoring, a valued quality aspect of software development; however, software developers usually encounter obstacles in successfully applying this practice. In this scenario, the present study aims to explore how software testing professionals (e.g., software testers, test engineers, test analysts, and software QAs) deal with code refactoring to understand the benefits and limitations of this practice in the context of software testing. We followed the guidelines to conduct surveys in software engineering and applied three sampling techniques, namely convenience sampling, purposive sampling, and snowballing sampling, to collect data from testing professionals. We received answers from 80 individuals reporting their experience refactoring the code of automated tests. We concluded that in the context of software testing, refactoring offers several benefits, such as supporting the maintenance of automated tests and improving the performance of the testing team. However, practitioners might encounter barriers in effectively implementing this practice, in particular, the lack of interest from managers and leaders. Our study raises discussions on the importance of having testing professionals implement refactoring in the code of automated tests, allowing them to improve their coding abilities. △ Less

Submitted 2 October, 2023; originally announced October 2023.

AsQM: Audio streaming Quality Metric based on Network Impairments and User Preferences

Authors: Marcelo Rodrigo dos Santos, Andreza Patrícia Batista, Renata Lopes Rosa, Muhammad Saadi, Dick Carrillo Melgarejo, Demóstenes Zegarra Rodríguez

Abstract: There are many users of audio streaming services because of the proliferation of cloud-based audio streaming services for different content. The complex networks that support these services do not always guarantee an acceptable quality on the end-user side. In this paper, the impact of temporal interruptions on the reproduction of audio streaming and the users preference in relation to audio conte… ▽ More There are many users of audio streaming services because of the proliferation of cloud-based audio streaming services for different content. The complex networks that support these services do not always guarantee an acceptable quality on the end-user side. In this paper, the impact of temporal interruptions on the reproduction of audio streaming and the users preference in relation to audio contents are studied. In order to determine the key parameters in the audio streaming service, subjective tests were conducted, and their results show that users Quality-of-Experience (QoE) is highly correlated with the following application parameters, the number of temporal interruptions or stalls, its frequency and length, and the temporal location in which they occur. However, most important, experimental results demonstrated that users preference for audio content plays an important role in users QoE. Thus, a Preference Factor (PF) function is defined and considered in the formulation of the proposed metric named Audio streaming Quality Metric (AsQM). Considering that multimedia service providers are based on web servers, a framework to obtain user information is proposed. Furthermore, results show that the AsQM implemented in the audio player of an end users device presents a low impact on energy, processing and memory consumption. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 11 pages

Journal ref: IEEE Transactions on Consumer Electronics, vol. 69, no. 3, pp. 408-420, Aug. 2023

Four interacting spins: addition of angular momenta, spin-spin correlation functions, and entanglement

Authors: Raimundo R. dos Santos, Lucas Alves Oliveira, Natanael C. Costa

Abstract: We study four spins on a ring coupled through competing Heisenberg interactions between nearest neighbors, $J$, and next-nearest neighbors, $J_2\equivαJ>0$. The spectrum is obtained in a simple way by using the rules for addition of 4 angular momenta. This allows us to follow the evolution of the ground state with $α$, characterized by level crossings and by analyses of spin-spin correlation funct… ▽ More We study four spins on a ring coupled through competing Heisenberg interactions between nearest neighbors, $J$, and next-nearest neighbors, $J_2\equivαJ>0$. The spectrum is obtained in a simple way by using the rules for addition of 4 angular momenta. This allows us to follow the evolution of the ground state with $α$, characterized by level crossings and by analyses of spin-spin correlation functions. Further insight is obtained by examining the entanglement between different parts of the system: we observe that the entanglement entropy is strongly dependent on how the system is partitioned. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: 10 pages, 5 figures

Robust reconstruction of sparse network dynamics

Authors: Tiago Pereira, Edmilson Roque dos Santos, Sebastian van Strien

Abstract: Reconstruction of the network interaction structure from multivariate time series is an important problem in multiple fields of science. This problem is ill-posed for large networks leading to the reconstruction of false interactions. We put forward the Ergodic Basis Pursuit (EBP) method that uses the network dynamics' statistical properties to ensure the exact reconstruction of sparse networks wh… ▽ More Reconstruction of the network interaction structure from multivariate time series is an important problem in multiple fields of science. This problem is ill-posed for large networks leading to the reconstruction of false interactions. We put forward the Ergodic Basis Pursuit (EBP) method that uses the network dynamics' statistical properties to ensure the exact reconstruction of sparse networks when a minimum length of time series is attained. We show that this minimum time series length scales quadratically with the node degree being probed and logarithmic with the network size. Our approach is robust against noise and allows us to treat the noise level as a parameter. We show the reconstruction power of the EBP in experimental multivariate time series from optoelectronic networks. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 48 pages, 6 figures

MSC Class: 37A25; 37N99; 37E05; 37M25;

Beyond the ML Model: Applying Safety Engineering Frameworks to Text-to-Image Development

Authors: Shalaleh Rismani, Renee Shelby, Andrew Smart, Renelito Delos Santos, AJung Moon, Negar Rostamzadeh

Abstract: Identifying potential social and ethical risks in emerging machine learning (ML) models and their applications remains challenging. In this work, we applied two well-established safety engineering frameworks (FMEA, STPA) to a case study involving text-to-image models at three stages of the ML product development pipeline: data processing, integration of a T2I model with other models, and use. Resu… ▽ More Identifying potential social and ethical risks in emerging machine learning (ML) models and their applications remains challenging. In this work, we applied two well-established safety engineering frameworks (FMEA, STPA) to a case study involving text-to-image models at three stages of the ML product development pipeline: data processing, integration of a T2I model with other models, and use. Results of our analysis demonstrate the safety frameworks - both of which are not designed explicitly examine social and ethical risks - can uncover failure and hazards that pose social and ethical risks. We discovered a broad range of failures and hazards (i.e., functional, social, and ethical) by analyzing interactions (i.e., between different ML models in the product, between the ML product and user, and between development teams) and processes (i.e., preparation of training data or workflows for using an ML service/product). Our findings underscore the value and importance of examining beyond an ML model in examining social and ethical risks, especially when we have minimal information about an ML model. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comparing Mobile Testing Tools Using Documentary Analysis

Authors: Gustavo da Silva, Ronnie de Souza Santos

Abstract: Due to the high demand for mobile applications, given the exponential growth of users of this type of technology, testing professionals are frequently required to invest time in studying testing tools, in particular, because nowadays, several different tools are available. A variety of tools makes it difficult for testing professionals to choose the one that best fits their goals and supports them… ▽ More Due to the high demand for mobile applications, given the exponential growth of users of this type of technology, testing professionals are frequently required to invest time in studying testing tools, in particular, because nowadays, several different tools are available. A variety of tools makes it difficult for testing professionals to choose the one that best fits their goals and supports them in their work. In this sense, we conducted a comparative analysis among five open-source tools for mobile testing: Appium, Robotium, Espresso, Frank, and EarGrey. We used the documentary analysis method to explore the official documentation of each above-cited tool and developed various comparisons based on technical criteria reported in the literature about characteristics that mobile testing tools should have. Our findings are expected to help practitioners understand several aspects of mobile testing tools. △ Less

Submitted 1 July, 2023; originally announced July 2023.

The Perspective of Software Professionals on Algorithmic Racism

Authors: Ronnie de Souza Santos, Luiz Fernando de Lima, Cleyton Magalhaes

Abstract: Context. Algorithmic racism is the term used to describe the behavior of technological solutions that constrains users based on their ethnicity. Lately, various data-driven software systems have been reported to discriminate against Black people, either for the use of biased data sets or due to the prejudice propagated by software professionals in their code. As a result, Black people are experien… ▽ More Context. Algorithmic racism is the term used to describe the behavior of technological solutions that constrains users based on their ethnicity. Lately, various data-driven software systems have been reported to discriminate against Black people, either for the use of biased data sets or due to the prejudice propagated by software professionals in their code. As a result, Black people are experiencing disadvantages in accessing technology-based services, such as housing, banking, and law enforcement. Goal. This study aims to explore algorithmic racism from the perspective of software professionals. Method. A survey questionnaire was applied to explore the understanding of software practitioners on algorithmic racism, and data analysis was conducted using descriptive statistics and coding techniques. Results. We obtained answers from a sample of 73 software professionals discussing their understanding and perspectives on algorithmic racism in software development. Our results demonstrate that the effects of algorithmic racism are well-known among practitioners. However, there is no consensus on how the problem can be effectively addressed in software engineering. In this paper, some solutions to the problem are proposed based on the professionals' narratives. Conclusion. Combining technical and social strategies, including training on structural racism for software professionals, is the most promising way to address the algorithmic racism problem and its effects on the software solutions delivered to our society. △ Less

Submitted 26 June, 2023; originally announced June 2023.

The afterglow of GW170817 from every angle: Prospects for detecting the afterglows of binary neutron star mergers

Authors: Brian James Morsony, Ryan De Los Santos, Rubin Hernandez, Joshua Bustamante, Brandon Yassuiae, German Astorga, Juan Parra, Jared C. Workman

Abstract: To date GW170817, produced by a binary neutron star (BNS) merger, is the only gravitational wave event with an electromagnetic (EM) counterpart. It was associated with a prompt short gamma-ray burst (GRB), an optical kilonova, and the afterglow of a structured, off-axis relativistic jet. We model the prospects for future mergers discovered in gravitational waves to produce detectable afterglows. U… ▽ More To date GW170817, produced by a binary neutron star (BNS) merger, is the only gravitational wave event with an electromagnetic (EM) counterpart. It was associated with a prompt short gamma-ray burst (GRB), an optical kilonova, and the afterglow of a structured, off-axis relativistic jet. We model the prospects for future mergers discovered in gravitational waves to produce detectable afterglows. Using a model fit to GW170817, we assume all BNS mergers produce jets with the same parameters, and model the afterglow luminosity for a full distribution of observer angles, ISM densities, and distances. We find that in the LIGO/Virgo/KAGRA O4 run, 30% - 45% of BNS mergers with a well-localized counterpart will have an afterglow detectable with current instrumentation in the X-ray, radio and optical. Without a previously detected counterpart, 10% - 15% will have an afterglow detectable by wide-area radio and optical surveys, compared to only about 5% - 12% of events expected to have bright (on-axis) gamma-ray emission. Most afterglows that are detected will be from off-axis jets. Further in the future, in the A+ era (O5), 40% - 50% of mergers will have afterglows detectable with next-generation X-ray and radio instruments. Future wide-area radio survey instruments, particularly DSA-2000, could detect 40% of afterglows, even without a kilonova counterpart. Finding and monitoring these afterglows will provide valuable insight into the structure and diversity of relativistic jets, the rate at which mergers produce jets, and constrain the angle of the mergers relative to our line of sight. △ Less

Submitted 1 July, 2024; v1 submitted 31 May, 2023; originally announced June 2023.

Comments: Accepted by MNRAS

Expertise-based Weighting for Regression Models with Noisy Labels

Authors: Milene Regina dos Santos, Rafael Izbicki

Abstract: Regression methods assume that accurate labels are available for training. However, in certain scenarios, obtaining accurate labels may not be feasible, and relying on multiple specialists with differing opinions becomes necessary. Existing approaches addressing noisy labels often impose restrictive assumptions on the regression function. In contrast, this paper presents a novel, more flexible app… ▽ More Regression methods assume that accurate labels are available for training. However, in certain scenarios, obtaining accurate labels may not be feasible, and relying on multiple specialists with differing opinions becomes necessary. Existing approaches addressing noisy labels often impose restrictive assumptions on the regression function. In contrast, this paper presents a novel, more flexible approach. Our method consists of two steps: estimating each labeler's expertise and combining their opinions using learned weights. We then regress the weighted average against the input features to build the prediction model. The proposed method is formally justified and empirically demonstrated to outperform existing techniques on simulated and real data. Furthermore, its flexibility enables the utilization of any machine learning technique in both steps. In summary, this method offers a simple, fast, and effective solution for training regression models with noisy labels derived from diverse expert opinions. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Magnetism and metal-insulator transitions in the anisotropic kagome lattice

Authors: Lucas O. Lima, Andressa R. Medeiros-Silva, Raimundo R. dos Santos, Thereza Paiva, Natanael C. Costa

Abstract: The interest in the physical properties of kagome lattices has risen considerably. In addition to the synthesis of new materials, the possibility of realizing ultracold atoms on an optical kagome lattice (KL) raises interesting issues. For instance, by considering the Hubbard model on an anisotropic KL, with a hop** $t^\prime$ along one of the directions, one is able to interpolate between the L… ▽ More The interest in the physical properties of kagome lattices has risen considerably. In addition to the synthesis of new materials, the possibility of realizing ultracold atoms on an optical kagome lattice (KL) raises interesting issues. For instance, by considering the Hubbard model on an anisotropic KL, with a hop** $t^\prime$ along one of the directions, one is able to interpolate between the Lieb lattice ($t^\prime=0$) and the isotropic KL ($t^\prime=t$). The ground state of the former is a ferrimagnetic insulator for any on-site repulsion, $U$, while the latter displays a transition between a paramagnetic metal and a Mott insulator. One may thus consider $t^\prime$ as a parameter controlling the degree of magnetic frustration in the system. By means of extensive quantum Monte Carlo simulations, we have examined magnetic and transport properties as $t^\prime$ varies between these limits in order to set up a phase diagram in the $(U/t, t^\prime/t)$ parameter space. As an auxiliary response, analysis of the average sign of the fermionic determinant provides consistent predictions for critical points in the phase diagram. We observe a metal-insulator transition occurring at some critical point $U_c^\text{M}(t^\prime)$, which increases monotonically with $ t^\prime $, from the unfrustrated lattice limit. In addition, we have found that the boundary between the ferrimagnetic insulator and the Mott insulator rises sharply with $t^\prime$. △ Less

Submitted 24 April, 2023; originally announced April 2023.

Comments: 8 pages, 7 figures

The half-filled extended Hubbard model on a square lattice: Phase boundaries from determinant quantum Monte Carlo simulations

Authors: Sebastião dos Anjos Sousa-Júnior, Natanael C. Costa, Raimundo R. dos Santos

Abstract: The extended Hubbard model (EHM) describes fermions on a lattice coupled through on-site, $U$, and first-neighbor, $V$, interactions. In the context of high-$T_c$ cuprates, antiferromagnetic fluctuations may lead to an attractive channel, hence to superconductivity. Despite interest in the two-dimensional version of the model, the current knowledge about the phase diagram is still far from complet… ▽ More The extended Hubbard model (EHM) describes fermions on a lattice coupled through on-site, $U$, and first-neighbor, $V$, interactions. In the context of high-$T_c$ cuprates, antiferromagnetic fluctuations may lead to an attractive channel, hence to superconductivity. Despite interest in the two-dimensional version of the model, the current knowledge about the phase diagram is still far from complete. Here, we report on the results of extensive determinant quantum Monte Carlo simulations for this model at half filling, in which we have used the average sign of the product of fermionic determinants as an additional observable to locate critical points. We arrive at a ground state phase diagram in the $U$-$V$ plane in which the boundaries involving antiferromagnetic, charge-ordered, $s$- and $d$-wave superconductivity, and phase-separated phases are quantitatively set with good accuracy. We have also proposed a partial phase diagram, $T_c(U,V)$, featuring critical temperatures for the CDW and $s$-wave superconducting phases. △ Less

Submitted 11 February, 2024; v1 submitted 17 April, 2023; originally announced April 2023.

What do Transgender Software Professionals say about a Career in the Software Industry?

Authors: Ronnie de Souza Santos, Brody Stuart-Verner, Cleyton Magalhaes

Abstract: Diversity is an essential aspect of software development because technology influences almost every aspect of modern society, and if the software industry lacks diversity, software products might unintentionally constrain groups of individuals instead of promoting an equalitarian experience to all. In this study, we investigate the perspectives of transgender software professionals about a career… ▽ More Diversity is an essential aspect of software development because technology influences almost every aspect of modern society, and if the software industry lacks diversity, software products might unintentionally constrain groups of individuals instead of promoting an equalitarian experience to all. In this study, we investigate the perspectives of transgender software professionals about a career in software engineering as one of the aspects of diversity in the software industry. Our findings demonstrate that, on the one hand, trans people choose careers in software engineering for two primary reasons: a) even though software development environments are not exempt from discrimination, the software industry is safer than other industries for transgenders; b) trans people occasionally have to deal with gender dysphoria, anxiety, and fear of judgment, and the work flexibility offered by software companies allow them to cope with these issues more efficiently. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Post-pandemic Resilience of Hybrid Software Teams

Authors: Ronnie de Souza Santos, Gianisa Adisaputri, Paul Ralph

Abstract: Background. The COVID-19 pandemic triggered a widespread transition to hybrid work models (combinations of co-located and remote work) as software professionals' demanded more flexibility and improved work-life balance. However, hybrid work models reduce the spontaneous, informal face-to-face interactions that promote group maturation, cohesion, and resilience. Little is known about how software c… ▽ More Background. The COVID-19 pandemic triggered a widespread transition to hybrid work models (combinations of co-located and remote work) as software professionals' demanded more flexibility and improved work-life balance. However, hybrid work models reduce the spontaneous, informal face-to-face interactions that promote group maturation, cohesion, and resilience. Little is known about how software companies can successfully transition to a hybrid workforce or the factors that influence the resilience of hybrid software development teams. Goal. The purpose of this study is to explore the relationship between hybrid work and team resilience in the context of software development. Method. Constructivist Grounded Theory was used, based on interviews of 26 software professionals. This sample included professionals of different genders, ethnicities, sexual orientations, and levels of experience. Interviewees came from eight different companies, 22 different projects, and four different countries. Consistent with grounded theory methodology, data collection, and analysis were conducted iteratively, in waves, using theoretical sampling, constant comparison, and initial, focused, and theoretical coding. Results. Software Team Resilience is the ability of a group of software professionals to continue working together effectively under adverse conditions. Resilience depends on the group's maturity. The configuration of a hybrid team (who works where and when) can promote or hinder group maturity depending on the level of intra-group interaction it supports. Conclusion. This paper presents the first study on the resilience of hybrid software teams. Software teams need resilience to maintain their performance in the face of disruptions and crises. Software professionals strongly value hybrid work; therefore, team resilience is a key factor to be considered in the software industry. △ Less

Submitted 10 March, 2023; originally announced March 2023.

LGBTQIA+ (In)Visibility in Computer Science and Software Engineering Education

Authors: Ronnie de Souza Santos, Brody Stuart-Verner, Cleyton de Magalhaes

Abstract: Modern society is diverse, multicultural, and multifaceted. Because of these characteristics, we are currently observing an increase in the debates about equity, diversity, and inclusion in different areas, especially because several groups of individuals are underrepresented in many environments. In computer science and software engineering, it seems counter-intuitive that these areas, which are… ▽ More Modern society is diverse, multicultural, and multifaceted. Because of these characteristics, we are currently observing an increase in the debates about equity, diversity, and inclusion in different areas, especially because several groups of individuals are underrepresented in many environments. In computer science and software engineering, it seems counter-intuitive that these areas, which are responsible for creating technological solutions and systems for billions of users around the world, do not reflect the diversity of the society to which it serves. In trying to solve this diversity crisis in the software industry, researchers started to investigate strategies that can be applied to increase diversity and improve inclusion in academia and the software industry. However, the lack of diversity in computer science and related courses, including software engineering, is still a problem, in particular when some specific groups are considered. LGBTQIA+ students, for instance, face several challenges to fit into technology courses, even though most students in universities right now belong to Generation Z, which is described as open-minded to aspects of gender and sexuality. In this study, we aimed to discuss the state-of-art of publications about the inclusion of LGBTQIA+ students in computer science education. Using a map** study, we identified eight studies published in the past six years that focused on this public. We present strategies developed to adapt curricula and lectures to be more inclusive to LGBTQIA+ students and discuss challenges and opportunities for future research △ Less

Submitted 10 March, 2023; originally announced March 2023.

Diversity in Software Engineering: A Survey about Scientists from Underrepresented Groups

Authors: Ronnie de Souza Santos, Brody Stuart-Verner, Cleyton de Magalhaes

Abstract: Technology plays a crucial role in people's lives. However, software engineering discriminates against individuals from underrepresented groups in several ways, either through algorithms that produce biased outcomes or for the lack of diversity and inclusion in software development environments and academic courses focused on technology. This reality contradicts the history of software engineering… ▽ More Technology plays a crucial role in people's lives. However, software engineering discriminates against individuals from underrepresented groups in several ways, either through algorithms that produce biased outcomes or for the lack of diversity and inclusion in software development environments and academic courses focused on technology. This reality contradicts the history of software engineering, which is filled with outstanding scientists from underrepresented groups who changed the world with their contributions to the field. Ada Lovelace, Alan Turing, and Clarence Ellis are only some individuals who made significant breakthroughs in the area and belonged to the population that is so underrepresented in undergraduate courses and the software industry. Previous research discusses that women, LGBTQIA+ people, and non-white individuals are examples of students who often feel unwelcome and ostracized in software engineering. However, do they know about the remarkable scientists that came before them and that share background similarities with them? Can we use these scientists as role models to motivate these students to continue pursuing a career in software engineering? In this study, we present the preliminary results of a survey with 128 undergraduate students about this topic. Our findings demonstrate that students' knowledge of computer scientists from underrepresented groups is limited. This creates opportunities for investigations on fostering diversity in software engineering courses using strategies exploring computer science's history. △ Less

Submitted 6 May, 2023; v1 submitted 10 March, 2023; originally announced March 2023.

Benefits and Limitations of Remote Work to LGBTQIA+ Software Professionals

Authors: Ronnie de Souza Santos, Cleyton Magalhaes, Paul Ralph

Abstract: Background. The mass transition to remote work amid the COVID-19 pandemic profoundly affected software professionals, who abruptly shifted into ostensibly temporary home offices. The effects of this transition on these professionals are complex, depending on the particularities of the context and individuals. Recent studies advocate for remote structures to create opportunities for many equity-des… ▽ More Background. The mass transition to remote work amid the COVID-19 pandemic profoundly affected software professionals, who abruptly shifted into ostensibly temporary home offices. The effects of this transition on these professionals are complex, depending on the particularities of the context and individuals. Recent studies advocate for remote structures to create opportunities for many equity-deserving groups; however, remote work can also be challenging for some individuals, such as women and individuals with disabilities. Objective. This study aims to investigate the effects of remote work on LGBTQIA+ software professionals. Method. Grounded theory methodology was applied based on information collected from two main sources: a survey questionnaire with a sample of 57 LGBTQIA+ software professionals and nine follow-up interviews with individuals from this sample. This sample included professionals of different genders, ethnicities, sexual orientations, and levels of experience. Findings. Our findings demonstrate that (1) remote work benefits LGBTQIA+ people by increasing security and visibility; (2) remote work harms LGBTQIA+ software professionals through isolation and invisibility; (3) the benefits outweigh the drawbacks; (4) the drawbacks can be mitigated by supportive measures developed by software companies. Conclusion. This paper investigated how remote work can affect LGBTQIA+ software professionals and presented a set of recommendations on how software companies can address the benefits and limitations associated with this work model. In summary, we concluded that remote work is crucial in increasing diversity and inclusion in the software industry. △ Less

Submitted 4 June, 2023; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: 10 pages

Magnetic impurities in a charge-ordered background

Authors: Sebastião dos Anjos Sousa-Júnior, Raimundo R. dos Santos, Natanael C. Costa

Abstract: We investigate how magnetic impurities may affect a system exhibiting charge-density wave (CDW) in its ground state. We consider a disordered Hubbard-Holstein model with a homogeneous electron-phonon interaction, but with a (randomly chosen) fraction of sites displaying a non-zero Coulomb repulsion, $U$, and perform state-of-the-art finite-temperature quantum Monte Carlo simulations. For a single… ▽ More We investigate how magnetic impurities may affect a system exhibiting charge-density wave (CDW) in its ground state. We consider a disordered Hubbard-Holstein model with a homogeneous electron-phonon interaction, but with a (randomly chosen) fraction of sites displaying a non-zero Coulomb repulsion, $U$, and perform state-of-the-art finite-temperature quantum Monte Carlo simulations. For a single magnetic impurity, charge-charge correlations hamper the spin-spin ones around the repulsive site, thus requiring a strong enough value of $U$ to create non-negligible antiferromagnetic (AFM) correlations. As the number of magnetic impurities increases, these AFM correlations become deleterious to CDW order and its features. First, the critical temperature is drastically reduced, and seems to vanish around 40$\%$ of impurities (for fixed $U/λ=2$), which we correlate with the classical percolation threshold. We also notice that just a small amount of disorder suffices to create a \textit{bad insulating} state, with the suppression of both Peierls and spin gaps, even within the charge-ordered phase. Finally, we have also found that pairing correlations are enhanced at large do**, driven by the competition between CDW and AFM tendencies. △ Less

Submitted 9 September, 2022; originally announced September 2022.

A note on higher rank descriptions of massless and massive spin-1 particles

Authors: D. Dalmazi, F. A. da Silva Barbosa, A. L. R. dos Santos

Abstract: The Maxwell theory can be written as a first order model with the help of a two-form auxiliary field, such master action allows the proof of duality between $1$-form and $D-3$ forms. Here we show that the replacement of the two-form auxiliary field by an arbitrary (non symmetric) rank-2 tensor leads to a new massless spin-1 dual theory in terms of a partially antisymmetric rank-3 tensor. In the ma… ▽ More The Maxwell theory can be written as a first order model with the help of a two-form auxiliary field, such master action allows the proof of duality between $1$-form and $D-3$ forms. Here we show that the replacement of the two-form auxiliary field by an arbitrary (non symmetric) rank-2 tensor leads to a new massless spin-1 dual theory in terms of a partially antisymmetric rank-3 tensor. In the massive spin-1 case we have a non symmetric generalization of the massive two-form theory (Kalb-Ramond). The coupling of the massive non symmetric spin-1 model to matter fields is investigated via master actions. We also show that massive models with severe discontinuity in their massless limit can also be obtained from Kaluza-Klein dimensional reduction of massless higher rank tensors which become Stueckelberg fields after the reduction. △ Less

Submitted 12 October, 2022; v1 submitted 15 June, 2022; originally announced June 2022.

Comments: 24 pages, no figures, comment on new vertices for massive spin-1 particles in the conclusion, introduction extended, added references

Magnetism and metal-insulator transitions in the Rashba-Hubbard model

Authors: Welberth Kennedy, Sebastião dos Anjos Sousa Júnior, Natanael C. Costa, Raimundo R. dos Santos

Abstract: The nature of metal-insulator and magnetic transitions is still a subject under intense debate in condensed matter physics. Amongst the many possible mechanisms, the interplay between electronic correlations and spin-orbit couplings is an issue of a great deal of interest, in particular when dealing with quasi-2D compounds. In view of this, here we use a Hartree-Fock approach to investigate how th… ▽ More The nature of metal-insulator and magnetic transitions is still a subject under intense debate in condensed matter physics. Amongst the many possible mechanisms, the interplay between electronic correlations and spin-orbit couplings is an issue of a great deal of interest, in particular when dealing with quasi-2D compounds. In view of this, here we use a Hartree-Fock approach to investigate how the Rashba spin-orbit coupling, $V_\text{SO}$, affects the magnetic ordering provided by a Hubbard interaction, $U$, on a square lattice. At half-filling, we have found a sequence of transitions for increasing $V_\text{SO}$: from a Mott insulator to a metallic antiferromagnet, and then to a paramagnetic Rashba metal. Also, our results indicate that the Rashba coupling favors magnetic striped phases in the doped regime. By analyzing spectral properties, we associate the rearrangement of the magnetic ordering with the emerging chirality created by the spin-orbit coupling. Our findings provide insights towards clarifying the competition between these tendencies. △ Less

Submitted 17 May, 2022; originally announced May 2022.

A Multi-Objective Model for Thesis Defence Scheduling

Authors: João Almeida, Daniel Rebelo dos Santos, José Rui Figueira

Abstract: We address the thesis defence scheduling problem, a critical academic scheduling management process, which has been overshadowed in the literature by its counterparts, course timetabling and exam scheduling. Specifically, the single defence assignment type of thesis defence scheduling problems, where each committee is assigned to a single defence, scheduled for a specific day, hour and room. We fo… ▽ More We address the thesis defence scheduling problem, a critical academic scheduling management process, which has been overshadowed in the literature by its counterparts, course timetabling and exam scheduling. Specifically, the single defence assignment type of thesis defence scheduling problems, where each committee is assigned to a single defence, scheduled for a specific day, hour and room. We formulate a multi-objective mixed-integer linear programming model, which aims to be a general representation of the problem mentioned above, and that can, therefore, be applied to a broader set of cases than other models present in the literature, which have a focus on the characteristics of their universities. We introduce a new decision variable, propose constraint formulations that are not policy specific, and offer new takes on the more common objectives seen in the literature. We also include new objective functions based on our experience with the problem at our university. We also propose a two-stage solution approach. The first stage is employed to find the number of schedulable defences, enabling the optimisation of instances with unschedulable defences. The second stage is an implementation of the augmented e-constraint method, which allows for the search of a set of different and non-dominated solutions while skip** redundant iterations. A novel instance generator for thesis scheduling problems is presented. Its main benefit is the generation of the availability of committee members and rooms in availability and unavailability blocks, resembling their real-world counterparts. A set of 96 randomly generated instances of varying sizes is solved and analysed. The proposed method can find the optimal number of schedulable defences and present non-dominated solutions within the set time limits for every tested instance. △ Less

Submitted 16 May, 2022; originally announced May 2022.

Comments: 45 pages, 12 figures

Quantifying protocols for safe school activities

Authors: Juliano Genari, Guilherme Tegoni Goedert, Sergio H. A. Lira, Krerley Oliveira, Adriano Barbosa, Allysson Lima, Jose Augusto Silva, Hugo Oliveira, Maurıcio Maciel, Ismael Ledoino, Lucas Resende, Edmilson Roque dos Santos, Dan Marchesin, Claudio J. Struchiner, Tiago Pereira

Abstract: By the peak of COVID-19 restrictions on April 8, 2020, up to 1.5 billion students across 188 countries were by the suspension of physical attendance in schools. Schools were among the first services to reopen as vaccination campaigns advanced. With the emergence of new variants and infection waves, the question now is to find safe protocols for the continuation of school activities. We need to und… ▽ More By the peak of COVID-19 restrictions on April 8, 2020, up to 1.5 billion students across 188 countries were by the suspension of physical attendance in schools. Schools were among the first services to reopen as vaccination campaigns advanced. With the emergence of new variants and infection waves, the question now is to find safe protocols for the continuation of school activities. We need to understand how reliable these protocols are under different levels of vaccination coverage, as many countries have a meager fraction of their population vaccinated, including Uganda where the coverage is about 8\%. We investigate the impact of face-to-face classes under different protocols and quantify the surplus number of infected individuals in a city. Using the infection transmission when schools were closed as a baseline, we assess the impact of physical school attendance in classrooms with poor air circulation. We find that (i) resuming school activities with people only wearing low-quality masks leads to a near fivefold city-wide increase in the number of cases even if all staff is vaccinated, (ii) resuming activities with students wearing good-quality masks and staff wearing N95s leads to about a threefold increase, (iii) combining high-quality masks and active monitoring, activities may be carried out safely even with low vaccination coverage. These results highlight the effectiveness of good mask-wearing. Compared to ICU costs, high-quality masks are inexpensive and can help curb the spreading. Classes can be carried out safely, provided the correct set of measures are implemented. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Comments: JG and GTG contributed equally. KO and SL collected data; AB, TV, AL, JAS and HO developed the CMS. MM extracted and organised the municipal databases. MM and HO also built the city's social graph from databases. GTG, JG and IL wrote the agent-based model; IL, LR, and ERS processed the data and performed the model calibration. All authors performed research and wrote the manuscript

LaMDA: Language Models for Dialog Applications

Authors: Romal Thoppilan, Daniel De Freitas, Jamie Hall, Noam Shazeer, Apoorv Kulshreshtha, Heng-Tze Cheng, Alicia **, Taylor Bos, Leslie Baker, Yu Du, YaGuang Li, Hongrae Lee, Huaixiu Steven Zheng, Amin Ghafouri, Marcelo Menegali, Yan** Huang, Maxim Krikun, Dmitry Lepikhin, James Qin, Dehao Chen, Yuanzhong Xu, Zhifeng Chen, Adam Roberts, Maarten Bosma, Vincent Zhao , et al. (35 additional authors not shown)

Abstract: We present LaMDA: Language Models for Dialog Applications. LaMDA is a family of Transformer-based neural language models specialized for dialog, which have up to 137B parameters and are pre-trained on 1.56T words of public dialog data and web text. While model scaling alone can improve quality, it shows less improvements on safety and factual grounding. We demonstrate that fine-tuning with annotat… ▽ More We present LaMDA: Language Models for Dialog Applications. LaMDA is a family of Transformer-based neural language models specialized for dialog, which have up to 137B parameters and are pre-trained on 1.56T words of public dialog data and web text. While model scaling alone can improve quality, it shows less improvements on safety and factual grounding. We demonstrate that fine-tuning with annotated data and enabling the model to consult external knowledge sources can lead to significant improvements towards the two key challenges of safety and factual grounding. The first challenge, safety, involves ensuring that the model's responses are consistent with a set of human values, such as preventing harmful suggestions and unfair bias. We quantify safety using a metric based on an illustrative set of human values, and we find that filtering candidate responses using a LaMDA classifier fine-tuned with a small amount of crowdworker-annotated data offers a promising approach to improving model safety. The second challenge, factual grounding, involves enabling the model to consult external knowledge sources, such as an information retrieval system, a language translator, and a calculator. We quantify factuality using a groundedness metric, and we find that our approach enables the model to generate responses grounded in known sources, rather than responses that merely sound plausible. Finally, we explore the use of LaMDA in the domains of education and content recommendations, and analyze their helpfulness and role consistency. △ Less

Submitted 10 February, 2022; v1 submitted 20 January, 2022; originally announced January 2022.

The 2D attractive Hubbard model and the BCS-BEC crossover

Authors: Rodrigo A. Fontenele, Natanael C. Costa, Raimundo R. dos Santos, Thereza Paiva

Abstract: Recent experiments with ultracold fermionic atoms in optical lattices have provided a tuneable and clean realization of the attractive Hubbard model (AHM). In view of this, several physical properties may be thoroughly studied across the crossover between weak (Bardeen-Cooper-Schrieffer, BCS) and strong (Bose-Einstein condensation, BEC) couplings. Here we report on extensive determinant Quantum Mo… ▽ More Recent experiments with ultracold fermionic atoms in optical lattices have provided a tuneable and clean realization of the attractive Hubbard model (AHM). In view of this, several physical properties may be thoroughly studied across the crossover between weak (Bardeen-Cooper-Schrieffer, BCS) and strong (Bose-Einstein condensation, BEC) couplings. Here we report on extensive determinant Quantum Monte Carlo (DQMC) studies of the AHM on a square lattice, from which several different quantities have been calculated and should be useful as a roadmap to experiments. We have obtained a detailed phase diagram for the critical superconducting temperature, $T_c$, in terms of the band filling, $\ave{n}$, and interaction strength, $U$, from which we pinpoint a somewhat wide region $|U|/t \approx 5 \pm 1$ ($t$ is the hop** amplitude) and $\ave{n} \approx 0.79 \pm 0.09$ leading to a maximum $T_c \approx 0.16 t$. Two additional temperature scales, namely pairing, $T_p$, and degeneracy, $T_d$, have been highlighted: the former sets the scale for pair formation (believed to be closely related to the scale for the gap of spin excitations in cuprates), while the latter sets the scale for dominant quantum effects. Our DQMC data for the distribution of doubly occupied sites, for the momentum distribution function, and for the quasiparticle weight show distinctive features on both sides of the BCS-BEC crossover, being also suggestive of an underlying crossover between Fermi- and non-Fermi liquid behaviors. △ Less

Submitted 6 January, 2022; originally announced January 2022.

Comments: 9 pages, 12 figures

Hamiltonian analysis and positivity of a new massive spin-2 model

Authors: Alessandro L. R. dos Santos, Denis Dalmazi, Wayne de Paula

Abstract: Recently a new model has been proposed to describe free massive spin-2 particles in $D$ dimensions in terms of a non symmetric rank-2 tensor $e_{μν}$ and a mixed symmetry tensor $B^{μ[αβ]}$. The model is invariant under linearized diffeomorphisms without Stueckelberg fields. It resembles a spin-2 version of the topologically massive spin-1 BF model (Cremmer-Scherk model). Here we apply the Dirac-B… ▽ More Recently a new model has been proposed to describe free massive spin-2 particles in $D$ dimensions in terms of a non symmetric rank-2 tensor $e_{μν}$ and a mixed symmetry tensor $B^{μ[αβ]}$. The model is invariant under linearized diffeomorphisms without Stueckelberg fields. It resembles a spin-2 version of the topologically massive spin-1 BF model (Cremmer-Scherk model). Here we apply the Dirac-Bergmann procedure in order to identify all Hamiltonian constraints and perform a complete counting of degrees of freedom. In $D=3+1$ we find 5 degrees of freedom corresponding to helicities $\pm{2}$, $\pm{1}$, $0$ as expected. The positivity of the reduced Hamiltonian is proved by using spin projection operators. We have also proposed a parent action that establishes the duality between the Fierz-Pauli and the new model. The equivalence between gauge invariant correlation functions of both theories is demonstrated. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Comments: 18 pages, 0 figures

Unsupervised machine learning approaches to the $q$-state Potts model

Authors: Andrea Tirelli, Danyella O. Carvalho, Lucas A. Oliveira, J. P. Lima, Natanael C. Costa, Raimundo R. dos Santos

Abstract: In this paper with study phase transitions of the $q$-state Potts model, through a number of unsupervised machine learning techniques, namely Principal Component Analysis (PCA), $k$-means clustering, Uniform Manifold Approximation and Projection (UMAP), and Topological Data Analysis (TDA). Even though in all cases we are able to retrieve the correct critical temperatures $T_c(q)$, for $q = 3, 4$ a… ▽ More In this paper with study phase transitions of the $q$-state Potts model, through a number of unsupervised machine learning techniques, namely Principal Component Analysis (PCA), $k$-means clustering, Uniform Manifold Approximation and Projection (UMAP), and Topological Data Analysis (TDA). Even though in all cases we are able to retrieve the correct critical temperatures $T_c(q)$, for $q = 3, 4$ and $5$, results show that non-linear methods as UMAP and TDA are less dependent on finite size effects, while still being able to distinguish between first and second order phase transitions. This study may be considered as a benchmark for the use of different unsupervised machine learning algorithms in the investigation of phase transitions. △ Less

Submitted 18 March, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: Added computation of critical exponents; exposition improved