12 papers · ranked by Valyu relevance
Inna Voloshchuk, Hayden Jananthan, Chansup Byun, Jeremy Kepner
—The MIT/IEEE/Amazon Graph Challenge provides a venue for individuals and teams to showcase new innovations in large-scale graph and sparse data analysis. The Anonymized Network Sensing Graph Challenge processes over 100 billion network packets to construct privacy-preserving traffic matrices, with a GraphBLAS…
Scott Huberty, Christian O'Reilly
Adaptive Mixture Independent Component Analysis (AMICA) is widely used in EEG research and has long been associated with strong empirical performance for blind source separation. Despite its impact, practical use has historically depended on a single Fortran implementation, accessed via the EEGLAB toolbox for MATLAB…
Davide Risi, Vincenzo Petrone, Antonio Langella, Lorenzo Pagliara + 2 more
—This paper introduces a novel modular architecture for ROS2 that decouples the logic required to acquire, validate, and interpolate references from the control laws that track them. The design includes a dedicated component, named Reference Generator, that receives references, in the form of either single points or…
Yuan, Zhiqiang, Mao, Wenjun + 10 more
—Translating C code into safe Rust is an effective way to ensure its memory safety. Compared to rule-based translation which produces Rust code that remains largely unsafe, LLMbased methods can generate more idiomatic and safer Rust code because LLMs have been trained on vast amount of humanwritten idiomatic code.…
Yangyang He, Zhuangze Hou, Yonglin Chen, Can Liu
When manipulating objects in immersive platforms through speech and gesture, users naturally construct spatial references, referring to scene entities, their bodies, or the environment. Leveraging spatial cognition theories, this work systematically examines how users construct and communicate spatial intent. Using a…
Matthew Britton, Sasha Pak, Alex Potanin
Refactoring tools are central to modern software development, with extract-function refactorings used heavily in day-to-day work. For Rust, however, the combination of ownership, borrowing, and advanced type system features makes automated extract-function refactoring particularly challenging. Existing tools, including…
Zhonghua Yi
Systems programming languages traditionally struggle with the tension between physical transparency and compile-time memory safety. C++ provides direct, zero-cost hardware access but lacks strict safety boundaries, whereas Rust guarantees safety at the cost of complex lifetime annotations and implicit dereferencing…
Soha Hussein, Stephen McCamant, Kelton OBrien, Kuen-Bang Hou + 2 more
Symbolic execution plays a critical role in software reliability, as they are used to find bugs, generate test cases, and provide correctness guarantees, particularly for safety-critical systems. Yet their own correctness is rarely subject to formal scrutiny, as it is typically established empirically by evaluating…
Victor Chen, Ayden Coughlin, Michael D. Bond
Automatically translating system software from C to Rust is an appealing but challenging problem, as it requires whole-program reasoning to satisfy Rust's ownership and borrowing discipline. A key enabling step in whole-program translation is interface translation, which produces Rust declarations for the C program's…
Yusuke Matsushita, Hiromi Ishii
A promising approach to unifying functional and imperative programming paradigms is to localize mutation using linear or affine types. Haskell, a purely functional language, was recently extended with linear types by Bernardy et al., named Linear Haskell. However, it remained unknown whether such a pure language could…
Takuto Kawamoto, Yoshiki Higo
"Extract Method" refactoring is a technique for consolidating code clones. Parameterization approaches are used to extract a single method from multiple code clones that contain differences. This approach parameterizes expressions and behaviors within a method. In particular, behavior parameterization has been…
Nasir Kenarangui, Arthur Powalka, László B. Kish
Instantaneous Noise-Based Logic (INBL) presents a classical noise-based computing framework as an alternative to quantum computation, though some logic gates remain unimplemented for achieving universality over superpositions. INBL encodes M noise-bits using 2 orthogonal stochastic reference noises to construct a 2…