SearcharxivSearch

arXiv subjects

Zahra Fazel

Publications and source records attributed to Zahra Fazel.

5 recordsLinked to original sources

T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework

Recent advances in Large Language Models (LLMs) have opened opportunities to apply high-level code transformations to the field of code optimization, and it has since emerged as one of the most fundamental tasks for LLMs to perform; however, at present, LLMs struggle to apply wide-ranging code optimization tasks due to both the complexity of the code and the inability to independently verify the correctness of the transformations. In this paper, we present the Trusted LLM (T-LLM) Compiler, which proposes an advancement in compiler technology through a collaborative effort involving high-level LLM code transformations, traditional compilers, and verification tools. Experimental results reveal that it can significantly improve code correctness when tested on a set of PolyBench/C benchmarks. Our approach facilitates iterative code optimization efforts with verification strategies that enable corrective actions. Through this approach, T-LLM Compiler achieves code optimization accuracy of up to 83.3% and a speedup of up to 16.1\% on the PolyBench/C benchmarks, with the transformed code reaching an average of 26.7% speedup wrt standard baselines. Additionally, we release the project's source code to the open-source community.

cs.AI

PerfCoder: Large Language Models for Interpretable Code Performance Optimization

Large language models (LLMs) have achieved remarkable progress in automatic code generation, yet their ability to produce high-performance code remains limited--a critical requirement in real-world software systems. We argue that current LLMs struggle not only due to data scarcity but, more importantly, because they lack supervision that guides interpretable and effective performance improvements. In this work, we introduce PerfCoder, a family of LLMs specifically designed to generate performance-enhanced code from source code via interpretable, customized optimizations. PerfCoder is fine-tuned on a curated collection of real-world optimization trajectories with human-readable annotations, and preference-aligned by reinforcement fine-tuning using runtime measurements, enabling it to propose input-specific improvement strategies and apply them directly without relying on iterative refinement. On the PIE code performance benchmark, PerfCoder surpasses all existing models in both runtime speedup and effective optimization rate, demonstrating that performance optimization cannot be achieved by scale alone but requires optimization stratetgy awareness. In addition, PerfCoder can generate interpretable feedback about the source code, which, when provided as input to a larger LLM in a planner-and-optimizer cooperative workflow, can further improve outcomes. Specifically, we elevate the performance of 32B models and GPT-5 to new levels on code optimization, substantially surpassing their original performance.

cs.SE

An outlook on the estimate of the solar quadrupole moment from relativistic gravitation contributions

Of all the solar fundamental parameters (mass, diameter, gravity at the surface,...), the gravitational moments have been quite often ignored in the past, mainly due to the great difficulty to get a reliable estimate. Even though the order of magnitude of the solar quadrupole moment $J_2$ is now known to be $10^{-7}$, its accurate value is still discussed. Indeed, the expansion in multipoles $J_{(l,~ l = 2, ...)}$ of the gravitational potential of a rotating body affects the orbital motion of planets at a relativistic level. We will recall here the recent progresses made in testing General Relativity through the contribution of the first solar quadrupole moment. Using the Eddington-Robertson parameters, we recall the constraints both on a theoretical and experimental point of view. Together with $γ$, which encodes the amount of curvature of space-time per unit rest-mass, the Post--Newtonian Parameter $β$ contributes to the relativistic precession of planets. The latter parameter encodes the amount of non-linearity in the superposition law of gravitation. Even though in principle, it would be possible to extract $J_2$ from planetary ephemerides, we observe that it is significantly correlated with other solution parameters (semi-major axis of planets, mass of asteroids...). Focusing on the $J_2$ correlations, we show that in general, when ~$β$ and ~$γ$ are freed, the correlations ~[$β, J_2$] and ~[$γ, J_2$] are $\approx$ 45\% and $\approx$ 55\% respectively. Moreover, all the planetary dynamics-based values are biased by the Lense--Thiring effect, which has never been modeled and solved for so far, but can be estimated to $\approx$ 7\%. It is thus possible to get a good estimate of the solar quadrupole moment:$1.66\times10^{-7}$$\leq$$J_2$$\leq$$2.32\times10^{-7}$.

astro-ph.SR

Mode coupling in solar spicule oscillations

In a real medium which has oscillations, the perturbations can cause the energy transfer between different modes. The perturbation interpreted as an interaction between the modes is inferred as mode coupling. Mode coupling process in an inhomogeneous medium such as solar spicules may lead to the coupling of kink waves to local Alfven waves. This coupling occurs practically in any conditions when there is smooth variation in density in the radial direction. This process is seen as the decay of transverse kink waves in the medium. To study the damping of kink waves due to mode coupling, a 2.5-dimensional numerical simulation of the initial wave is considered in spicules. The initial perturbation is assumed to be in a plane perpendicular to the spicule axis. The considered kink wave is a standing wave which shows an exponential damping in the inhomogeneous layer after occurrence of the mode coupling.

astro-ph.SR

Study of Solar Magnetic and Gravitational Energies Through the Virial Theorem

Virial theorem is important for understanding stellar structures. It produces an interesting connection between the magnetic energy and the gravitational one. Using the general form of the virial theorem including the magnetic field (toroidal magnetic field), we may explain the solar dynamo model in related to variations of the magnetic and gravitational energies. We emphasize the role of the gravitational energy in sub-surface layers which has been certainly minored up to now. We also consider two types of solar outer shape (spherical and spheroidal) to study the behavior of magnetic and gravitational energies. The magnetic energy affects the solar shape, while the gravitational energy is not changed by the considered shapes of the Sun.

astro-ph.SR