Selected work

Representative Papers

City formation by dual migration of firms and workers

Nov 09, 2023

This study investigates how bidirectional migration—of both firms and workers—jointly drives urban formation, moving beyond conventional models that consider only worker mobility. Method: We develop an extended new economic geography model that simultaneously incorporates firm relocation based on interregional real profit differentials and worker migration driven by real wage differentials. Using dynamic system modeling, stability analysis, and numerical simulations, we examine spatial equilibrium outcomes under varying transport costs. Contribution/Results: We find that a homogeneous spatial configuration becomes unstable as transport costs decline, spontaneously evolving into a polycentric urban structure. Crucially, the number of emergent cities decreases monotonically with falling transport costs. This reveals a novel mechanism of co-agglomeration driven by strategic interactions between firms and workers—distinct from unidirectional agglomeration forces—and yields testable theoretical predictions regarding the endogenous evolution of regional spatial structure.

1 citationsRead paper

Affordance-Based Manipulation Planning with Text Goals and Sim-to-Real Generalisation via Real-to-Sim Image Conversion

Jul 12, 2026

This work addresses the challenge of enabling robots to reliably plan and execute tasks from natural language instructions in complex, dynamic environments with occlusions, while achieving effective sim-to-real transfer. To this end, the authors propose a planning framework that integrates functional affordance recognition with visual action-effect prediction, leveraging visual forward reasoning to anticipate future states. A multimodal text-image matching module is introduced to evaluate the consistency between candidate action sequences and the linguistic goal. Furthermore, a real-to-sim image stylization mechanism is designed to enhance perceptual robustness in real-world settings. Experimental results demonstrate that the proposed approach successfully accomplishes challenging manipulation tasks on both simulated and physical robot platforms, significantly improving language-conditioned generalization from simulation to reality.

0 citationsRead paper

Contingent Claim Valuation under Increasing Profit, Strong Arbitrage, and Arbitrage of the First Kind

Mar 30, 2026

This study addresses the superhedging pricing of contingent claims in financial markets admitting strong arbitrage opportunities, such as those yielding increasing profit or arbitrage of the first kind. By integrating superhedging theory, boundary behavior analysis of stochastic processes, and a classification framework for arbitrage, the paper systematically demonstrates for the first time that strong arbitrage can lower option prices. It establishes a theoretical link between reflected boundaries in asset price dynamics and corporate mechanisms of equity issuance and repurchase. The main contribution lies in proving that, under asset price models with reflection at the boundary, the superhedging price of a contingent claim coincides with the price of a corresponding knock-out option. Furthermore, it shows that corporate capital structure adjustments naturally generate processes with increasing profit, thereby offering a novel perspective on derivative pricing in markets featuring arbitrage.

0 citationsRead paper

Design of an In-Pipe Robot with Contact-Angle-Guided Kinematic Decoupling for Crosstalk-Suppressed Locomotion

Mar 28, 2026

This study addresses the challenge of performance interference between posture adjustment and propulsion in pipe robots navigating complex three-dimensional pipelines, caused by motion coupling. To resolve this, the authors propose a V-shaped robot architecture that physically decouples rolling and propulsion through a separated layout of joint axes and wheel mechanisms, enabling full-wheel drive and active roll control with only two motors. A novel contact-angle-guided kinematic decoupling mechanism is introduced, supported by a drive transmission matrix and geometric transmission model, which reveals the contact angle as the critical parameter for suppressing cross-coupling effects. Based on this insight, design guidelines for structural optimization are established. Experimental validation demonstrates nearly constant propulsion torque during rolling maneuvers and 100% success over more than ten round-trip traversals through multi-material pipelines containing double bends.

0 citationsRead paper

Cross-Project Flakiness: A Case Study of the OpenStack Ecosystem

Feb 10, 2026

Test flakiness severely undermines developer trust, CI reliability, and resource efficiency in large-scale software ecosystems, yet its cross-project manifestations remain underexplored. This study presents the first empirical analysis of test behavior across 649 projects in the OpenStack ecosystem, leveraging extensive CI logs, execution records, and a mixed-methods approach combining quantitative statistics with qualitative root-cause analysis. The work systematically identifies and quantifies two novel forms of flakiness: cross-project and inconsistent flaky tests. Findings reveal 1,535 cross-project and 1,105 inconsistent flaky tests, affecting 55% of the projects. Notably, 70% of unit tests are impacted by cross-project flakiness, significantly prolonging code review cycles and increasing resource consumption—challenging the long-held assumption that unit tests are inherently isolated.

0 citationsRead paper

Recent publications

Latest Papers

Affordance-Based Manipulation Planning with Text Goals and Sim-to-Real Generalisation via Real-to-Sim Image Conversion

Jul 12, 2026

This work addresses the challenge of enabling robots to reliably plan and execute tasks from natural language instructions in complex, dynamic environments with occlusions, while achieving effective sim-to-real transfer. To this end, the authors propose a planning framework that integrates functional affordance recognition with visual action-effect prediction, leveraging visual forward reasoning to anticipate future states. A multimodal text-image matching module is introduced to evaluate the consistency between candidate action sequences and the linguistic goal. Furthermore, a real-to-sim image stylization mechanism is designed to enhance perceptual robustness in real-world settings. Experimental results demonstrate that the proposed approach successfully accomplishes challenging manipulation tasks on both simulated and physical robot platforms, significantly improving language-conditioned generalization from simulation to reality.

0 citationsRead paper

Contingent Claim Valuation under Increasing Profit, Strong Arbitrage, and Arbitrage of the First Kind

Mar 30, 2026

This study addresses the superhedging pricing of contingent claims in financial markets admitting strong arbitrage opportunities, such as those yielding increasing profit or arbitrage of the first kind. By integrating superhedging theory, boundary behavior analysis of stochastic processes, and a classification framework for arbitrage, the paper systematically demonstrates for the first time that strong arbitrage can lower option prices. It establishes a theoretical link between reflected boundaries in asset price dynamics and corporate mechanisms of equity issuance and repurchase. The main contribution lies in proving that, under asset price models with reflection at the boundary, the superhedging price of a contingent claim coincides with the price of a corresponding knock-out option. Furthermore, it shows that corporate capital structure adjustments naturally generate processes with increasing profit, thereby offering a novel perspective on derivative pricing in markets featuring arbitrage.

0 citationsRead paper

Design of an In-Pipe Robot with Contact-Angle-Guided Kinematic Decoupling for Crosstalk-Suppressed Locomotion

Mar 28, 2026

This study addresses the challenge of performance interference between posture adjustment and propulsion in pipe robots navigating complex three-dimensional pipelines, caused by motion coupling. To resolve this, the authors propose a V-shaped robot architecture that physically decouples rolling and propulsion through a separated layout of joint axes and wheel mechanisms, enabling full-wheel drive and active roll control with only two motors. A novel contact-angle-guided kinematic decoupling mechanism is introduced, supported by a drive transmission matrix and geometric transmission model, which reveals the contact angle as the critical parameter for suppressing cross-coupling effects. Based on this insight, design guidelines for structural optimization are established. Experimental validation demonstrates nearly constant propulsion torque during rolling maneuvers and 100% success over more than ten round-trip traversals through multi-material pipelines containing double bends.

0 citationsRead paper

Cross-Project Flakiness: A Case Study of the OpenStack Ecosystem

Feb 10, 2026

Test flakiness severely undermines developer trust, CI reliability, and resource efficiency in large-scale software ecosystems, yet its cross-project manifestations remain underexplored. This study presents the first empirical analysis of test behavior across 649 projects in the OpenStack ecosystem, leveraging extensive CI logs, execution records, and a mixed-methods approach combining quantitative statistics with qualitative root-cause analysis. The work systematically identifies and quantifies two novel forms of flakiness: cross-project and inconsistent flaky tests. Findings reveal 1,535 cross-project and 1,105 inconsistent flaky tests, affecting 55% of the projects. Notably, 70% of unit tests are impacted by cross-project flakiness, significantly prolonging code review cycles and increasing resource consumption—challenging the long-held assumption that unit tests are inherently isolated.

0 citationsRead paper

Staying or Leaving? How Job Satisfaction, Embeddedness and Antecedents Predict Turnover Intentions of Software Professionals

Nov 30, 2025

This study investigates the formation mechanisms underlying voluntary turnover intention among software professionals. Drawing on geographically diverse cross-sectional survey data, we develop a partial least squares structural equation modeling (PLS-SEM) framework that integrates psychological and organizational constructs, explicitly distinguishing reflective from formative measurement models. We systematically examine direct and indirect pathways linking antecedents—job quality, personality traits, technological attitude, and perceived organizational justice—to mediators—job satisfaction, job embeddedness, and work–life balance—and ultimately to turnover intention. Results indicate that both job satisfaction and job embeddedness significantly and negatively predict turnover intention; work–life balance exerts an indirect effect on turnover intention via job satisfaction; and perceived organizational justice exhibits the strongest positive effect on job embeddedness. The study advances theory by elucidating a multi-level causal chain—from distal antecedents through proximal mediators to retention decisions—offering empirically grounded insights for enhancing software talent retention.

0 citationsRead paper