-
Magnetic Order in Honeycomb Layered U$_2$Pt$_6$Ga$_{15}$ Studied by Resonant X-ray and Neutron Scatterings
Authors:
Chihiro Tabata,
Fusako Kon,
Kyugo Ota,
Ruo Hibino,
Yuji Matsumoto,
Hiroshi Amitsuka,
Hironori Nakao,
Yoshinori Haga,
Koji Kaneko
Abstract:
Antiferromagnetic (AF) order of U$_{2}$Pt$_{6}$Ga$_{15}$ with the ordering temperature $T_{\rm N}$ = 26 K was investigated by resonant X-ray scattering and neutron diffraction on single crystals. This compound possesses a unique crystal structure in which uranium ions form honeycomb layers and then stacks along the $c$-axis with slight offset, which gives rise to a stacking disorder. The AF order…
▽ More
Antiferromagnetic (AF) order of U$_{2}$Pt$_{6}$Ga$_{15}$ with the ordering temperature $T_{\rm N}$ = 26 K was investigated by resonant X-ray scattering and neutron diffraction on single crystals. This compound possesses a unique crystal structure in which uranium ions form honeycomb layers and then stacks along the $c$-axis with slight offset, which gives rise to a stacking disorder. The AF order can be described with the propagation vector of $q = (1/6, 1/6, 0)$ in the hexagonal notation. The ordered magnetic moments orient perpendicular to the honeycomb layers, indicating a collinear spin structure consistent with Ising-like anisotropy. The magnetic reflections are found to be broadened along $c^*$ indicating that the stacking disorder results in anisotropic correlation lengths. The semi-quantitative analysis of neutron diffraction intensity, combined with group theory considerations based on the crystallographic symmetry, suggests a zig-zag type magnetic structure for the AF ground state, in which the AF coupling runs perpendicular to the stacking offset, characterized as $q = (1, 0, 0)_{\rm orth}$. The realization of the zig-zag magnetic structure implies the presence of frustrating intralayer exchange interactions involving both ferromagnetic (FM) first-neighbor and AF second and third-neighbor interactions in this compound.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Polarized Neutron Diffraction Study on UPt$_{2}$Si$_{2}$
Authors:
Fusako Kon,
Chihiro Tabata,
Hiraku Saito,
Taro Nakajima,
Hiroyuki Hidaka,
Tatsuya Yanagisawa Hiroshi Amitsuka
Abstract:
We investigated the magnetic structure of the antiferromagnetic (AFM) ordered state ($T_{\rm N} \sim$ 34 K) in tetragonal UPt$_{2}$Si$_{2}$ using polarized and unpolarized neutron diffraction. Previous neutron scattering studies reported that this system possesses a simple AFM structure with a propagation vector, $Q = 0$, and the ordered magnetic moments aligned along the $c$-axis. By contrast, ou…
▽ More
We investigated the magnetic structure of the antiferromagnetic (AFM) ordered state ($T_{\rm N} \sim$ 34 K) in tetragonal UPt$_{2}$Si$_{2}$ using polarized and unpolarized neutron diffraction. Previous neutron scattering studies reported that this system possesses a simple AFM structure with a propagation vector, $Q = 0$, and the ordered magnetic moments aligned along the $c$-axis. By contrast, our latest resonant X-ray scattering (RXS) experiments have revealed that the magnetic structure is modulated by the charge-density-wave (CDW) order, which emerges in one of the two Pt atomic layers in the unit cell below $\sim$ 320 K. The modulation is characterized by a transverse wave in the $c$-plane, with the propagation vector of the CDW order, $q_{\rm CDW } =$ ($\sim$0.42, 0, 0). In the present study using neutron scattering, we observed that the superlattice reflections specified by $q_{\rm CDW }$ develop below $T_{\rm N}$, in addition to the magnetic reflections with $Q = 0$, thereby further confirming the presence of modulation in the AFM structure of this system. From detailed analyses, we revealed that the amplitude of the transverse-wave magnetic modulation to be 0.72(2) $μ_{\rm B}$/U, which is a piece of quantitative information that could not be obtained through the RXS experiments. This implies that the CDW drives the ordered magnetic moments to be tilted up to 20$^\circ$ in the AFM state. The observations strongly suggest that the magnetism of UPt$_{2}$Si$_{2}$ is heavily influenced by the hybridization effects between 5f electrons of U and 5d electrons of Pt.
△ Less
Submitted 13 January, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Software Startups -- A Research Agenda
Authors:
Michael Unterkalmsteiner,
Pekka Abrahamsson,
Xiaofeng Wang,
Anh Nguyen-Duc,
Syed M. Ali Shah,
Sohaib Shahid Bajwa,
Guido H. Baltes,
Kieran Conboy,
Eoin Cullina,
Denis Dennehy,
Henry Edison,
Carlos Fernández-Sánchez,
Juan Garbajosa,
Tony Gorschek,
Eriks Klotins,
Laura Hokkanen,
Fabio Kon,
Ilaria Lunesu,
Michele Marchesi,
Lorraine Morgan,
Markku Oivo,
Christoph Selig,
Pertti Seppänen,
Roger Sweetman,
Pasi Tyrväinen
, et al. (2 additional authors not shown)
Abstract:
Software startup companies develop innovative, software-intensive products within limited time frames and with few resources, searching for sustainable and scalable business models. Software startups are quite distinct from traditional mature software companies, but also from micro-, small-, and medium-sized enterprises, introducing new challenges relevant for software engineering research. This p…
▽ More
Software startup companies develop innovative, software-intensive products within limited time frames and with few resources, searching for sustainable and scalable business models. Software startups are quite distinct from traditional mature software companies, but also from micro-, small-, and medium-sized enterprises, introducing new challenges relevant for software engineering research. This paper's research agenda focuses on software engineering in startups, identifying, in particular, 70+ research questions in the areas of supporting startup engineering activities, startup evolution models and patterns, ecosystems and innovation hubs, human aspects in software startups, applying startup concepts in non-startup environments, and methodologies and theories for startup research. We connect and motivate this research agenda with past studies in software startup research, while pointing out possible future directions. While all authors of this research agenda have their main background in Software Engineering or Computer Science, their interest in software startups broadens the perspective to the challenges, but also to the opportunities that emerge from multi-disciplinary research. Our audience is therefore primarily software engineering researchers, even though we aim at stimulating collaborations and research that crosses disciplinary boundaries. We believe that with this research agenda we cover a wide spectrum of the software startup industry current needs.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
In-plane anisotropy of the single-$q$ and multiple-$q$ ordered phases in the antiferromagnetic metal CeRh$_2$Si$_2$ unveiled by the bulk measurements under uniaxial stress and neutron scattering
Authors:
Hiraku Saito,
Fusako Kon,
Hiroyuki Hidaka,
Hiroshi Amitsuka,
Cho Kwanghee,
Masato Hagihala,
Takashi Kamiyama,
Shinichi Itoh,
Taro Nakajima
Abstract:
We performed magnetization, resistivity, and neutron diffraction measurements under uniaxial stress applied along [1-10] direction on the tetragonal magnet CeRh$_2$Si$_2$ with commensurate magnetic orders.
CeRh$_2$Si$_2$ has two successive antiferromagnetic (AF) orders in zero magnetic field.
The high temperature phase (AF1 phase) has the magnetic modulation wave vector of…
▽ More
We performed magnetization, resistivity, and neutron diffraction measurements under uniaxial stress applied along [1-10] direction on the tetragonal magnet CeRh$_2$Si$_2$ with commensurate magnetic orders.
CeRh$_2$Si$_2$ has two successive antiferromagnetic (AF) orders in zero magnetic field.
The high temperature phase (AF1 phase) has the magnetic modulation wave vector of $q = (\frac{1}{2}, \frac{1}{2}, 0)$, and the low temperature phase (AF2 phase) is characterized by the four $q$-vectors of $q = (\frac{1}{2}, \frac{1}{2}, 0), (\frac{1}{2}, -\frac{1}{2}, 0), (\frac{1}{2}, \frac{1}{2}, \frac{1}{2})$, and $(\frac{1}{2}, -\frac{1}{2}, \frac{1}{2})$.
By measuring the uniaxial stress dependence of the magnetization, resistivity and the intensities of magnetic Bragg reflections, we confirmed that the AF1 phase has the single-$q$ magnetic order with two-fold rotational symmetry and the AF2 phase has the multi-$q$ magnetic order with four-fold rotational symmetry.
In order to understand the origin of multi-$q$ order of CeRh$_2$Si$_2$, we also performed inelastic neutron scattering measurement on the single crystal samples.
We found a magnetic excitation at the transfer energy $\hbar ω\sim$ 8 meV.
By applying the linear spin-wave theory, we found that the nearest and the next-nearest neighbor exchange interactions on the $ab$-plane, $J_1$ and $J_2$, are dominant in the AF2 phase.
However, the $J_1$-$J_2$ model cannot lift the degeneracy between the single-$q$ (AF1) and multi-$q$ (AF2) phases.
We suggest that it can be lifted by taking into account the biquadratic interaction derived from the perturbative expansion for the Kondo lattice Hamiltonian. [S. Hayami et al., Phys. Rev. B 95, 224424 (2017).
△ Less
Submitted 22 June, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Harmonizing DevOps Taxonomies -- Theory Operationalization and Testing
Authors:
Isaque Alves,
Jorge Pérez,
Jessica Díaz,
Daniel López-Fernández,
Manuel Pais,
Fabio Kon,
Carla Rocha
Abstract:
DevOps responds the growing need of companies to streamline the software development process and, thus, has experienced widespread adoption in the past years. However, the successful adoption of DevOps requires companies to address significant cultural and organizational changes. Understanding the organizational structure and characteristics of teams adopting DevOps is key, and comprehending the e…
▽ More
DevOps responds the growing need of companies to streamline the software development process and, thus, has experienced widespread adoption in the past years. However, the successful adoption of DevOps requires companies to address significant cultural and organizational changes. Understanding the organizational structure and characteristics of teams adopting DevOps is key, and comprehending the existing theories and representations of team taxonomies is critical to guide companies in a more systematic and structured DevOps adoption process. As there was no unified theory to explain the different topologies of DevOps teams, in previous work, we built a theory to represent the organizational structure and characteristics of teams adopting DevOps, harmonizing the existing knowledge. In this paper, we expand the theory-building in the context of DevOps Team Taxonomies. Our main contributions are presenting and executing the Operationalization and Testing phases for a continuously evolving theory on DevOps team structures. We operationalize the constructs and propositions that make up our theory to generate empirically testable hypotheses to confirm or disconfirm the theory. Specifically, we focus on the research operation side of the theory-research cycle: identifying propositions, deriving empirical indicators from constructs, establishing testable hypotheses, and testing them. We performed the operationalization and testing of the DevOps Team Taxonomies Theory, which resulted in an empirically verified and trustworthy theory. Our theory has 28 propositions representing this model that map properties to the constructs of our theory. The operationalization generated 34 testable hypotheses, and we thoroughly tested 11 of them. The testing has proved the effectiveness of the theoretical framework, while the operationalization of the constructs has enhanced the initial framework.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
The Next-Generation OS Process Abstraction
Authors:
Rodrigo Siqueira,
Nelson Lago,
Fabio Kon,
Dejan Milojičić
Abstract:
Operating Systems are built upon a set of abstractions to provide resource management and programming APIs for common functionality, such as synchronization, communication, protection, and I/O. The process abstraction is the bridge across these two aspects; unsurprisingly, research efforts pay particular attention to the process abstraction, aiming at enhancing security, improving performance, and…
▽ More
Operating Systems are built upon a set of abstractions to provide resource management and programming APIs for common functionality, such as synchronization, communication, protection, and I/O. The process abstraction is the bridge across these two aspects; unsurprisingly, research efforts pay particular attention to the process abstraction, aiming at enhancing security, improving performance, and supporting hardware innovations. However, given the intrinsic difficulties to implement modifications at the OS level, recent endeavors have not yet been widely adopted in production-oriented OSes. Still, we believe the current hardware evolution and new application requirements provide favorable conditions to change this trend. This paper evaluates recent research on OS process features identifying potential evolution paths. We derive a set of relevant process characteristics, and propose how to extend them as to benefit OSes and applications.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Recommended Guidelines for Effective MOOCs based on a Multiple-Case Study
Authors:
Eduardo Guerra,
Fabio Kon,
Paulo Lemos
Abstract:
Massive Open Online Courseware (MOOCs) appeared in 2008 and grew considerably in the past decade, now reaching millions of students and professionals all over the world. MOOCs do not replace other educational forms. Instead, they complement them by offering a powerful educational tool that can reach students that, otherwise, would not have access to that information. Nevertheless, designing and im…
▽ More
Massive Open Online Courseware (MOOCs) appeared in 2008 and grew considerably in the past decade, now reaching millions of students and professionals all over the world. MOOCs do not replace other educational forms. Instead, they complement them by offering a powerful educational tool that can reach students that, otherwise, would not have access to that information. Nevertheless, designing and implementing a successful MOOC is not straightforward. Simply recording traditional classes is an approach that does not work, since the conditions in which a MOOC student learns are very different from the conventional classroom. In particular, dropout rates in MOOCs are, normally, at least an order of magnitude higher than in conventional courses. In this paper, we analyze data from 7 successful MOOCs that have attracted over 150,000 students in the past years. The analysis led to the proposal of a set of guidelines to help instructors in designing more effective MOOCs. These results contribute to the existing body of knowledge in the field, bring new insights, and pose new questions for future research.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Catalogs of C and Python Antipatterns by CS1 Students
Authors:
Yorah Bosse,
Igor Scaliante Wiese,
Marco Aurélio Graciotto Silva,
Nelson Lago,
Leônidas de Oliveira Brandão,
David Redmiles,
Fabio Kon,
Marco A. Gerosa
Abstract:
Understanding students' programming misconceptions is critical. Doing so depends on identifying the reasons why students make errors when learning a new programming language. Knowing the misconceptions can help students to improve their reflection about their mistakes and also help instructors to design better teaching strategies. In this technical report, we propose catalogs of antipatterns for t…
▽ More
Understanding students' programming misconceptions is critical. Doing so depends on identifying the reasons why students make errors when learning a new programming language. Knowing the misconceptions can help students to improve their reflection about their mistakes and also help instructors to design better teaching strategies. In this technical report, we propose catalogs of antipatterns for two programming languages: C and Python. To accomplish this, we analyzed the codes of 166 CS1 engineering students when they were coding solutions to programming exercises. In our results, we catalog 41 CS1 antipatterns from 95 cataloged misconceptions in C and Python. These antipatterns were separated into three catalogs: C, Python, and antipatterns found in code using both programming languages. For each antipattern, we present code examples, students' solutions (if they are present), a possible solution to avoid the antipattern, among other information.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
The Organization of Software Teams in the Quest for Continuous Delivery: A Grounded Theory Approach
Authors:
Leonardo Leite,
Gustavo Pinto,
Fabio Kon,
Paulo Meirelles
Abstract:
Context: To accelerate time-to-market and improve customer satisfaction, software-producing organizations have adopted continuous delivery practices, impacting the relations between development and infrastructure professionals. Yet, no substantial literature has substantially tackled how the software industry structures the organization of development and infrastructure teams.
Objective: In this…
▽ More
Context: To accelerate time-to-market and improve customer satisfaction, software-producing organizations have adopted continuous delivery practices, impacting the relations between development and infrastructure professionals. Yet, no substantial literature has substantially tackled how the software industry structures the organization of development and infrastructure teams.
Objective: In this study, we investigate how software-producing organizations structure their development and infrastructure teams, specifically how is the division of labor among these groups and how they interact.
Method: After brainstorming with 7 DevOps experts to better formulate our research and procedures, we collected and analyzed data from 37 semi-structured interviews with IT professionals, following Grounded Theory guidelines.
Results: After a careful analysis, we identified four common organizational structures: (1) siloed departments, (2) classical DevOps, (3) cross-functional teams, and (4) platform teams. We also observed that some companies are transitioning between these structures.
Conclusion: The main contribution of this study is a theory in the form of a taxonomy that organizes the found structures along with their properties. This theory could guide researchers and practitioners to think about how to better structure development and infrastructure professionals in software-producing organizations.
△ Less
Submitted 23 June, 2021; v1 submitted 19 August, 2020;
originally announced August 2020.
-
A Survey of DevOps Concepts and Challenges
Authors:
Leonardo Leite,
Carla Rocha,
Fabio Kon,
Dejan Milojicic,
Paulo Meirelles
Abstract:
DevOps is a collaborative and multidisciplinary organizational effort to automate continuous delivery of new software updates while guaranteeing their correctness and reliability. The present survey investigates and discusses DevOps challenges from the perspective of engineers, managers, and researchers. We review the literature and develop a DevOps conceptual map, correlating the DevOps automatio…
▽ More
DevOps is a collaborative and multidisciplinary organizational effort to automate continuous delivery of new software updates while guaranteeing their correctness and reliability. The present survey investigates and discusses DevOps challenges from the perspective of engineers, managers, and researchers. We review the literature and develop a DevOps conceptual map, correlating the DevOps automation tools with these concepts. We then discuss their practical implications for engineers, managers, and researchers. Finally, we critically explore some of the most relevant DevOps challenges reported by the literature.
△ Less
Submitted 18 November, 2019; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Evaluating data-flow coverage in spectrum-based fault localization
Authors:
Henrique Lemos Ribeiro,
Higor Amario de Souza,
Roberto Paulo de Andrioli Araujo,
Marcos Lordello Chaim,
Fabio Kon
Abstract:
Background: Debugging is a key task during the software development cycle. Spectrum-based Fault Localization (SFL) is a promising technique to improve and automate debugging. SFL techniques use control-flow spectra to pinpoint the most suspicious program elements. However, data-flow spectra provide more detailed information about the program execution, which may be useful for fault localization. A…
▽ More
Background: Debugging is a key task during the software development cycle. Spectrum-based Fault Localization (SFL) is a promising technique to improve and automate debugging. SFL techniques use control-flow spectra to pinpoint the most suspicious program elements. However, data-flow spectra provide more detailed information about the program execution, which may be useful for fault localization. Aims: We evaluate the effectiveness and efficiency of ten SFL ranking metrics using data-flow spectra. Method: We compare the performance of data- and control-flow spectra for SFL using 163 faults from 5 real-world open source programs, which contain from 468 to 4130 test cases. The data- and control-flow spectra types used in our evaluation are definition-use associations (DUAs) and lines, respectively. Results: Using data-flow spectra, up to 50% more faults are ranked in the top-15 positions compared to control-flow spectra. Also, most SFL ranking metrics present better effectiveness using data-flow to inspect up to the top-40 positions. The execution cost of data-flow spectra is higher than control-flow, taking from 22 seconds to less than 9 minutes. Data-flow has an average overhead of 353% for all programs, while the average overhead for control-flow is of 102%. Conclusions: The results suggest that SFL techniques can benefit from using data-flow spectra to classify faults in better positions, which may lead developers to inspect less code to find bugs. The execution cost to gather data-flow is higher compared to control-flow, but it is not prohibitive. Moreover, data-flow spectra also provide information about suspicious variables for fault localization, which may improve the developers' performance using SFL.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture
Authors:
Eduardo Felipe Zambom Santana,
Ana Paula Chaves,
Marco Aurelio Gerosa,
Fabio Kon,
Dejan Milojicic
Abstract:
Making cities smarter help improve city services and increase citizens' quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms potentially support the development and integration of Smart City applications. However, the ICT community must overcome current significant technological and scient…
▽ More
Making cities smarter help improve city services and increase citizens' quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms potentially support the development and integration of Smart City applications. However, the ICT community must overcome current significant technological and scientific challenges before these platforms can be widely used. This paper surveys the state-of-the-art in software platforms for Smart Cities. We analyzed 23 projects with respect to the most used enabling technologies, as well as functional and non-functional requirements, classifying them into four categories: Cyber-Physical Systems, Internet of Things, Big Data, and Cloud Computing. Based on these results, we derived a reference architecture to guide the development of next-generation software platforms for Smart Cities. Finally, we enumerated the most frequently cited open research challenges, and discussed future opportunities. This survey gives important references for hel** application developers, city managers, system operators, end-users, and Smart City researchers to make project, investment, and research decisions.
△ Less
Submitted 23 July, 2017; v1 submitted 26 September, 2016;
originally announced September 2016.
-
Spectrum-based Software Fault Localization: A Survey of Techniques, Advances, and Challenges
Authors:
Higor A. de Souza,
Marcos L. Chaim,
Fabio Kon
Abstract:
Despite being one of the most basic tasks in software development, debugging is still performed in a mostly manual way, leading to high cost and low performance. To address this problem, researchers have studied promising approaches, such as Spectrum-based Fault Localization (SFL) techniques, which pinpoint program elements more likely to contain faults. This survey discusses the state-of-the-art…
▽ More
Despite being one of the most basic tasks in software development, debugging is still performed in a mostly manual way, leading to high cost and low performance. To address this problem, researchers have studied promising approaches, such as Spectrum-based Fault Localization (SFL) techniques, which pinpoint program elements more likely to contain faults. This survey discusses the state-of-the-art of SFL, including the different techniques that have been proposed, the type and number of faults they address, the types of spectra they use, the programs they utilize in their validation, the testing data that support them, and their use at industrial settings. Notwithstanding the advances, there are still challenges for the industry to adopt these techniques, which we analyze in this paper. SFL techniques should propose new ways to generate reduced sets of suspicious entities, combine different spectra to fine-tune the fault localization ability, use strategies to collect fine-grained coverage levels from suspicious coarser levels for balancing execution costs and output precision, and propose new techniques to cope with multiple-fault programs. Moreover, additional user studies are needed to understand better how SFL techniques can be used in practice. We conclude by presenting a concept map about topics and challenges for future research in SFL.
△ Less
Submitted 26 November, 2017; v1 submitted 14 July, 2016;
originally announced July 2016.
-
Perspectives on Software-Defined Networks: interviews with five leading scientists from the networking community
Authors:
Daniel M Batista,
Gordon Blair,
Fabio Kon,
Raouf Boutaba,
David Hutchison,
Raj Jain,
Ramachandran Ramjee,
Christian E Rothenberg
Abstract:
Software defined Networks (SDNs) have drawn much attention both from academia and industry over the last few years. Despite the fact that underlying ideas already exist through areas such as P2P applications and active networks (e.g. virtual topologies and dynamic changes of the network via software), only now has the technology evolved to a point where it is possible to scale the implementations,…
▽ More
Software defined Networks (SDNs) have drawn much attention both from academia and industry over the last few years. Despite the fact that underlying ideas already exist through areas such as P2P applications and active networks (e.g. virtual topologies and dynamic changes of the network via software), only now has the technology evolved to a point where it is possible to scale the implementations, which justifies the high interest in SDNs nowadays. In this article, the JISA Editors invite five leading scientists from three continents (Raouf Boutaba, David Hutchison, Raj Jain, Ramachandran Ramjee, and Christian Esteve Rothenberg) to give their opinions about what is really new in SDNs. The interviews cover whether big telecom and data center companies need to consider using SDNs, if the new paradigm is changing the way computer networks are understood and taught, and what are the open issues on the topic.
△ Less
Submitted 28 March, 2016;
originally announced March 2016.