publications

2024

1. The Next 700 ML-Enabled Compiler Optimizations

   S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla, and 6 more authors

   In Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

   Abs HTML PDF

   There is a growing interest in enhancing compiler optimizations with ML models, yet interactions between compilers and ML frameworks remain challenging. Some optimizations require tightly coupled models and compiler internals, raising issues with modularity, performance and framework independence. Practical deployment and transparency for the end-user are also important concerns. We propose ML-Compiler-Bridge to enable ML model development within a traditional Python framework while making end-to-end integration with an optimizing compiler possible and efficient. We evaluate it on both research and production use cases, for training and inference, over several optimization problems, multiple compilers and its versions, and gym infrastructures.

2023

1. RL4ReAl: Reinforcement Learning for Register Allocation

   S. VenkataKeerthy, Siddharth Jain, Anilava Kundu, and 3 more authors

   In Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

   Abs HTML PDF

   We aim to automate decades of research and experience in register allocation, leveraging machine learning. We tackle this problem by embedding a multi-agent reinforcement learning algorithm within LLVM, training it with the state of the art techniques. We formalize the constraints that precisely define the problem for a given instruction-set architecture, while ensuring that the generated code preserves semantic correctness. We also develop a gRPC based framework providing a modular and efficient compiler interface for training and inference. Our approach is architecture independent: we show experimental results targeting Intel x86 and ARM AArch64. Our results match or out-perform the heavily tuned, production-grade register allocators of LLVM.

1967

1. 

   Letters on wave mechanics

   Albert Einstein, Erwin Schrödinger, Max Planck, and 2 more authors

   1967

   Bib

   @book{przibram1967letters,
     title = {Letters on wave mechanics},
     author = {Einstein, Albert and Schrödinger, Erwin and Planck, Max and Lorentz, Hendrik Antoon and Przibram, Karl},
     year = {1967},
     publisher = {Vision},
   }

1956

1. 

   Investigations on the Theory of the Brownian Movement

   Albert Einstein

   1956

   Bib

   @book{einstein1956investigations,
     title = {Investigations on the Theory of the Brownian Movement},
     author = {Einstein, Albert},
     year = {1956},
     publisher = {Courier Corporation},
   }

1950

1. AJP

   The meaning of relativity

   Albert Einstein, and AH Taub

   American Journal of Physics, 1950

   Bib

   @article{einstein1950meaning,
     title = {The meaning of relativity},
     author = {Einstein, Albert and Taub, AH},
     journal = {American Journal of Physics},
     volume = {18},
     number = {6},
     pages = {403--404},
     year = {1950},
     publisher = {American Association of Physics Teachers}
   }

1935

1. PhysRev

   Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

   A. Einstein, B. Podolsky, and N. Rosen

   Phys. Rev., May 1935

   Abs HTML PDF

   In a complete theory there is an element corresponding to each element of reality. A sufficient condition for the reality of a physical quantity is the possibility of predicting it with certainty, without disturbing the system. In quantum mechanics in the case of two physical quantities described by non-commuting operators, the knowledge of one precludes the knowledge of the other. Then either (1) the description of reality given by the wave function in quantum mechanics is not complete or (2) these two quantities cannot have simultaneous reality. Consideration of the problem of making predictions concerning a system on the basis of measurements made on another system that had previously interacted with it leads to the result that if (1) is false then (2) is also false. One is thus led to conclude that the description of reality as given by a wave function is not complete.

1905

1. Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen

   A. Einstein

   Annalen der physik, May 1905
2. Ann. Phys.

   Un the movement of small particles suspended in statiunary liquids required by the molecular-kinetic theory 0f heat

   A. Einstein

   Ann. Phys., May 1905
3. On the electrodynamics of moving bodies

   A. Einstein

   May 1905