SearcharxivSearch

arXiv subjects

Steve Haupt

Publications and source records attributed to Steve Haupt.

3 recordsLinked to original sources

DepWareTrans: Dependency-Aware Incremental Repository Migration across Co-executable Languages

Repository-level code translation is critical for modernizing legacy systems, yet existing approaches based on large language models (LLMs) operate at the file level and fail to scale to codebases with complex inter-file dependencies. This limitation is evident in our industrial setting, where we aim to migrate a production repository (STAR) from Java to Kotlin, but file-level approaches produce fragmented results and fail to achieve end-to-end correctness. In this paper, we show that the primary cause of failure at the repository level is dependency inconsistency. Through an empirical study on open-source and industrial systems, we find that most errors arise from unresolved cross-file dependencies that cannot be effectively addressed by iterative feedback alone. We propose a dependency-aware incremental migration framework that elevates the unit of translation from individual files to dependency-consistent batches. Our approach constructs a dependency graph, groups interdependent files, and performs batched translation with iterative compile- and test-driven validation. We evaluate our method on a 51K line of code (LOC) industrial system and multiple repositories across interoperable language pairs (Java-Kotlin, Java-Scala, and C#-F#). On the STAR repository, file-level approaches achieve 38.16% compilation and 9.39% test success, whereas our approach achieves 100% compilation and test success across the evaluated settings, converging within a small number of iterations. These results show that dependency-aware batching improves scalability and reliability in repository-level code translation.

cs.SE

Nonequilibrium thermodynamics and optimal cooling of a dilute atomic gas

Characterizing and optimizing thermodynamic processes far from equilibrium is a challenge. This is especially true for nanoscopic systems made of few particles. We here theoretically and experimentally investigate the nonequilibrium dynamics of a gas of few noninteracting Cesium atoms confined in a nonharmonic optical dipole trap and exposed to degenerate Raman sideband cooling pulses. We determine the axial phase-space distribution of the atoms after each Raman cooling pulse by tracing the evolution of the gas with position-resolved fluorescence imaging. We evaluate from it the entropy production and the statistical length between each cooling steps. A single Raman pulse leads to a nonequilibrium state that does not thermalize on its own, due to the absence of interparticle collisions. Thermalization may be achieved by combining free phase-space evolution and trains of cooling pulses. We minimize the entropy production to a target thermal state to specify the optimal spacing between a sequence of equally spaced pulses and achieve in this way optimal thermalization. We finally use the statistical length to verify a refined version of the second law of thermodynamics. Altogether, these findings provide a general, theoretical and experimental, framework to analyze and optimize far-from-equilibrium processes of few-particle systems.

cond-mat.quant-gas

Controlled doping of a bosonic quantum gas with single neutral atoms

We report on the experimental doping of a $^{87}$Rubidium (Rb) Bose-Einstein condensate (BEC) with individual neutral $^{133}$Cesium (Cs) atoms. We discuss the experimental tools and procedures to facilitate Cs-Rb interaction. First, we use degenerate Raman side-band cooling of the impurities to enhance the immersion efficiency for the impurity in the quantum gas. We identify the immersed fraction of Cs impurities from the thermalization of Cs atoms upon impinging on a BEC, where elastic collisions lead to a localization of Cs atoms in the Rb cloud. Second, further enhancement of the immersion probability is obtained by localizing the Cs atoms in a species-selective optical lattice and subsequent transport into the Rb cloud. Here, impurity-BEC interaction is monitored by position and time resolved three-body loss of Cs impurities immersed into the BEC. This combination of experimental methods allows for the controlled doping of a BEC with neutral impurity atoms, paving the way to impurity aided probing and coherent impurity-quantum bath interaction.

cond-mat.quant-gas