23 papers · ranked by Valyu relevance
Benedikt Bollig, Matthias Függer, Thomas Nowak
Multi-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect through testing. We introduce a domain-specific language for specifying agent coordination based on message sequence charts (MSCs). The…
H. Ni, Robbert van Renesse, Greg Morrisett
The core of our approach is twin languages: Sync and Async, which formalize the insight from distributed system theory that an asynchronous system can be reduced to a synchronous system for more straightforward reasoning under certain conditions. Sync describes a distributed system as a single, synchronous…
Yibo Yan, Junzhou He, Seo Jin Park
Interactive debugging is an effective tool for understanding program behavior at the source level, allowing developers to pause execution, navigate the call stack, and inspect runtime state. However, interactive debuggers are designed for single-process execution, and interactive debugging has been widely considered…
Nandy, Barenya Kumar, Rupesh Nasre
—Relational data, occurring in the real world, are often structured as graphs, which provide the logical abstraction required to make analytical derivations simpler. As graphs get larger, the irregular access patterns exhibited in most graph algorithms, hamper performance. This, along with NUMA and physical memory…
Jose L Figueroa, Richard Allen White
We now exist in the era of massive datasets from genomics, large language models, and all the known knowledge of humanity right at our fingertips. Much of this data is becoming more accessible; however, processing such data remains an ongoing issue across systems including high performance computing (HPC)…
Seppe Wyns, Jim Bauwens, Elisa Gonzalez Boix
This paper investigates how Conflict-free Replicated Data Types (CRDTs) can be used for dynamic software updates of distributed applications. We propose to model application updates as a new App CRDT that stores the application code associated with a semantic version, which defines a total order of the code updates.…
Authors not listed
This comprehensive review examines the evolution of autonomous materials synthesis laboratories that integrate artificial intelligence with advanced robotics to accelerate discovery. Traditional materials development pipelines typically require 10-20 years, but self-driving laboratories (SDLs) and Materials…
Mohamad Hayek, Martin Golasowski, Stephan Hachinger, Rubén J. García-Hernández + 8 more
Modern data-management frameworks promise a flexible and efficient management of data and metadata across storage backends. However, such claims need to be put to a meaningful test in daily practice. We conjecture that such frameworks should be fit to construct a data backend for workflows which use geographically…
Ulrich Schmid, Stephan Felber, Hugo Rincon Galeana
We provide a complete characterization of the solvability/impossibility of deterministic stabilizing consensus in virtually any computing model with benign process and communication faults using point-set topology. Relying on the topologies for infinite executions introduced by Nowak, Schmid and Winkler (JACM, 2024)…
Kevin Garner, Polykarpos Thomadakis, Nikos Chrisochoides
This paper presents a distributed memory method for anisotropic mesh adaptation that is designed to avoid the use of collective communication and global synchronization techniques. In the presented method, meshing functionality is separated from performance aspects by utilizing a separate entity for each - a multicore…
Mingcong Wu, Alessandro Giuliani
This paper investigates robust high-dimensional convoluted rank regression in distributed environments. We propose an estimation method suitable for sparse regimes, which remains effective under heavy-tailed errors and outliers, as it does not impose moment assumptions on the noise distribution. To facilitate scalable…
Zhenyu Li, Yong Ding, Ruwen Zhao, Shuo Wang + 2 more
With the widespread deployment of Industrial Cyber-Physical Systems (ICPS), their inherent vulnerabilities have increasingly exposed them to sophisticated cybersecurity threats. Although existing protective mechanisms can block attacks at runtime, the risk of defense failure remains. To proactively evaluate and harden…
Kenji Gerhardt, Shujun Ou
The rapid expansion of high-quality, nearly complete eukaryotic genomes demands computational accelerations of existing bioinformatic infrastructure. TIR-Learner has been widely used for the de novo identification of Terminal Inverted Repeat (TIR) transposons, but suffers from slow runtime and a large memory footprint.…
Authors not listed
Despite the promise of self-driving laboratories to accelerate discovery, their widespread implementation is hindered by prohibitive cost and technical complexity. We introduce BrickSDLab, a fully functional self-driving lab platform built entirely from LEGO® components, designed to bridge this accessibility gap.…
Qi Zhou, Yantao Yu, Jingxiao Ma, Mohammad S. Obaidat + 4 more
In practical deployments of decentralized federated learning (FL) in Internet of Things (IoT) environments, the non-independent and identically distributed (Non-IID) nature of client-local data limits model performance. Furthermore, concept drift further exacerbates complexity and introduces temporal uncertainty that…
Authors not listed
We present an open source collection of scripts and programs for the setup, management and evaluation of calculations with the Vienna ab-initio simulation package (VASP), called utils4VASP. It contains 20 independent Python scripts and Fortran programs, all with a unified and intuitive handling concept based on command…
Nathan R. Kern, Soohyung Park, Yiwei Cao, Wonpil Im
As high-performance computing provides the ability to generate and analyze ever larger simulation trajectories, the challenges in learning, applying, and sharing the best analytical practices become more salient. Extracting reproducible scientific insights from simulation requires a thorough understanding of many…
Niklas Brunn, Laia C. Guitart, Kiana Farhadyar, Camila L. Fullio + 4 more
Recent advances in spatial transcriptomics and computational modeling enable the study of cellular interactions in situ. However, existing methods quantify ligand–receptor activity pairwise or between predefined cell groups, yielding overlapping signals and limited ability to summarize concurrent interactions into…
Sebastijan Veselic, Nour Mohsen, Lennart Luettgau, Elena Gutierrez + 5 more
Reasoning flexibly composes known elements to solve novel problems. Recent theories suggest the brain uses the axis of time to compose elements for reasoning. In this view, elements are packaged into fast neural sequences, with each sequence exploring the implications of a different composition. Using…
Authors not listed
Next Generation Risk Assessment (NGRA) promotes animal-free, exposure-informed, and hypothesis-driven approaches to chemical safety assessment. In silico tools, such as quantitative structure-activity relationship (QSAR) models, are valuable new approach methodologies (NAMs) for use in NGRA. However, the practical…
Melih Peker, Ozcan Ozturk
Selecting a good set of optimization flags requires extensive effort and expert input. While most of the prior research considers using static, spatial, or dynamic features, some of the latest research directly applied deep neural networks to source code. We combined the static features, spatial features, and deep…
Authors not listed
For decades, molecular visualization software has been fundamental to education and research in chemistry, structural biology, and materials science. These tools have enabled the inspection of structures, dynamics, and interactions, yet their reliance on two-dimensional (2D) interfaces imposes persistent limitations.…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…