Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
Vision-based swimmer and drowning detection systems, built primarily on lightweight YOLO architectures, have achieved measurable gains in accuracy while shrinking model size for resource-constrained edge hardware. However, Field-Programmable Gate Array (FPGA) accelerators hosting these models continue to rely on conventional logic synthesis, leaving a hardware-level optimization layer unaddressed even as pool and beach terminals remain constrained by strict power budgets. This paper proposes a conceptual framework applying AI-driven logic synthesis, specifically Reinforcement Learning-based And-Inverter Graph rewriting, Graph Neural Network-based Power-Performance-Area (PPA) prediction, and Large Circuit Model-based translation, to swimmer detection accelerator design. The framework maps each methodology to specific design stages, incorporates domain-specific constraints like safety-critical verification and outdoor power budgets, and compares them against practices in existing FPGA-based implementations. The analysis indicates current accelerator optimization concentrates entirely at the model level, identifying gate-level synthesis as an unexplored opportunity for power and area efficiency requiring future empirical validation.
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
This state-of-practice investigation was performed using a literature review followed by a multiple-case study approach and presents how inconsistency between managerial strategies and execution can lead to failure by means of a behavioral framework.
Carmine Giardino, Xiaofeng Wang, P. Abrahamsson· International Conference on...· 175 citations· ⚡19
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
It is found that roles of MVPs in startups were not fully aware by entrepreneurs, and entrepreneurs should consider a systematic approach to fully explore the value of MVP, as a multiple facet product (MFP).
Anh Nguyen-Duc, P. Abrahamsson· International Conference on...· 93 citations· ⚡9
It is found that what perceived as biggest challenges by software startups do vary across different life cycle stages, even though its significance decreases when the learning focuses of the startups move from problem to solution and their products mature.
Xiaofeng Wang, Henry Edison, Sohaib Shahid Bajwa et al.· International Conference on...· 62 citations· ⚡6
Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoptio...
A. Marchenko, P. Abrahamsson· Agile Conference· 59 citations· ⚡11
Related blog posts
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.