Tootfinder

Hybrid Approach to Directed Fuzzing
Darya Parygina, Timofey Mezhuev, Daniil Kuts
https://arxiv.org/abs/2507.04855 https://arxiv.org/p…

Hybrid Approach to Directed Fuzzing
Program analysis and automated testing have recently become an essential part of SSDLC. Directed greybox fuzzing is one of the most popular automated testing methods that focuses on error detection in predefined code regions. However, it still lacks ability to overcome difficult program constraints. This problem can be well addressed by symbolic execution, but at the cost of lower performance. Thus, combining directed fuzzing and symbolic execution techniques can lead to more efficient error de…

This channel is an unofficial mirror of Bernadette Banner’s YouTube content. It is not affiliated with or endorsed by Bernadette Banner and may be removed if she requests.
She is one of my favorite creators on YouTube, so I’ve synchronized and published her videos on PeerTube, while the rest is currently being transcoded and should be available by tomorrow!

Apple seems to be working on adding CUDA support to open-source ML framework MLX, which may mean that code developed using MLX would work with CUDA (Malcolm Owen/AppleInsider)
https://appleinsider.com/articles/25/0

Apple Silicon machine learning code may become more easily portable to Nvidia hardware
A project is trying to cut the cost of making machine learning applications for Nvidia hardware, by developing on an Apple Silicon Mac and exporting it to CUDA.

HD 143006: Interferometric Confirmation of Misaligned Protoplanetary Disc with CHARA/MIRCX and VLTI/PIONIER
I. Codron, S. Kraus, J. D. Monnier, S. Marino, C. L. Davies, N. Anugu, T. Gardner, N. Ibrahim, C. Lanthermann, J-B Le Bouquin
https://arxiv.org/abs/2506.19668

HD 143006: Interferometric Confirmation of Misaligned Protoplanetary Disc with CHARA/MIRCX and VLTI/PIONIER
The outer regions of the protoplanetary disc surrounding the T Tauri star HD 143006 show rings, dust asymmetries and shadows. Whilst rings and dust asymmetries can arise from companions and other mechanisms, shadows and misaligned discs in particular are typically attributed to the presence of misaligned planets or stellar-mass companions. To understand the mechanisms that drive these traits, the innermost regions of discs need to be studied. Using CHARA/MIRCX and VLTI/PIONIER, we observed the …

Portable High-Performance Kernel Generation for a Computational Fluid Dynamics Code with DaCe
M{\aa}ns I. Andersson, Martin Karp, Niclas Jansson, Stefano Markidis
https://arxiv.org/abs/2506.20994

Portable High-Performance Kernel Generation for a Computational Fluid Dynamics Code with DaCe
With the emergence of new high-performance computing (HPC) accelerators, such as Nvidia and AMD GPUs, efficiently targeting diverse hardware architectures has become a major challenge for HPC application developers. The increasing hardware diversity in HPC systems often necessitates the development of architecture-specific code, hindering the sustainability of large-scale scientific applications. In this work, we leverage DaCe, a data-centric parallel programming framework, to automate the gene…

Can LLMs Replace Humans During Code Chunking?
Christopher Glasz, Emily Escamilla, Eric O. Scott, Anand Patel, Jacob Zimmer, Colin Diggs, Michael Doyle, Scott Rosen, Nitin Naik, Justin F. Brunelle, Samruddhi Thaker, Parthav Poudel, Arun Sridharan, Amit Madan, Doug Wendt, William Macke, Thomas Schill
https://arxiv.org/abs/2506.198…

Can LLMs Replace Humans During Code Chunking?
Large language models (LLMs) have become essential tools in computer science, especially for tasks involving code understanding and generation. However, existing work does not address many of the unique challenges presented by code written for government applications. In particular, government enterprise software is often written in legacy languages like MUMPS or assembly language code (ALC) and the overall token lengths of these systems exceed the context window size for current commercially a…

ParEval-Repo: A Benchmark Suite for Evaluating LLMs with Repository-level HPC Translation Tasks
Joshua H. Davis, Daniel Nichols, Ishan Khillan, Abhinav Bhatele
https://arxiv.org/abs/2506.20938

ParEval-Repo: A Benchmark Suite for Evaluating LLMs with Repository-level HPC Translation Tasks
GPGPU architectures have become significantly diverse in recent years, which has led to an emergence of a variety of specialized programming models and software stacks to support them. While portable execution models exist, they still require significant developer effort to port to and optimize for different hardware architectures. Recent advances in large language models (LLMs) can help us reduce some of this programmer burden. In this paper, we present a novel benchmark and testing framework,…

Arbitrary high-fidelity binomial codes from multiphoton spin-boson interactions
Pradip Laha, Peter van Loock
https://arxiv.org/abs/2507.08585 https://

Arbitrary high-fidelity binomial codes from multiphoton spin-boson interactions
Encoding a qubit in the continuous degrees of freedom of a quantum system, such as bosonic modes, is a powerful alternative to modern quantum error correction (QEC). Among the most prominent bosonic QEC codes, binomial codes provide protection against loss and dephasing errors by encoding logical states in superpositions of Fock states with binomially weighted coefficients. While much attention has been given to their error-correcting capabilities and integration into fault-tolerant architectur…

Numerical approximation of a PDE-constrained Optimization problem that appears in Data-Driven Computational Mechanics
Pedro B. Bazon, Cristian G. Gebhardt, Gustavo C. Buscaglia, Roberto F. Ausas
https://arxiv.org/abs/2506.10894

Numerical approximation of a PDE-constrained Optimization problem that appears in Data-Driven Computational Mechanics
We investigate an optimization problem that arises when working within the paradigm of Data-Driven Computational Mechanics. In the context of the diffusion-reaction problem, such an optimization problem seeks for the continuous primal fields (gradient and flux) that are closest to some predefined discrete fields taken from a material data set. The optimization is performed over primal fields that satisfy the physical conservation law and the geometrical compatibility. We consider a reaction ter…

The ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO): XI. Beam-corrected gas disk sizes from fitting 12CO moment zero maps
Leon Trapman, Miguel Vioque, Nicol\'as T. Kurtovic, Ke Zhang, Giovanni P. Rosotti, Paola Pinilla, John Carpenter, Lucas A. Cieza, Ilaria Pascucci, Rossella Anania, Carolina Agurto-Gangas, Dingshan Deng, James Miley, Laura M. P\'erez, Anibal Sierra, Beno\^it Tabone, Dary A. Ru\'iz-Rodr\'iguez, Camilo Gonz\'alez-Ruilova, Estephani To…

The ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO): XI. Beam-corrected gas disk sizes from fitting 12CO moment zero maps
The inward drift of mm-cm sized pebbles in protoplanetary disks has become an important part of our current theories of planet formation and, more recently, planet composition as well. The gas-to-dust size ratio of protoplanetary disks can provide an important constraint on how pebbles have drifted inward provided that observational effects, especially resolution, can be accounted for. Here we present a method for fitting beam-convolved models to integrated intensity maps of line emission using…