Workshop Summary

In this second edition of the workshop, we invite researchers from the classical software engineering community and from quantum sciences to shape the future of this new interdisciplinary research area. The recently accepted DFG priority programme 2514 Quantum Software, Algorithms and Systems Concepts, Methods and Tools for the Quantum Software Stack pushes quantum software engineering on top of the research agenda

Data-driven Database Engineering at Snowflake

Snowflake’s cloud-native data platform processes billions of queries daily and scans petabytes of data, creating unique database engineering challenges. As a service-oriented platform, we rely on detailed query telemetry, workload replay, and staged rollouts to drive continuous engine innovation. This talk highlights two projects from our Berlin engineering team that exemplify this data-driven approach to database engineering. First, we examine how query telemetry and workload analysis informed the transformation of Snowflake’s analytical execution engine to handle transactional-scale throughput. Second, we explore the redesign of Snowflake’s dynamic join strategy, replacing a static method with a holistic, adaptive algorithm. Through rigorous testing, workload replay, and incremental rollouts, we ensured a smooth production transition for customers. By examining these case studies, we provide practical insights into the intersection of database research and large-scale system engineering. The lessons learned highlight how data-driven methods can effectively address complex engineering challenges in modern database systems, offering perspectives relevant to both academic researchers and industry practitioners

Total Recall? How Good Are Static Call Graphs Really?

Static call graphs are a fundamental building block of program analysis. However, differences in callgraph construction and the use of specific language features can yield unsoundness and imprecision. Call-graph analyses are evaluated using measures of precision and recall, but this is hard when a ground truth for real-world programs is generally unobtainable. We propose to use dynamic baselines based on fixed entry points and input corpora. The creation of this dynamic baseline is posed as an approximation of the ground truth—an optimization problem. We use manual extension and coverage-guided fuzzing for creating suitable input corpora. With these dynamic baselines, we study call-graph quality of multiple algorithms and implementations using four real-world Java programs. We find that our methodology provides insights into call-graph quality and how to measure it. We provide a novel methodology to advance the field of static program analysis as we assess the computation of one of its core data structures—the call graph

Beyond Big Data — The Ocient Hyperscale Data Warehouse

The Ocient Hyperscale Data Warehouse is a massively parallel processing (MPP) system designed to efficiently store and analyze petabyte-scale datasets. Ocient utilizes a compute-adjacent storage architecture (CASA), where storage and compute resources are co-located to minimize data movement, thus enhancing query performance. We present the system architecture and dive deeper into data storage in segments, which do not only store columnar table data but also index information. This design, combined with parallel query processing, allows for high throughput and low-latency execution. Beyond that, the paper highlights OcientGeo – deeply integrated data types for geospatial analytics – as well as OcientML – a machine learning integration for running analytics and model training directly inside the database system. These features expand the system’s utility across diverse industries and applications

Improve Hospital Management Through Process Mining, Optimization, and Simulation: the CH4I-PM Project

The growing digitalization of society opens up the exploitation of new IT techniques in the healthcare sector. This report presents an application of AI techniques such as prediction, optimization, and automated knowledge extraction with process mining from hospital information system data. In addition, a simulation effort with Building Information Modeling and Agent-Based Modeling techniques has been performed. The present report describes practical cases and the lesson learned from planning, management, and coordination activities of the project as a whole

To Pump or Not to Pump – Sensor-based Reinforcement Learning for an Optimal Scheduler

Reinforcement Learning can be a powerful tool for Pump Scheduling in Water Distribution Networks. In comparison to classic optimization it can adapt to unseen situations and find optimal schedules in real-time. In this paper, we consider the optimization of energy efficiency under pressure constraints. For this purpose, we investigate the effects of different sensory information on the learned scheduling policy. We find that information on pressure, tank levels, daytime, flows and pump energy consumption all boost the performance of the agent. However, sparse pressure readings seem to be sufficient at least in small networks

Partizipation vs. UX

Wie passen die Haltung der Partizipation und die Haltung der User Experience (UX) zusammen – ergänzen sie sich oder stehen sie im Konflikt? Diese Leitfrage bildete den Ausgangspunkt einer offenen Barcamp-Session im Rahmen der Mensch und Computer 2025. Nach einem kurzen Inputbeitrag diskutierten die Teilnehmenden Gemeinsamkeiten, Unterschiede und Spannungsfelder. Im Ergebnis zeigte sich: Partizipation und UX verfolgen unterschiedliche Ziele und Motivationen, können sich jedoch wirkungsvoll bereichern, wenn eine gemeinsame Vision fokussiert wird – die Entwicklung nutzerzentrierter Produkte, Services oder Systeme

12. Workshop Mensch-Maschine-Interaktion in sicherheitskritischen Systemen

Im Zentrum dieser Workshopreihe steht bereits seit über einer Dekade die Interaktion von Mensch und Technik in sicherheitskritischen Kontexten. Hierzu zählen Bereiche, die bereits seit Jahrzehnten Gegenstand der Forschung sind (z.B. Gesundheitswesen, Prozessführung in Leitwarten, Verkehrsführung), aber auch aktuelle Herausforderungen (z.B. Ausfallsichere Netzwerke, Cyberphysische Systeme, Social Media im Katastrophenschutz) und neuartige Technologien (z.B. Digital Twins, Extended Reality, Künstliche Intelligenz) unter Berücksichtigung ethischer, legaler und sozialer Implikationen. In diesen und vielen weiteren Bereichen gilt, dass sichere Systemzustände nur durch die ganzheitliche Betrachtung von Mensch, Technik und Organisation gewährleistet oder im Falle einer Disruption schnellstmöglich wieder erreicht werden können. In diesem Zusammenhang ist der Workshop auch der Nutzbarkeit und Akzeptanz von Sicherheitskonzepten sowie einer bewussteren Auseinandersetzung der Nutzenden mit diesen Themen gewidmet