355 citations · 697 across the 11 of their papers we have counts for
3 papers · 1 filter
Caviar: An E-graph Based TRS for Automatic Code Optimization
Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb +4
Term Rewriting Systems (TRSs) are used in compilers to simplify and prove expressions. State-of-the-art TRSs in compilers use a greedy algorithm that applies a set of rewriting rul…
Sustainable AI: Environmental Implications, Challenges and Opportunities
Carole-Jean Wu, Ramya Raghavendra, Udit Gupta +22
This paper explores the environmental impact of the super-linear growth trends for AI from a holistic perspective, spanning Data, Algorithms, and System Hardware. We characterize t…
Using Python for Model Inference in Deep Learning
Zachary DeVito, Jason Ansel, Will Constable +3
Python has become the de-facto language for training deep neural networks, coupling a large suite of scientific computing libraries with efficient libraries for tensor computation…