Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. - Charith Mendis; Jeffrey Bosboom; Kevin Wu; Shoaib Kamil 001; Jonathan Ragan-Kelley; Sylvain Paris; Qin Zhao; Saman P. Amarasinghe (PLDI, 2015)

Parallelizing WFST speech decoders. - Charith Mendis; Jasha Droppo; Saeed Maleki; Madanlal Musuvathi; Todd Mytkowicz; Geoffrey Zweig (ICASSP, 2016)

Optimizing Cache Performance for Graph Analytics. - Yunming Zhang; Vladimir Kiriansky; Charith Mendis; Matei Zaharia; Saman P. Amarasinghe (CoRR, 2016)

Making caches work for graph analytics. - Yunming Zhang; Vladimir Kiriansky; Charith Mendis; Saman P. Amarasinghe; Matei Zaharia (IEEE BigData, 2017)

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

goSLP: globally optimized superword level parallelism framework. - Charith Mendis; Saman P. Amarasinghe (Proc. ACM Program. Lang., 2018)

Revec: program rejuvenation through revectorization. - Charith Mendis; Ajay Jain; Paras Jain 001; Saman P. Amarasinghe (CC, 2019)

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)

Compiler Auto-Vectorization with Imitation Learning. - Charith Mendis; Cambridge Yang; Yewen Pu; Saman P. Amarasinghe; Michael Carbin (NeurIPS, 2019)

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

VeGen: a vectorizer generator for SIMD and beyond. - Yishen Chen; Charith Mendis; Michael Carbin; Saman P. Amarasinghe (ASPLOS, 2021)

A Learned Performance Model for Tensor Processing Units. - Samuel J. Kaufman; Phitchaya Mangpo Phothilimthana; Yanqi Zhou; Charith Mendis; Sudip Roy 002; Amit Sabne; Mike Burrows (MLSys, 2021)

GRANITE: A Graph Neural Network Model for Basic Block Throughput Estimation. - Ondrej Sýkora; Phitchaya Mangpo Phothilimthana; Charith Mendis; Amir Yazdanbakhsh (IISWC, 2022)

All you need is superword-level parallelism: systematic control-flow vectorization with SLP. - Yishen Chen; Charith Mendis; Saman P. Amarasinghe (PLDI, 2022)

WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program. - Jaeyeon Won; Charith Mendis; Joel S. Emer; Saman P. Amarasinghe (ASPLOS (2), 2023)

SPADE: A Flexible and Scalable Accelerator for SpMM and SDDMM. - Gerasimos Gerogiannis; Serif Yesil; Damitha Lenadora; Dingyuan Cao 002; Charith Mendis; Josep Torrellas (ISCA, 2023)

Challenges in Metaverse Research: An Internet of Things Perspective. - Tarek F. Abdelzaher; Matthew Caesar 001; Charith Mendis; Klara Nahrstedt; Mani Srivastava 001; Minlan Yu (MetaCom, 2023)

Unified Convolution Framework: A compiler-based approach to support sparse convolutions. - Jaeyeon Won; Changwan Hong; Charith Mendis; Joel S. Emer; Saman P. Amarasinghe (MLSys, 2023)

Learning Large Graph Property Prediction via Graph Segment Training. - Kaidi Cao; Phitchaya Mangpo Phothilimthana; Sami Abu-El-Haija; Dustin Zelle; Yanqi Zhou; Charith Mendis; Jure Leskovec; Bryan Perozzi (NeurIPS, 2023)

TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs. - Phitchaya Mangpo Phothilimthana; Sami Abu-El-Haija; Kaidi Cao; Bahare Fatemi; Michael Burrows; Charith Mendis; Bryan Perozzi (NeurIPS, 2023)

TGOpt: Redundancy-Aware Optimizations for Temporal Graph Attention Networks. - Yufeng Wang; Charith Mendis (PPoPP, 2023)

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

Dias: Dynamic Rewriting of Pandas Code. - Stefanos Baziotis; Daniel Kang; Charith Mendis (CoRR, 2023)

Input-sensitive dense-sparse primitive compositions for GNN acceleration. - Damitha Lenadora; Vimarsh Sathia; Gerasimos Gerogiannis; Serif Yesil; Josep Torrellas; Charith Mendis (CoRR, 2023)

FLuRKA: Fast fused Low-Rank & Kernel Attention. - Ahan Gupta; Yueming Yuan; Yanqi Zhou; Charith Mendis (CoRR, 2023)

TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs. - Phitchaya Mangpo Phothilimthana; Sami Abu-El-Haija; Kaidi Cao; Bahare Fatemi; Charith Mendis; Bryan Perozzi (CoRR, 2023)

Two-Face: Combining Collective and One-Sided Communication for Efficient Distributed SpMM. - Charles Block; Gerasimos Gerogiannis; Charith Mendis; Ariful Azad; Josep Torrellas (ASPLOS (2), 2024)

Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures. - Akash Kothari; Abdul Rafae Noor; Muchen Xu; Hassam Uddin; Dhruv Baronia; Stefanos Baziotis; Vikram S. Adve; Charith Mendis; Sudipta Sengupta (ASPLOS (2), 2024)

TGLite: A Lightweight Programming Framework for Continuous-Time Temporal Graph Neural Networks. - Yufeng Wang; Charith Mendis (ASPLOS (2), 2024)

Towards Efficient Temporal Graph Learning: Algorithms, Frameworks, and Tools. - Ruijie Wang 004; Wanyu Zhao; Dachun Sun; Charith Mendis; Tarek F. Abdelzaher (CIKM, 2024)

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

ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (SAS, 2024)

TGOnline: Enhancing Temporal Graph Learning with Adaptive Online Meta-Learning. - Ruijie Wang 004; Jingyuan Huang; Yutong Zhang; Jinyang Li 004; Yufeng Wang; Wanyu Zhao; Shengzhong Liu; Charith Mendis; Tarek F. Abdelzaher (SIGIR, 2024)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (CoRR, 2024)

Transforming the Hybrid Cloud for Emerging AI Workloads. - Deming Chen; Alaa Youssef; Ruchi Pendse; André Schleife; Bryan K. Clark; Hendrik F. Hamann; Jingrui He; Teodoro Laino; Lav R. Varshney; Yuxiong Wang; Avirup Sil; Reyhaneh Jabbarvand; et al. (CoRR, 2024)

Dias: Dynamic Rewriting of Pandas Code. - Stefanos Baziotis; Daniel D. Kang; Charith Mendis (Proc. ACM Manag. Data, 2024)

TensorRight: Automated Verification of Tensor Graph Rewrites. - Jai Arora; Sirui Lu; Devansh Jain 001; Tianfan Xu; Farzin Houshmand; Phitchaya Mangpo Phothilimthana; Mohsen Lesani; Praveen Narayanan; Karthik Srinivasa Murthy; Rastislav Bodík; Amit Sabne; Charith Mendis (Proc. ACM Program. Lang., 2025)

SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention. - Ahan Gupta; Yueming Yuan; Devansh Jain 001; Yuhao Ge; David Aponte; Yanqi Zhou; Charith Mendis (Proc. ACM Program. Lang., 2025)

MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations. - Abdul Rafae Noor; Dhruv Baronia; Akash Kothari; Muchen Xu; Charith Mendis; Vikram S. Adve (Proc. ACM Program. Lang., 2025)

Automated Verification of Soundness of DNN Certifiers. - Avaljot Singh; Yasmin Sarita; Charith Mendis; Gagandeep Singh 001 (Proc. ACM Program. Lang., 2025)

PilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error Guarantees (Technical Report). - Yuxuan Zhu; Tengjun Jin; Stefanos Baziotis; Chengsong Zhang; Charith Mendis; Daniel Kang (CoRR, 2025)

COGNATE: Acceleration of Sparse Tensor Programs on Emerging Hardware using Transfer Learning. - Chamika Sudusinghe; Gerasimos Gerogiannis; Damitha Lenadora; Charles Block; Josep Torrellas; Charith Mendis (CoRR, 2025)

PandasBench: A Benchmark for the Pandas API. - Alex Broihier; Stefanos Baziotis; Daniel Kang; Charith Mendis (CoRR, 2025)

PilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error Guarantees. - Yuxuan Zhu; Tengjun Jin; Stefanos Baziotis; Chengsong Zhang; Charith Mendis; Daniel D. Kang (Proc. ACM Manag. Data, 2025)

A Tensor-Based Compiler and a Runtime for Neuron-Level DNN Certifier Specifications. - Avaljot Singh; Yamin Chandini Sarita; Aditya Mishra; Ishaan Goyal; Gagandeep Singh 001; Charith Mendis (CoRR, 2025)