Tootfinder

Scalable Thread-Safety Analysis of Java Classes with CodeQL
Bj{\o}rnar Haugstad J{\aa}tten, Simon Boye J{\o}rgensen, Rasmus Petersen, Ra\'ul Pardo
https://arxiv.org/abs/2509.02022

Scalable Thread-Safety Analysis of Java Classes with CodeQL
In object-oriented languages software developers rely on thread-safe classes to implement concurrent applications. However, determining whether a class is thread-safe is a challenging task. This paper presents a highly scalable method to analyze thread-safety in Java classes. We provide a definition of thread-safety for Java classes founded on the correctness principle of the Java memory model, data race freedom. We devise a set of properties for Java classes that are proven to ensure thread-sa…

Aharanov-Bohm oscillations and perfectly transmitted mode in amorphous topological insulator nanowires
Miguel F. Mart\'inez, Adolfo G. Grushin, Jens H. Bardarson
https://arxiv.org/abs/2507.02568

Aharanov-Bohm oscillations and perfectly transmitted mode in amorphous topological insulator nanowires
Crystalline topological insulator nanowires with a magnetic flux threaded through their cross section display Aharanov-Bohm conductance oscillations. A characteristic of these oscillations is the perfectly transmitted mode present at certain values of the magnetic flux, due to the appearance of an effective time-reversal symmetry combined with the topological origin of the nanowire surface states. In contrast, amorphous nanowires display a varying cross section along the wire axis that breaks t…

A New Family of Thread to Core Allocation Policies for an SMT ARM Processor
Marta Navarro, Josu\'e Feliu, Salvador Petit, Mar\'ia E. G\'omez, Julio Sahuquillo
https://arxiv.org/abs/2507.00855

A New Family of Thread to Core Allocation Policies for an SMT ARM Processor
Modern high-performance servers commonly integrate Simultaneous Multithreading (SMT) processors, which efficiently boosts throughput over single-threaded cores. Optimizing performance in SMT processors faces challenges due to the inter-application interference within each SMT core. To mitigate the interference, thread-to-core (T2C) allocation policies play a pivotal role. State-of-the-art T2C policies work in two steps: i) building a per-application performance stack using performance counters …

Threadbox: Sandboxing for Modular Security
Maysara Alhindi, Joseph Hallett
https://arxiv.org/abs/2506.23683 https://arxiv.org/pdf/250…

Threadbox: Sandboxing for Modular Security
There are many sandboxing mechanisms provided by operating systems to limit what resources applications can access, however, sometimes the use of these mechanisms requires developers to refactor their code to fit the sandboxing model. In this work, we investigate what makes existing sandboxing mechanisms challenging to apply to certain types of applications, and propose Threadbox, a sandboxing mechanism that enables having modular and independent sandboxes, and can be applied to threads and san…

Hybrid Black Hole-Disk Driven Jets: Steady Axisymmetric Ideal MHD Modeling
Yu Song, Yehui Hou, Lei Huang, Bin Chen
https://arxiv.org/abs/2507.23281 https://

Hybrid Black Hole-Disk Driven Jets: Steady Axisymmetric Ideal MHD Modeling
Improved observational precision in relativistic jets has underscored the need for tractable theoretical models. In this study, we construct a semi-analytical hybrid jet model that incorporates both black hole-driven and disk-driven components within the framework of steady, axisymmetric, ideal MHD. We derive a condition that determines the launching sites of cold outflows, introducing a new constraint on the magnetic field configuration threading the accretion disk. Using the Bernoulli equatio…

Reduced-Order Modeling of Bolt Loosening: Application to a Pair of Oscillators Under Transverse Shock Excitation
Qirui He, Rui Wang, Matthew J. Alexander, Keegan J. Moore
https://arxiv.org/abs/2508.21585

Reduced-Order Modeling of Bolt Loosening: Application to a Pair of Oscillators Under Transverse Shock Excitation
The safety and integrity of engineered structures are critically dependent on maintaining sufficient preload in their bolted joints. This preload can be dynamically lost due to sustained vibrations or sudden shock that are large enough to induce slip in the threads. While high-fidelity finite element simulations and analytical methods can accurately model the loss of preload for a single, their prohibitive computational expense and complexity render them unfeasible for analyzing large-scale str…

How popular media gets love wrong
Okay, my attempt at (hopefully widely-applicable) advice about relationships based on my mental "engineering" model and how it differs from the popular "fire" and "appeal" models:
1. If you're looking for a partner, don't focus too much on external qualities, but instead ask: "Do they respect me?" "Are they interested in active consent in all aspects of our relationship?" "Are they willing to commit a little now, and open to respectfully negotiating deeper commitment?" "Are they trustworthy, and willing to trust me?" Finding your partner attractive can come *from* trusting/appreciating/respecting them, rather than vice versa.
2. If you're looking for a partner, don't wait for infatuation to start before you try building a relationship. Don't wait to "fall in love;" if you "fall" into love you could just as easily "fall" out, but if you build up love, it won't be so easy to destroy. If you're feeling lonely and want a relationship, pick someone who seems interesting and receptive in your social circles and ask if they'd like to do something with you (doesn't have to be a date at first). *Pursue active consent* at each stage (if they're not interested; ask someone else, this will be easier if you're not already infatuated). If they're judging you by the standards in point 1, this is doubly important.
3. When building a relationship, try to synchronize your levels of commitment & trust even as you're trying to deepen them, or at least try to be honest and accepting when they need to be out-of-step. Say things and do things that show your partner the things (like trust, commitment, affection, etc.) that are important in your relationship, and ask them to do the same (or ideally you don't have to ask if they're conscious of this too). Do these things not as a chore or a transaction when your partner does them, but because they're the work of building the relationship that you value for its own sake (and because you value your partner for themselves too).
4. When facing big external challenges to your commitment to a relationship, like a move, ensure that your partner has an appropriate level of commitment too, but then don't undervalue the relationship relative to other things in life. Everyone is different, but *to me*, my committed relationship has been far more rewarding than e.g., a more "successful" career would have been. Of course worth noting here that non-men are taught by our society to undervalue their careers & other aspects of their life and sacrifice everything for their partners, which is toxic. I'm not saying "don't value other things" but especially for men, *do* value romantic relationships and be prepared to make decisions that prioritize them over other things, assuming a partner who is comfortable with that commitment and willing to reciprocate.
Okay, this thread is complete for now, until I think of something else that I've missed. I hope this advice is helpful in some way (or at least not harmful). Feel free to chime in if you've got different ideas...
#relationships #love

Enlightening thread on Proton's new LLM
https://social.cryptography.dog/@ansuz/114906970072548804

SpeedMalloc: Improving Multi-threaded Applications via a Lightweight Core for Memory Allocation
Ruihao Li, Qinzhe Wu, Krishna Kavi, Gayatri Mehta, Jonathan C. Beard, Neeraja J. Yadwadkar, Lizy K. John
https://arxiv.org/abs/2508.20253

SpeedMalloc: Improving Multi-threaded Applications via a Lightweight Core for Memory Allocation
Memory allocation, though constituting only a small portion of the executed code, can have a "butterfly effect" on overall program performance, leading to significant and far-reaching impacts. Despite accounting for just approximately 5% of total instructions, memory allocation can result in up to a 2.7x performance variation depending on the allocator used. This effect arises from the complexity of memory allocation in modern multi-threaded multi-core systems, where allocator metadata becomes …

What Makes ChatGPT Effective for Software Issue Resolution? An Empirical Study of Developer-ChatGPT Conversations in GitHub
Ramtin Ehsani, Sakshi Pathak, Esteban Parra, Sonia Haiduc, Preetha Chatterjee
https://arxiv.org/abs/2506.22390

What Makes ChatGPT Effective for Software Issue Resolution? An Empirical Study of Developer-ChatGPT Conversations in GitHub
Conversational large-language models are extensively used for issue resolution tasks. However, not all developer-LLM conversations are useful for effective issue resolution. In this paper, we analyze 686 developer-ChatGPT conversations shared within GitHub issue threads to identify characteristics that make these conversations effective for issue resolution. First, we analyze the conversations and their corresponding issues to distinguish helpful from unhelpful conversations. We begin by catego…