Abstractions for AI-Based User Interfaces and Systems. - Alex Renda; Harrison Goldstein; Sarah Bird; Chris Quirk; Adrian Sampson (CoRR, 2017)

Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks. - Charith Mendis; Alex Renda; Saman P. Amarasinghe; Michael Carbin (ICML, 2019)

BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models. - Yishen Chen; Ajay Brahmakshatriya; Charith Mendis; Alex Renda; Eric Atkinson; Ondrej Sýkora; Saman P. Amarasinghe; Michael Carbin (IISWC, 2019)

Comparing Rewinding and Fine-tuning in Neural Network Pruning. - Alex Renda; Jonathan Frankle; Michael Carbin (ICLR, 2020)

DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates. - Alex Renda; Yishen Chen; Charith Mendis; Michael Carbin (MICRO, 2020)

TIRAMISU: A Polyhedral Compiler for Dense and Sparse Deep Learning. - Riyadh Baghdadi; Abdelkader Nadir Debbagh; Kamel Abdous; Fatima-Zohra Benhamida; Alex Renda; Jonathan Elliott Frankle; Michael Carbin; Saman P. Amarasinghe (CoRR, 2020)

Programming with neural surrogates of programs. - Alex Renda; Yi Ding 006; Michael Carbin (Onward!, 2021)

Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression. - Yi Ding 006; Alex Renda; Ahsan Pervaiz; Michael Carbin; Henry Hoffmann (CoRR, 2022)

The Effect of Data Dimensionality on Neural Network Prunability. - Zachary Ankner; Alex Renda; Gintare Karolina Dziugaite; Jonathan Frankle; Tian Jin (CoRR, 2022)

CoMEt: x86 Cost Model Explanation Framework. - Isha Chaudhary; Alex Renda; Charith Mendis; Gagandeep Singh 001 (CoRR, 2023)

Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs. - Alex Renda; Yi Ding 006; Michael Carbin (Proc. ACM Program. Lang., 2023)

Learning to Compile Programs to Neural Networks. - Logan Weber; Jesse Michel; Alex Renda; Michael Carbin (ICML, 2024)

COMET: Neural Cost Model Explanation Framework. - Isha Chaudhary; Alex Renda; Charith Mendis; Gagandeep Singh 001 (MLSys, 2024)