publications | Charith Mendis

Conference and Journal Papers

2025

MICRO

TAIDL: Tensor Accelerator ISA Definition Language with Auto-generation of Scalable Test Oracles

Devansh Jain , Marco Frigo , Jai Arora , Akash Pardeshi , Zhihao Wang , Krut Patel , and Charith Mendis

In 58th IEEE/ACM International Symposium on Microarchitecture (MICRO) (to appear) , 2025
ICML

COGNATE: Acceleration of Sparse Tensor Programs on Emerging Hardware using Transfer Learning

Chamika Sudusinghe , Gerasimos Gerogiannis , Damitha Lenadora , Charles Block , Josep Torrellas , and Charith Mendis

In Forty-second International Conference on Machine Learning (ICML) , 2025

POPL

TensorRight: Automated Verification of Tensor Graph Rewrites

Jai Arora , Sirui Lu , Devansh Jain , Tianfan Xu , Farzin Houshmand , Phitchaya Mangpo Phothilimthana , Mohsen Lesani , Praveen Narayanan , Karthik Srinivasa Murthy , Rastislav Bodik , Amit Sabne , and Charith Mendis

In 52nd ACM SIGPLAN Symposium on Principles of Programming Languages , Jan 2025

Distinguished Paper Award

Bib PDF

@inproceedings{tensorright-popl25,
  author = {Arora, Jai and Lu, Sirui and Jain, Devansh and Xu, Tianfan and Houshmand, Farzin and Phothilimthana, Phitchaya Mangpo and Lesani, Mohsen and Narayanan, Praveen and Murthy, Karthik Srinivasa and Bodik, Rastislav and Sabne, Amit and Mendis, Charith},
  title = {TensorRight: Automated Verification of Tensor Graph Rewrites},
  booktitle = {52nd ACM SIGPLAN Symposium on Principles of Programming Languages},
  year = {2025},
  award = {Distinguished Paper Award},
  issue_date = {January 2025},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {9},
  number = {POPL},
  url = {https://doi.org/10.1145/3704865},
  doi = {10.1145/3704865},
  journal = {Proc. ACM Program. Lang.},
  month = jan,
  articleno = {29},
  numpages = {32},
  keywords = {Denotational Semantics, Tensor Compilers, Unbounded Verification},
  ae_functional = true,
  ae_available = true
}

OOPSLA

SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention

Ahan Gupta , Yueming Yuan , Devansh Jain , Yuhao Ge , David Aponte , Yanqi Zhou , and Charith Mendis

In PACMPL(OOPSLA) , Apr 2025

Bib PDF

@inproceedings{splat-oopsla25,
  author = {Gupta, Ahan and Yuan, Yueming and Jain, Devansh and Ge, Yuhao and Aponte, David and Zhou, Yanqi and Mendis, Charith},
  title = {SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention},
  booktitle = {PACMPL(OOPSLA)},
  year = {2025},
  series = {OOPSLA '25},
  issue_date = {April 2025},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {9},
  number = {OOPSLA1},
  url = {https://doi.org/10.1145/3720503},
  doi = {10.1145/3720503},
  journal = {Proc. ACM Program. Lang.},
  month = apr,
  articleno = {138},
  numpages = {29},
  keywords = {Code-generation, Deep Learning, Large Language Models},
  ae_functional = true,
  ae_available = true,
  ae_reproduced = true
}

OOPSLA

Automated Verification of Soundness of DNN Certifiers

Avaljot Singh , Yasmin Sarita , Charith Mendis, and Gagandeep Singh

In PACMPL(OOPSLA) , Apr 2025

Bib PDF

@inproceedings{constraintflow-oopsla25,
  author = {Singh, Avaljot and Sarita, Yasmin and Mendis, Charith and Singh, Gagandeep},
  title = {Automated Verification of Soundness of DNN Certifiers},
  booktitle = {PACMPL(OOPSLA)},
  year = {2025},
  series = {OOPSLA '25},
  issue_date = {April 2025},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {9},
  number = {OOPSLA1},
  url = {https://doi.org/10.1145/3720509},
  doi = {10.1145/3720509},
  journal = {Proc. ACM Program. Lang.},
  month = apr,
  articleno = {144},
  numpages = {29},
  keywords = {Abstract interpretation, Language design, Machine learning, Program analysis, Verification},
  ae_functional = true,
  ae_available = true
}

SIGMOD

PilotDB: Database-Agnostic Online Approximate Query Processing with A Priori Error Guarantees

Yuxuan Zhu , Tengjun Jin , Stefanos Baziotis , Chengsong Zhang , Charith Mendis, and Daniel Kang

In Proceedings of ACM on Management of Data (SIGMOD) , Apr 2025

arXiv
PLDI

MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations

Abdul Rafae Noor , Dhruv Baronia , Akash Kothari , Muchen Xu , Charith Mendis, and Vikram Adve

In 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , Apr 2025

2024

ASPLOS

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 , Sudipta Sengupta , Charith Mendis, and Vikram Adve

In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , Apr 2024

PDF
ASPLOS

TGLite: A Lightweight Programming Framework for Continuous-Time Temporal Graph Neural Networks

Yufeng Wang , and Charith Mendis

In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , Apr 2024

PDF

SIGMOD

Dias: Dynamic Rewriting of Pandas Code

Stefanos Baziotis , Daniel Kang , and Charith Mendis

In Proc. ACM Manag. Data (SIGMOD) , Mar 2024

Honorable mention for the Best Artifact Award

arXiv Bib PDF

@inproceedings{dias-sigmod2024,
  author = {Baziotis, Stefanos and Kang, Daniel and Mendis, Charith},
  booktitle = {Proc. ACM Manag. Data (SIGMOD)},
  title = {Dias: Dynamic Rewriting of Pandas Code},
  year = {2024},
  issue_date = {February 2024},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {2},
  number = {1},
  url = {https://doi.org/10.1145/3639313},
  doi = {10.1145/3639313},
  journal = {Proc. ACM Manag. Data (SIGMOD)},
  month = mar,
  articleno = {58},
  numpages = {27},
  keywords = {cross-representation, dynamic, pandas, rewriting},
  award = {Honorable mention for the Best Artifact Award},
  ae_functional = true,
  ae_available = true,
  ae_reproduced = true
}

ASPLOS

Two-Face: Combining Collective and One-Sided Accesses for Efficient Distributed SpMM

Charles Block , Gerasimos Gerogiannis , Charith Mendis, Ariful Azad , and Josep Torrellas

In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , Mar 2024

PDF
SAS

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses

Avaljot Singh , Yasmin Sarita , Charith Mendis, and Gagandeep Singh

In Static Analysis Symposium , Mar 2024
CIKM

Towards Efficient Temporal Graph Learning: Algorithms, Frameworks, and Tools

Ruijie Wang , Wanyu Zhao , Dachun Sun , Charith Mendis, and Tarek Abdelzaher

In Proceedings of the 33rd ACM International Conference on Information and Knowledge Management , Mar 2024

PDF
MLSys

COMET: X86 Cost Model Explanation Framework

Isha Chaudhary , Alex Renda , Charith Mendis, and Gagandeep Singh

Mar 2024

arXiv PDF
SIGIR

TGOnline: Enhancing Temporal Graph Learning with Adaptive Online Meta-Learning

Ruijie Wang , Jingyuan Huang , Yutong Zhang , Jinyang Li , Yufeng Wang , Wanyu Zhao , Shengzhong Liu , Charith Mendis, and Tarek Abdelzaher

In Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval , Mar 2024

PDF

2023

NeurIPS

Learning Large Graph Property Prediction via Graph Segment Training

Kaidi Cao , Mangpo Phothilimthana , Sami Abu-El-Haija , Dustin Zelle , Yanqi Zhou , Charith Mendis, Jure Leskovec , and Bryan Perozzi

In Advances in Neural Information Processing Systems , Mar 2023

Bib PDF

@inproceedings{neurips23-gst,
  author = {Cao, Kaidi and Phothilimthana, Mangpo and Abu-El-Haija, Sami and Zelle, Dustin and Zhou, Yanqi and Mendis, Charith and Leskovec, Jure and Perozzi, Bryan},
  booktitle = {Advances in Neural Information Processing Systems},
  editor = {Oh, A. and Neumann, T. and Globerson, A. and Saenko, K. and Hardt, M. and Levine, S.},
  pages = {23345--23361},
  publisher = {Curran Associates, Inc.},
  title = {Learning Large Graph Property Prediction via Graph Segment Training},
  url = {https://proceedings.neurips.cc/paper_files/paper/2023/file/48f8143cebe113f4596e1781771578cd-Paper-Conference.pdf},
  volume = {36},
  year = {2023},
}

NeurIPS

TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs

Mangpo Phothilimthana , Sami Abu-El-Haija , Kaidi Cao , Bahare Fatemi , Michael Burrows , Charith Mendis, and Bryan Perozzi

In Advances in Neural Information Processing Systems , Mar 2023

Bib PDF

@inproceedings{neurips23-tpugraphs,
  author = {Phothilimthana, Mangpo and Abu-El-Haija, Sami and Cao, Kaidi and Fatemi, Bahare and Burrows, Michael and Mendis, Charith and Perozzi, Bryan},
  booktitle = {Advances in Neural Information Processing Systems},
  editor = {Oh, A. and Neumann, T. and Globerson, A. and Saenko, K. and Hardt, M. and Levine, S.},
  pages = {70355--70375},
  publisher = {Curran Associates, Inc.},
  title = {TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs},
  url = {https://proceedings.neurips.cc/paper_files/paper/2023/file/ded1a89e2b3b925444ada973af66336e-Paper-Datasets_and_Benchmarks.pdf},
  volume = {36},
  year = {2023},
}

MetaCom

Challenges in Metaverse Research: An Internet of Things Perspective

Tarek Abdelzaher , Matthew Caesar , Charith Mendis, Klara Nahrstedt , Mani Srivastava , and Minlan Yu

In IEEE International Conference on Metaverse Computing, Networking and Applications (MetaCom) , Mar 2023

Bib PDF

@inproceedings{metacom23-metaverse,
  author = {Abdelzaher, Tarek and Caesar, Matthew and Mendis, Charith and Nahrstedt, Klara and Srivastava, Mani and Yu, Minlan},
  booktitle = {IEEE International Conference on Metaverse Computing, Networking and Applications (MetaCom)},
  title = {Challenges in Metaverse Research: An Internet of Things Perspective},
  year = {2023},
  volume = {},
  number = {},
  pages = {161-170},
  doi = {10.1109/MetaCom57706.2023.00042},
}

MLSys

Unified Convolution Framework: A compiler-based approach to support sparse convolutions

Jaeyeon Won , Changwan Hong , Charith Mendis, Joel Emer , and Saman Amarasinghe

In Proceedings of Machine Learning and Systems (MLSys) , Mar 2023

Bib PDF

@inproceedings{mlsys23-ucf,
  author = {Won, Jaeyeon and Hong, Changwan and Mendis, Charith and Emer, Joel and Amarasinghe, Saman},
  title = {Unified Convolution Framework: A compiler-based approach to support sparse convolutions},
  keywords = {TACO,ML4C},
  url = {http://groups.csail.mit.edu/commit/papers/2023/2023_MLSys_SparseConvolution_camready.pdf},
  year = {2023},
  address = {Miami, USA},
  booktitle = {Proceedings of Machine Learning and Systems (MLSys)},
  ae_available = true,
  ae_functional = true
}

ISCA

SPADE: A Flexible and Scalable Accelerator for SpMM and SDDMM

Gerasimos Gerogiannis , Serif Yesil , Damitha Lenadora , Dingyuan Cao , Charith Mendis, and Josep Torrellas

In Proceedings of the 50th Annual International Symposium on Computer Architecture (ISCA) , Mar 2023

IEEE Top Picks Honorable Mention

Bib PDF

@inproceedings{spade-isca2023,
  author = {Gerogiannis, Gerasimos and Yesil, Serif and Lenadora, Damitha and Cao, Dingyuan and Mendis, Charith and Torrellas, Josep},
  title = {SPADE: A Flexible and Scalable Accelerator for SpMM and SDDMM},
  year = {2023},
  isbn = {9798400700958},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3579371.3589054},
  doi = {10.1145/3579371.3589054},
  booktitle = {Proceedings of the 50th Annual International Symposium on Computer Architecture (ISCA)},
  articleno = {19},
  numpages = {15},
  keywords = {SDDMM, sparse computations, hardware accelerator, SpMM},
  location = {Orlando, FL, USA},
  series = {ISCA '23},
  bib = {https://dblp.org/rec/conf/isca/GerogiannisYLCM23.html?view=bibtex},
  award = {IEEE Top Picks Honorable Mention}
}

PPoPP

TGOpt: Redundancy-Aware Optimizations for Temporal Graph Attention Networks

Yufeng Wang , and Charith Mendis

In Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP) , Mar 2023

Bib PDF Code

@inproceedings{tgopt-ppopp2023,
  author = {Wang, Yufeng and Mendis, Charith},
  editor = {Dehnavi, Maryam Mehri and Kulkarni, Milind and Krishnamoorthy, Sriram},
  title = {TGOpt: Redundancy-Aware Optimizations for Temporal Graph Attention
                 Networks},
  booktitle = {Proceedings of the 28th {ACM} {SIGPLAN} Annual Symposium on Principles
                 and Practice of Parallel Programming (PPoPP)},
  pages = {354--368},
  publisher = {{ACM}},
  year = {2023},
  url = {https://doi.org/10.1145/3572848.3577490},
  doi = {10.1145/3572848.3577490},
  timestamp = {Wed, 22 Feb 2023 11:49:05 +0100},
  biburl = {https://dblp.org/rec/conf/ppopp/WangM23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/ppopp/WangM23.html?view=bibtex},
  ae_functional = true,
  ae_available = true,
  ae_reproduced = true
}

ASPLOS

WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program

Jaeyeon Won , Charith Mendis, Joel S. Emer , and Saman P. Amarasinghe

In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , Mar 2023

Bib PDF Code

@inproceedings{waco-asplos2023,
  author = {Won, Jaeyeon and Mendis, Charith and Emer, Joel S. and Amarasinghe, Saman P.},
  editor = {Aamodt, Tor M. and Jerger, Natalie D. Enright and Swift, Michael M.},
  title = {{WACO:} Learning Workload-Aware Co-optimization of the Format and
                 Schedule of a Sparse Tensor Program},
  booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
                 Support for Programming Languages and Operating Systems (ASPLOS)},
  pages = {920--934},
  publisher = {{ACM}},
  year = {2023},
  url = {https://doi.org/10.1145/3575693.3575742},
  doi = {10.1145/3575693.3575742},
  timestamp = {Thu, 02 Feb 2023 08:48:06 +0100},
  biburl = {https://dblp.org/rec/conf/asplos/WonMEA23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/asplos/WonMEA23.html?view=bibtex},
  ae_functional = true,
  ae_available = true
}

2022

IISWC

GRANITE: A Graph Neural Network Model for Basic Block Throughput Estimation

Ondrej Sýkora , Phitchaya Mangpo Phothilimthana , Charith Mendis, and Amir Yazdanbakhsh

In IEEE International Symposium on Workload Characterization (IISWC) , Mar 2022

Bib PDF

@inproceedings{granite-iiswc2022,
  author = {S{\'{y}}kora, Ondrej and Phothilimthana, Phitchaya Mangpo and Mendis, Charith and Yazdanbakhsh, Amir},
  title = {{GRANITE:} {A} Graph Neural Network Model for Basic Block Throughput
                 Estimation},
  booktitle = {{IEEE} International Symposium on Workload Characterization (IISWC)},
  pages = {14--26},
  publisher = {{IEEE}},
  year = {2022},
  url = {https://doi.org/10.1109/IISWC55918.2022.00012},
  doi = {10.1109/IISWC55918.2022.00012},
  timestamp = {Wed, 04 Jan 2023 16:48:41 +0100},
  biburl = {https://dblp.org/rec/conf/iiswc/SykoraPMY22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/iiswc/SykoraPMY22.html?view=bibtex}
}

PLDI

All You Need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP

Yishen Chen , Charith Mendis, and Saman Amarasinghe

In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI) , Mar 2022

Bib PDF

@inproceedings{superslp-pldi2022,
  author = {Chen, Yishen and Mendis, Charith and Amarasinghe, Saman},
  title = {All You Need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP},
  year = {2022},
  isbn = {9781450392655},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://groups.csail.mit.edu/commit/papers/2022/pldi22-vegen.pdf},
  doi = {10.1145/3519939.3523701},
  booktitle = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI)},
  pages = {301--315},
  numpages = {15},
  keywords = {SLP},
  location = {San Diego, CA, USA},
  series = {PLDI 2022},
  bib = {https://dblp.org/rec/conf/pldi/ChenMA22.html?view=bibtex},
  ae_functional = true,
  ae_available = true
}

2021

ASPLOS

VeGen: A Vectorizer Generator for SIMD and Beyond

Yishen Chen , Charith Mendis, Michael Carbin , and Saman Amarasinghe

In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , Mar 2021

Bib PDF Video

@inproceedings{vegen-asplos2021,
  author = {Chen, Yishen and Mendis, Charith and Carbin, Michael and Amarasinghe, Saman},
  title = {VeGen: A Vectorizer Generator for SIMD and Beyond},
  year = {2021},
  isbn = {9781450383172},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3445814.3446692},
  doi = {10.1145/3445814.3446692},
  booktitle = {Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)},
  pages = {902–914},
  numpages = {13},
  keywords = {optimization, auto-vectorization, non-SIMD},
  location = {Virtual, USA},
  series = {ASPLOS '21},
  bib = {https://dblp.org/rec/conf/asplos/ChenMCA21.html?view=bibtex},
  ae_functional = true,
  ae_reproduced = true
}

MLSys

A Learned Performance Model for Tensor Processing Units

Sam Kaufman , Phitchaya Phothilimthana , Yanqi Zhou , Charith Mendis, Sudip Roy , Amit Sabne , and Mike Burrows

In Proceedings of Machine Learning and Systems (MLSys) , Mar 2021

used in production at Google in the XLA TPU compiler

Bib PDF

@inproceedings{tpu-costmodel-mlsys2021,
  author = {Kaufman, Sam and Phothilimthana, Phitchaya and Zhou, Yanqi and Mendis, Charith and Roy, Sudip and Sabne, Amit and Burrows, Mike},
  booktitle = {Proceedings of Machine Learning and Systems (MLSys)},
  editor = {Smola, A. and Dimakis, A. and Stoica, I.},
  pages = {387--400},
  title = {A Learned Performance Model for Tensor Processing Units},
  url = {https://proceedings.mlsys.org/paper/2021/file/85d8ce590ad8981ca2c8286f79f59954-Paper.pdf},
  volume = {3},
  year = {2021},
  bdsk-url-1 = {https://proceedings.mlsys.org/paper/2021/file/85d8ce590ad8981ca2c8286f79f59954-Paper.pdf},
  award = {used in production at Google in the XLA TPU compiler},
  bib = {https://dblp.org/rec/conf/mlsys/KaufmanPZM0SB21.html?view=bibtex}
}

2020

MICRO

DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates

Alex Renda , Yishen Chen , Charith Mendis, and Michael Carbin

In 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) , Mar 2020

Bib PDF Video

@inproceedings{difftune-micro2020,
  author = {Renda, Alex and Chen, Yishen and Mendis, Charith and Carbin, Michael},
  title = {DiffTune: Optimizing {CPU} Simulator Parameters with Learned Differentiable
                 Surrogates},
  booktitle = {53rd Annual {IEEE/ACM} International Symposium on Microarchitecture
                 (MICRO)},
  pages = {442--455},
  publisher = {{IEEE}},
  year = {2020},
  url = {https://doi.org/10.1109/MICRO50266.2020.00045},
  doi = {10.1109/MICRO50266.2020.00045},
  timestamp = {Tue, 17 Nov 2020 13:33:12 +0100},
  biburl = {https://dblp.org/rec/conf/micro/RendaCMC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/micro/RendaCMC20.html?view=bibtex},
}

2019

Revec: program rejuvenation through revectorization

Charith Mendis, Ajay Jain , Paras Jain , and Saman P. Amarasinghe

In Proceedings of the 28th International Conference on Compiler Construction (CC) , Mar 2019

Bib PDF Video

@inproceedings{revec-cc2019,
  author = {Mendis, Charith and Jain, Ajay and Jain, Paras and Amarasinghe, Saman P.},
  editor = {Amaral, Jos{\'{e}} Nelson and Kulkarni, Milind},
  title = {Revec: program rejuvenation through revectorization},
  booktitle = {Proceedings of the 28th International Conference on Compiler Construction
                 (CC)},
  pages = {29--41},
  publisher = {{ACM}},
  year = {2019},
  url = {https://doi.org/10.1145/3302516.3307357},
  doi = {10.1145/3302516.3307357},
  timestamp = {Sun, 02 Oct 2022 15:56:08 +0200},
  biburl = {https://dblp.org/rec/conf/cc/MendisJJA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/cc/MendisJJA19.html?view=bibtex},
}

ICML

Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks

Charith Mendis, Alex Renda , Saman P. Amarasinghe , and Michael Carbin

In Proceedings of the 36th International Conference on Machine Learning (ICML) , Mar 2019

Best Paper award at the ML for systems workshop co-located with ISCA’19

Bib PDF Code

@inproceedings{ithemal-icml2019,
  author = {Mendis, Charith and Renda, Alex and Amarasinghe, Saman P. and Carbin, Michael},
  editor = {Chaudhuri, Kamalika and Salakhutdinov, Ruslan},
  title = {Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation
                 using Deep Neural Networks},
  booktitle = {Proceedings of the 36th International Conference on Machine Learning (ICML)},
  series = {Proceedings of Machine Learning Research},
  volume = {97},
  pages = {4505--4515},
  publisher = {{PMLR}},
  year = {2019},
  url = {http://proceedings.mlr.press/v97/mendis19a.html},
  timestamp = {Tue, 11 Jun 2019 15:37:38 +0200},
  biburl = {https://dblp.org/rec/conf/icml/MendisRAC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  award = {Best Paper award at the ML for systems workshop co-located with ISCA'19},
  bib = {https://dblp.org/rec/conf/icml/MendisRAC19.html?view=bibtex},
}

IISWC

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 , and Michael Carbin

In IEEE International Symposium on Workload Characterization (IISWC) , Mar 2019

Bib PDF Code

@inproceedings{bhive-iiswc2019,
  author = {Chen, Yishen and Brahmakshatriya, Ajay and Mendis, Charith and Renda, Alex and Atkinson, Eric and S{\'{y}}kora, Ondrej and Amarasinghe, Saman P. and Carbin, Michael},
  title = {BHive: {A} Benchmark Suite and Measurement Framework for Validating
                 x86-64 Basic Block Performance Models},
  booktitle = {{IEEE} International Symposium on Workload Characterization (IISWC)},
  pages = {167--177},
  publisher = {{IEEE}},
  year = {2019},
  url = {https://doi.org/10.1109/IISWC47752.2019.9042166},
  doi = {10.1109/IISWC47752.2019.9042166},
  timestamp = {Mon, 23 Mar 2020 13:15:20 +0100},
  biburl = {https://dblp.org/rec/conf/iiswc/ChenBMRASAC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/iiswc/ChenBMRASAC19.html?view=bibtex},
}

NeurIPS

Compiler Auto-Vectorization with Imitation Learning

Charith Mendis, Cambridge Yang , Yewen Pu , Saman P. Amarasinghe , and Michael Carbin

In Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems (NeurIPS) , Mar 2019

Bib PDF

@inproceedings{vemal-neurips2019,
  author = {Mendis, Charith and Yang, Cambridge and Pu, Yewen and Amarasinghe, Saman P. and Carbin, Michael},
  editor = {Wallach, Hanna M. and Larochelle, Hugo and Beygelzimer, Alina and d'Alch{\'{e}}{-}Buc, Florence and Fox, Emily B. and Garnett, Roman},
  title = {Compiler Auto-Vectorization with Imitation Learning},
  booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
                 on Neural Information Processing Systems (NeurIPS)},
  pages = {14598--14609},
  year = {2019},
  timestamp = {Mon, 16 May 2022 15:41:51 +0200},
  biburl = {https://dblp.org/rec/conf/nips/MendisYPAC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/nips/MendisYPAC19.html?view=bibtex}
}

2018

OOPSLA

goSLP: globally optimized superword level parallelism framework

Charith Mendis, and Saman P. Amarasinghe

Proc. ACM Program. Lang. (OOPSLA), Mar 2018

Bib PDF Video

@article{goslp-oopsla2018,
  author = {Mendis, Charith and Amarasinghe, Saman P.},
  title = {goSLP: globally optimized superword level parallelism framework},
  journal = {Proc. {ACM} Program. Lang. (OOPSLA)},
  volume = {2},
  number = {{OOPSLA}},
  pages = {110:1--110:28},
  year = {2018},
  url = {https://doi.org/10.1145/3276480},
  doi = {10.1145/3276480},
  timestamp = {Sun, 02 Oct 2022 15:26:02 +0200},
  biburl = {https://dblp.org/rec/journals/pacmpl/MendisA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/journals/pacmpl/MendisA18.html?view=bibtex},
  ae_functional = true
}

2017

BigData

Making caches work for graph analytics

Yunming Zhang , Vladimir Kiriansky , Charith Mendis, Saman P. Amarasinghe , and Matei Zaharia

In IEEE International Conference on Big Data (BigData) , Mar 2017

Best Student Paper award

Bib PDF

@inproceedings{cagra-bigdata2017,
  author = {Zhang, Yunming and Kiriansky, Vladimir and Mendis, Charith and Amarasinghe, Saman P. and Zaharia, Matei},
  editor = {Nie, Jian{-}Yun and Obradovic, Zoran and Suzumura, Toyotaro and Ghosh, Rumi and Nambiar, Raghunath and Wang, Chonggang and Zang, Hui and Baeza{-}Yates, Ricardo and Hu, Xiaohua and Kepner, Jeremy and Cuzzocrea, Alfredo and Tang, Jian and Toyoda, Masashi},
  title = {Making caches work for graph analytics},
  booktitle = {{IEEE} International Conference on Big Data (BigData)},
  pages = {293--302},
  publisher = {{IEEE} Computer Society},
  year = {2017},
  url = {https://doi.org/10.1109/BigData.2017.8257937},
  doi = {10.1109/BigData.2017.8257937},
  timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
  biburl = {https://dblp.org/rec/conf/bigdataconf/ZhangKMAZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  award = {Best Student Paper award},
  bib = {https://dblp.org/rec/conf/bigdataconf/ZhangKMAZ17.html?view=bibtex}
}

2016

ICASSP

Parallelizing WFST speech decoders

Charith Mendis, Jasha Droppo , Saeed Maleki , Madanlal Musuvathi , Todd Mytkowicz , and Geoffrey Zweig

In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) , Mar 2016

Bib PDF

@inproceedings{par-wfst-icassp2016,
  author = {Mendis, Charith and Droppo, Jasha and Maleki, Saeed and Musuvathi, Madanlal and Mytkowicz, Todd and Zweig, Geoffrey},
  title = {Parallelizing {WFST} speech decoders},
  booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal
                 Processing (ICASSP)},
  pages = {5325--5329},
  publisher = {{IEEE}},
  year = {2016},
  url = {https://doi.org/10.1109/ICASSP.2016.7472694},
  doi = {10.1109/ICASSP.2016.7472694},
  timestamp = {Sun, 25 Oct 2020 23:13:48 +0100},
  biburl = {https://dblp.org/rec/conf/icassp/MendisDMMMZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/icassp/MendisDMMMZ16.html?view=bibtex}
}

2015

PLDI

Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code

Charith Mendis, Jeffrey Bosboom , Kevin Wu , Shoaib Kamil , Jonathan Ragan-Kelley , Sylvain Paris , Qin Zhao , and Saman P. Amarasinghe

In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , Mar 2015

Bib PDF

@inproceedings{helium-pldi2015,
  author = {Mendis, Charith and Bosboom, Jeffrey and Wu, Kevin and Kamil, Shoaib and Ragan{-}Kelley, Jonathan and Paris, Sylvain and Zhao, Qin and Amarasinghe, Saman P.},
  editor = {Grove, David and Blackburn, Stephen M.},
  title = {Helium: lifting high-performance stencil kernels from stripped x86
                 binaries to halide {DSL} code},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
                 Language Design and Implementation (PLDI)},
  pages = {391--402},
  publisher = {{ACM}},
  year = {2015},
  url = {https://doi.org/10.1145/2737924.2737974},
  doi = {10.1145/2737924.2737974},
  timestamp = {Thu, 24 Nov 2022 09:18:38 +0100},
  biburl = {https://dblp.org/rec/conf/pldi/MendisBWKRPZA15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bib = {https://dblp.org/rec/conf/pldi/MendisBWKRPZA15.html?view=bibtex},
  web = {http://projects.csail.mit.edu/helium/}
}