11 papers · ranked by Valyu relevance
Daniel Engel, Freek Verbeek, Pranav Kumar, Binoy Ravindran
The binary executable format is the standard method for distributing and executing software. Yet, it is also as opaque a representation of software as can be. If the binary format were augmented with metadata that provides security-relevant information, such as which data is intended by the compiler to be executable…
Michael James Bommarito
Deep learning research for binary analysis faces a critical infrastructure gap. Today, existing datasets target single platforms, require specialized tooling, or provide only hand-engineered features incompatible with modern neural architectures; no single dataset supports accessible research and pedagogy on realistic…
Jordan, Herbert, Jezek, Kamil + 4 more
The State Database of a blockchain stores account data and enables authentication. Modern blockchains use fast consensus protocols to avoid forking, improving throughput and finality. However, Ethereum's StateDB was designed for a forking chain that maintains multiple state versions. While newer blockchains adopt…
Junru Li, Qing Wang, Zhe Yang, Shuo Liu + 2 more
—Distributed storage systems typically maintain strong consistency between data nodes and metadata nodes by adopting ordered writes: 1) first installing data; 2) then updating metadata to make data visible. We propose Switch∆ to accelerate ordered writes by moving metadata updates out of the critical path. It buffers…
Qingxiu Liu, Cai, Jiazhen, Sheng + 5 more
—Fast and scalable metadata management across multiple metadata servers is crucial for distributed file systems to handle numerous files and directories. Client-side caching of frequently accessed metadata can mitigate server loads, but incurs significant overhead and complexity in maintaining cache consistency when…
Yahya Sa'd, Renzo Angles, Vojtech Merunka, Roberto Garcia + 2 more
Property-graph schemas often contain descriptive properties that recur across heterogeneous nodes and edges, yet schema designers lack a clear method for deciding whether such properties should remain embedded or be treated as reusable metadata structures. This paper addresses this design-stage problem within a…
Luigi Crisci, Lorenz Schuler, Herbert Jordan, Bernhard Scholz
The Ethereum state database uses Merkle Patricia Trie (MPT), which suffers from large witness proof sizes and high storage overhead. Verkle Tries have been proposed as a replacement, offering witness proofs below 150 bytes through vector commitments and Inner Product Argument aggregation. However, deploying a Verkle…
Ziad Ismaili Alaoui, Detlef Plump
We present an approach to implement binary search trees in the rule-based graph programming language GP 2. (See [[4]] for a brief introduction to GP 2.) Our implementation uses GP 2's rooted graph transformation rules to be fast [[1]] and supports insertion, deletion and query operations. We argue that the worst-case…
Lan Ma, Qifu Tyler Sun, Shaoteng Liu, Liyang Zhou
A (k +r, k, l) binary array code of length k +r, dimension k, and sub-packetization l is composed of l×(k +r) matrices over F2, with every column of the matrix stored on a separate node in the distributed storage system and viewed as a coordinate of the codeword. It is said to be maximum distance separable (MDS) if any…
Haochen Pan, Ryan Chard, Song Young Oh, Maxime Gonthier + 6 more
Modern HPC file systems can contain billions of files and hundreds of petabytes of data, making even simple questions increasingly intractable to answer. Traditional file system utilities such as find and du fail to scale to these sizes. While external indexing tools like GUFI and Brindexer improve query performance…
Xin Eric Wang, Yabo Wang, Rebing Wu
We propose a Trace-distance binary Tree AdaBoost (TTA) multi-class quantum classifier, a practical pipeline for quantum multi-class classification that combines quantum-aware reductions with ensemble learning to improve trainability and resource efficiency. TTA builds a hierarchical binary tree by choosing, at each…