Showing 1–18 of 18 results for author: Abi, C

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees

Authors: Ahmed Heakl, Sarim Hashmi, Chaimaa Abi, Celine Lee, Abdulrahman Mahmoud

Abstract: The hardware ecosystem is rapidly evolving, with increasing interest in translating low-level programs across different instruction set architectures (ISAs) in a quick, flexible, and correct way to enhance the portability and longevity of existing code. A particularly challenging class of this transpilation problem is translating between complex- (CISC) and reduced- (RISC) hardware architectures,… ▽ More The hardware ecosystem is rapidly evolving, with increasing interest in translating low-level programs across different instruction set architectures (ISAs) in a quick, flexible, and correct way to enhance the portability and longevity of existing code. A particularly challenging class of this transpilation problem is translating between complex- (CISC) and reduced- (RISC) hardware architectures, due to fundamental differences in instruction complexity, memory models, and execution paradigms. In this work, we introduce GG (Guaranteed Guess), an ISA-centric transpilation pipeline that combines the translation power of pre-trained large language models (LLMs) with the rigor of established software testing constructs. Our method generates candidate translations using an LLM from one ISA to another, and embeds such translations within a software-testing framework to build quantifiable confidence in the translation. We evaluate our GG approach over two diverse datasets, enforce high code coverage (>98%) across unit tests, and achieve functional/semantic correctness of 99% on HumanEval programs and 49% on BringupBench programs, respectively. Further, we compare our approach to the state-of-the-art Rosetta 2 framework on Apple Silicon, showcasing 1.73x faster runtime performance, 1.47x better energy efficiency, and 2.41x better memory usage for our transpiled code, demonstrating the effectiveness of GG for real-world CISC-to-RISC translation tasks. We will open-source our codes, data, models, and benchmarks to establish a common foundation for ISA-level code translation research. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: Project page: https://ahmedheakl.github.io/Guaranteed-Guess/

From CISC to RISC: language-model guided assembly transpilation

Authors: Ahmed Heakl, Chaimaa Abi, Rania Hossam, Abdulrahman Mahmoud

Abstract: The transition from x86 to ARM architecture is becoming increasingly common across various domains, primarily driven by ARM's energy efficiency and improved performance across traditional sectors. However, this ISA shift poses significant challenges, mainly due to the extensive legacy ecosystem of x86 software and lack of portability across proprietary ecosystems and software stacks. This paper in… ▽ More The transition from x86 to ARM architecture is becoming increasingly common across various domains, primarily driven by ARM's energy efficiency and improved performance across traditional sectors. However, this ISA shift poses significant challenges, mainly due to the extensive legacy ecosystem of x86 software and lack of portability across proprietary ecosystems and software stacks. This paper introduces CRT, a lightweight LLM-based transpiler that automatically converts x86 assembly to ARM assembly. Our approach bridges the fundamental architectural gap between x86's CISC-based and ARM's RISC-based computing paradigms while preserving program semantics and optimizing performance. We evaluate CRT on diverse real-world applications, achieving 79.25% translation accuracy from x86 to ARMv5 on our comprehensive test suite, and an 88.68% accuracy from x86 to RISC-V. In practical deployments on Apple M2 hardware (ARMv8), our transpiled code achieves 1.73$\times$ speedup compared to Apple's Rosetta 2 virtualization engine, while delivering 2.41$\times$ memory efficiency and 1.47$\times$ better energy consumption. Through testing and analysis, we show that CRT successfully navigates the CISC/RISC divide and generates correctly executable RISC code despite machine ``language'' barriers. We release our code, models, training datasets, and benchmarks at: \url{https://ahmedheakl.github.io/asm2asm/}. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Equable Parallelograms on the Eisenstein Lattice

Authors: Christian Aebi, Grant Cairns

Abstract: This paper studies equable parallelograms whose vertices lie on the Eisenstein lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the set of these parallelograms forms naturally an infinite tree, all of whose vertices have degree 4, bar the root which has degree 3. This study naturally complements the authors' previous study of equable parallelograms whose vertices… ▽ More This paper studies equable parallelograms whose vertices lie on the Eisenstein lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the set of these parallelograms forms naturally an infinite tree, all of whose vertices have degree 4, bar the root which has degree 3. This study naturally complements the authors' previous study of equable parallelograms whose vertices lie on the integer lattice. △ Less

Submitted 16 January, 2024; originally announced January 2024.

MSC Class: 52C05; 11D25; 11H06

Less than Equable Triangles on the Eisenstein lattice

Authors: Christian Aebi, Grant Cairns

Abstract: We classify perimeter dominant triangles whose side lengths are in $\sqrt3\mathbb N$ and whose area is in $\frac{\sqrt3}4\mathbb N$. There is one exceptional example, which is equilateral, and three infinite families determined by certain Pell, or Pell-like, equations. We classify perimeter dominant triangles whose side lengths are in $\sqrt3\mathbb N$ and whose area is in $\frac{\sqrt3}4\mathbb N$. There is one exceptional example, which is equilateral, and three infinite families determined by certain Pell, or Pell-like, equations. △ Less

Submitted 17 December, 2023; originally announced December 2023.

MSC Class: 52C05

Following in Yiu's Footsteps but on the Eisenstein Lattice

Authors: Christian Aebi, Grant Cairns

Abstract: Paul Yiu proved that all Heron triangles are realizable on the integer lattice. We give an analogous result for triangles with vertices on the Eisenstein lattice. Paul Yiu proved that all Heron triangles are realizable on the integer lattice. We give an analogous result for triangles with vertices on the Eisenstein lattice. △ Less

Submitted 24 September, 2023; originally announced September 2023.

MSC Class: 51M05; 11H06

Equable Triangles on the Eisenstein Lattice

Authors: Christian Aebi, Grant Cairns

Abstract: We show that there are only two equable triangles having vertices on the Eisenstein lattice, up to Euclidean motions. We show that there are only two equable triangles having vertices on the Eisenstein lattice, up to Euclidean motions. △ Less

Submitted 31 July, 2023; originally announced September 2023.

MSC Class: 51M04; 52B20

A simple sum for simplices

Authors: Christian Aebi, Grant Cairns

Abstract: We give a vector identity for $n+2$ points in $\mathbb R^n$. It follows as a corollary that when $n$ is odd the sum of the signed volumes of the $n$-simplices is zero, and when $n$ is even, the alternating sum of the signed volumes is zero. We give a vector identity for $n+2$ points in $\mathbb R^n$. It follows as a corollary that when $n$ is odd the sum of the signed volumes of the $n$-simplices is zero, and when $n$ is even, the alternating sum of the signed volumes is zero. △ Less

Submitted 9 February, 2022; originally announced February 2022.

MSC Class: 51M04

Lattice Equable Quadrilaterals III: tangential and extangential cases

Authors: Christian Aebi, Grant Cairns

Abstract: A lattice equable quadrilateral is a quadrilateral in the plane whose vertices lie on the integer lattice and which is equable in the sense that its area equals its perimeter. This paper treats the tangential and extangential cases. We show that up to Euclidean motions, there are only 6 convex tangential lattice equable quadrilaterals, while the concave ones are arranged in 7 infinite families, ea… ▽ More A lattice equable quadrilateral is a quadrilateral in the plane whose vertices lie on the integer lattice and which is equable in the sense that its area equals its perimeter. This paper treats the tangential and extangential cases. We show that up to Euclidean motions, there are only 6 convex tangential lattice equable quadrilaterals, while the concave ones are arranged in 7 infinite families, each being given by a well known diophantine equation of order 2 in 3 variables. On the other hand, apart from the kites, up to Euclidean motions there is only one concave extangential lattice equable quadrilateral, while there are infinitely many convex ones. △ Less

Submitted 11 November, 2021; originally announced November 2021.

MSC Class: 51M25; 11D09; 97G40

A vector identity for quadrilaterals

Authors: Christian Aebi, Grant Cairns

Abstract: A surprising simple result about quadrilaterals is given as an application of the vector triple product identity. A surprising simple result about quadrilaterals is given as an application of the vector triple product identity. △ Less

Submitted 24 May, 2021; originally announced June 2021.

MSC Class: 51M04; 15A15

Lattice equable quadrilaterals II -- kites, trapezoids and cyclic quadrilaterals

Authors: Christian Aebi, Grant Cairns

Abstract: We show that there are 4 infinite families of lattice equable kites, given by corresponding Pell or Pell-like equations, but up to Euclidean motions, there are exactly 5 lattice equable trapezoids (2 isosceles, 2 right, 1 singular) and 4 lattice equable cyclic quadrilaterals. We also show that, with one exception, the interior diagonals of lattice equable quadrilaterals are irrational. We show that there are 4 infinite families of lattice equable kites, given by corresponding Pell or Pell-like equations, but up to Euclidean motions, there are exactly 5 lattice equable trapezoids (2 isosceles, 2 right, 1 singular) and 4 lattice equable cyclic quadrilaterals. We also show that, with one exception, the interior diagonals of lattice equable quadrilaterals are irrational. △ Less

Submitted 30 April, 2021; originally announced May 2021.

Lattice Equable Quadrilaterals I -- Parallelograms

Authors: Christian Aebi, Grant Cairns

Abstract: This paper studies equable parallelograms whose vertices lie on the integer lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the g.c.d. of the side lengths of such parallelograms can only be 3, 4 or 5, and in each of these cases the set of parallelograms naturally forms an infinite tree all of whose vertices have degree 4, bar the root. The paper then focuses on w… ▽ More This paper studies equable parallelograms whose vertices lie on the integer lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the g.c.d. of the side lengths of such parallelograms can only be 3, 4 or 5, and in each of these cases the set of parallelograms naturally forms an infinite tree all of whose vertices have degree 4, bar the root. The paper then focuses on what we call Pythagorean equable parallelograms. These are lattice equable parallelograms whose complement in a circumscribing rectangle consists of two Pythagorean triangles. We prove that for these parallelograms the shortest side can only be 3, 4, 5, 6 or 10, and there are five infinite families of such parallelograms, given by solutions to corresponding Pell-like equations. △ Less

Submitted 30 April, 2021; v1 submitted 13 June, 2020; originally announced June 2020.

Comments: Revised to incorporate changes suggested by referee

MSC Class: 51M25 (Primary) 11D25; 97G40 (Secondary)

The Quartic Residues Latin Square

Authors: Christian Aebi, Grant Cairns

Abstract: We establish an elementary, but rather striking pattern concerning the quartic residues of primes $p$ that are congruent to 5 modulo 8. Let $g$ be a generator of the multiplicative group of $\mathbb Z_p$ and let $M$ be the $4\times 4$ matrix whose $(i+1),(j+1)-$th entry is the number of elements $x$ of $\mathbb Z_p$ of the form $x\equiv g^k \pmod p$ where $k\equiv i \pmod 4$ and… ▽ More We establish an elementary, but rather striking pattern concerning the quartic residues of primes $p$ that are congruent to 5 modulo 8. Let $g$ be a generator of the multiplicative group of $\mathbb Z_p$ and let $M$ be the $4\times 4$ matrix whose $(i+1),(j+1)-$th entry is the number of elements $x$ of $\mathbb Z_p$ of the form $x\equiv g^k \pmod p$ where $k\equiv i \pmod 4$ and $\lfloor 4x/p \rfloor = j$, for $i,j=0,1,2,3$. We show that $M$ is a Latin square, provided the entries in the first row are distinct, and that $M$ is essentially independent of the choice of $g$. As an application, we prove that the sum in $\mathbb Z$ of the quartic residues is $\frac{p}5(M_{11}+2M_{12}+3M_{13}+4M_{14})$. △ Less

Submitted 3 January, 2017; originally announced January 2017.

MSC Class: 11A15

Sums of Quadratic residues and nonresidues

Authors: Christian Aebi, Grant Cairns

Abstract: It is well known that when a prime $p$ is congruent to 1 modulo 4, the sum of the quadratic residues equals the sum of the quadratic nonresidues. In this note we give analogous results for the case where $p$ is congruent to 3 modulo 4. It is well known that when a prime $p$ is congruent to 1 modulo 4, the sum of the quadratic residues equals the sum of the quadratic nonresidues. In this note we give analogous results for the case where $p$ is congruent to 3 modulo 4. △ Less

Submitted 2 December, 2015; originally announced December 2015.

MSC Class: 11A15

Wolstenholme again

Authors: Christian Aebi, Grant Cairns

Abstract: We give an elementary and self-contained proof of the equivalence of a collection of Wolstenholme-type congruences due to Helou and Terjanian. We give an elementary and self-contained proof of the equivalence of a collection of Wolstenholme-type congruences due to Helou and Terjanian. △ Less

Submitted 19 February, 2015; originally announced February 2015.

MSC Class: 11A07

Wolstenholme and Morley, Primes and Pseudoprimes

Authors: Christian Aebi

Abstract: In this note, we prove $p^2$ is a Morley pseudoprime (of order 2) iff $p^2$ is a Wolstenholme pseudoprime (of order 2) iff $p$ is a Wolstenholme prime iff $p$ is a Morley prime. Concerning pseudoprimes of order 1 that are not powers of primes, only 3 are known of Wolstenholme's type and absolutely none have yet been identified of Morley's type. In this note, we prove $p^2$ is a Morley pseudoprime (of order 2) iff $p^2$ is a Wolstenholme pseudoprime (of order 2) iff $p$ is a Wolstenholme prime iff $p$ is a Morley prime. Concerning pseudoprimes of order 1 that are not powers of primes, only 3 are known of Wolstenholme's type and absolutely none have yet been identified of Morley's type. △ Less

Submitted 26 September, 2022; v1 submitted 9 June, 2013; originally announced June 2013.

Comments: Unfinished and containing mistakes

Morley's other miracle: $\displaystyle 4^{p-1}\equiv\pm (\smallmatrix p-1 \frac{p-1}{2} \endsmallmatrix) \pmod {p^3} $

Authors: Christian Aebi, Grant Cairns

Abstract: Frank Morley is famous for his theorem concerning the angle trisectors of a triangle. This note gives an elementary proof of another result of Morley's, which relates the middle binomial coefficient to a certain power of two. The striking thing about Morley's congruence is that it is valid modulo the third power of the prime being considered. Frank Morley is famous for his theorem concerning the angle trisectors of a triangle. This note gives an elementary proof of another result of Morley's, which relates the middle binomial coefficient to a certain power of two. The striking thing about Morley's congruence is that it is valid modulo the third power of the prime being considered. △ Less

Submitted 15 February, 2013; originally announced February 2013.

MSC Class: 11B65

Journal ref: Math. Mag. 85 (2012), no. 3, 205 -- 211

Wilson Theorems for Double-, Hyper-, Sub- and Super-factorials

Authors: Christian Aebi, Grant Cairns

Abstract: We present generalisations of Wilson's theorem for double factorials, hyperfactorials, subfactorials and superfactorials. We present generalisations of Wilson's theorem for double factorials, hyperfactorials, subfactorials and superfactorials. △ Less

Submitted 15 February, 2013; originally announced February 2013.

MSC Class: 11A25

Sylvester's, Wolstenholme's, Morley's and Lehmer's Congruence Theorems Revisited

Authors: Christian Aebi, Grant Cairns

Abstract: Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems △ Less

Submitted 2 July, 2012; v1 submitted 29 January, 2012; originally announced January 2012.