@inproceedings{tensorright-popl25,
bibtex_show = {true},
abbr = {POPL},
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},
pdf = {https://dl.acm.org/doi/pdf/10.1145/3704865},
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}
}
@inproceedings{splat-oopsla25,
bibtex_show = {true},
abbr = {OOPSLA},
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},
pdf = {https://dl.acm.org/doi/pdf/10.1145/3720503}
}
@inproceedings{constraintflow-oopsla25,
bibtex_show = {true},
abbr = {OOPSLA},
author = {Singh, Avaljot and Sarita, Yasmin and Mendis, Charith and Singh, Gagandeep},
title = {Automated Verification of Soundness of DNN Certifiers},
booktitle = {PACMPL(OOPSLA)},
pdf = {https://dl.acm.org/doi/pdf/10.1145/3720509},
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}
}
@inproceedings{dias-sigmod2024,
bibtex_show = {true},
abbr = {SIGMOD},
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},
arxiv = {2303.16146},
pdf = {https://dl.acm.org/doi/pdf/10.1145/3639313},
award = {Honorable mention for the Best Artifact Award}
}
@inproceedings{tgnn-tutorial-cikm24,
bibtex_show = {true},
abbr = {CIKM},
author = {Wang, Ruijie and Zhao, Wanyu and Sun, Dachun and Mendis, Charith and Abdelzaher, Tarek},
title = {Towards Efficient Temporal Graph Learning: Algorithms, Frameworks, and Tools},
year = {2024},
isbn = {9798400704369},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3627673.3679104},
doi = {10.1145/3627673.3679104},
booktitle = {Proceedings of the 33rd ACM International Conference on Information and Knowledge Management},
pages = {5530–5533},
numpages = {4},
keywords = {data-efficient learning, graph neural networks, resource-efficient learning, temporal graphs},
location = {Boise, ID, USA},
series = {CIKM '24},
pdf = {https://dl.acm.org/doi/pdf/10.1145/3627673.3679104}
}
@inproceedings{neurips23-gst,
bibtex_show = {true},
abbr = {NeurIPS},
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 = {A. Oh and T. Neumann and A. Globerson and K. Saenko and M. Hardt and S. Levine},
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},
pdf = {https://proceedings.neurips.cc/paper_files/paper/2023/file/48f8143cebe113f4596e1781771578cd-Paper-Conference.pdf}
}
@inproceedings{neurips23-tpugraphs,
abbr = {NeurIPS},
bibtex_show = {true},
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 = {A. Oh and T. Neumann and A. Globerson and K. Saenko and M. Hardt and S. Levine},
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},
pdf = {https://proceedings.neurips.cc/paper_files/paper/2023/file/ded1a89e2b3b925444ada973af66336e-Paper-Datasets_and_Benchmarks.pdf}
}
@INPROCEEDINGS{metacom23-metaverse,
abbr = {MetaCom},
bibtex_show = {true},
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},
pdf = {metacom23-metaverse.pdf}
}
@InProceedings{mlsys23-ucf,
abbr = {MLSys},
bibtex_show = {true},
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)",
pdf = {mlsys23-ucf.pdf}
}
@inproceedings{spade-isca2023,
abbr = {ISCA},
bibtex_show = {true},
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},
pdf = {isca23-spade.pdf},
bib = {https://dblp.org/rec/conf/isca/GerogiannisYLCM23.html?view=bibtex},
award = {IEEE Top Picks Honorable Mention}
}
@inproceedings{tgopt-ppopp2023,
abbr = {PPoPP},
bibtex_show = {true},
author = {Yufeng Wang and
Charith Mendis},
editor = {Maryam Mehri Dehnavi and
Milind Kulkarni and
Sriram Krishnamoorthy},
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},
pdf = {ppopp23-tgopt.pdf},
code = "https://github.com/ADAPT-uiuc/tgopt",
bib = "https://dblp.org/rec/conf/ppopp/WangM23.html?view=bibtex"
}
@inproceedings{waco-asplos2023,
abbr = {ASPLOS},
bibtex_show = {true},
author = {Jaeyeon Won and
Charith Mendis and
Joel S. Emer and
Saman P. Amarasinghe},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
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},
pdf = {asplos23-waco.pdf},
code = {https://github.com/nullplay/Workload-Aware-Co-Optimization},
bib = {https://dblp.org/rec/conf/asplos/WonMEA23.html?view=bibtex}
}
@inproceedings{granite-iiswc2022,
abbr = {IISWC},
bibtex_show = {true},
author = {Ondrej S{\'{y}}kora and
Phitchaya Mangpo Phothilimthana and
Charith Mendis and
Amir Yazdanbakhsh},
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},
pdf = {iiswc22-granite.pdf},
bib = {https://dblp.org/rec/conf/iiswc/SykoraPMY22.html?view=bibtex}
}
@inproceedings{superslp-pldi2022,
abbr = {PLDI},
bibtex_show = {true},
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",
pdf = {https://dl.acm.org/doi/pdf/10.1145/3519939.3523701},
bib = {https://dblp.org/rec/conf/pldi/ChenMA22.html?view=bibtex}
}
@inproceedings{vegen-asplos2021,
abbr = {ASPLOS},
bibtex_show = {true},
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},
pdf = {asplos21-vegen.pdf},
bib = {https://dblp.org/rec/conf/asplos/ChenMCA21.html?view=bibtex},
video = {https://www.youtube.com/watch?v=uwNAnC2y8ds}
}
@inproceedings{tpu-costmodel-mlsys2021,
abbr = {MLSys},
bibtex_show = {true},
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 = {A. Smola and A. Dimakis and I. Stoica},
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},
pdf = {mlsys21-tpu.pdf},
award = {used in production at Google in the XLA TPU compiler},
bib = {https://dblp.org/rec/conf/mlsys/KaufmanPZM0SB21.html?view=bibtex}
}
@inproceedings{difftune-micro2020,
abbr = {MICRO},
bibtex_show = {true},
author = {Alex Renda and
Yishen Chen and
Charith Mendis and
Michael Carbin},
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},
pdf = {micro20-difftune.pdf},
bib = {https://dblp.org/rec/conf/micro/RendaCMC20.html?view=bibtex},
video = {https://www.youtube.com/watch?v=7sN2YsqgPLY}
}
@inproceedings{revec-cc2019,
abbr = {CC},
bibtex_show = {true},
author = {Charith Mendis and
Ajay Jain and
Paras Jain and
Saman P. Amarasinghe},
editor = {Jos{\'{e}} Nelson Amaral and
Milind Kulkarni},
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},
pdf = {cc19-revec.pdf},
bib = {https://dblp.org/rec/conf/cc/MendisJJA19.html?view=bibtex},
video = {https://www.youtube.com/watch?v=EoVozNOnr4k}
}
@inproceedings{ithemal-icml2019,
abbr = {ICML},
bibtex_show = {true},
author = {Charith Mendis and
Alex Renda and
Saman P. Amarasinghe and
Michael Carbin},
editor = {Kamalika Chaudhuri and
Ruslan Salakhutdinov},
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},
pdf = {icml19-ithemal.pdf},
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},
code = {https://github.com/ithemal/Ithemal}
}
@inproceedings{bhive-iiswc2019,
abbr = {IISWC},
bibtex_show = {true},
author = {Yishen Chen and
Ajay Brahmakshatriya and
Charith Mendis and
Alex Renda and
Eric Atkinson and
Ondrej S{\'{y}}kora and
Saman P. Amarasinghe and
Michael Carbin},
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},
pdf = {iiswc19-bhive.pdf},
bib = {https://dblp.org/rec/conf/iiswc/ChenBMRASAC19.html?view=bibtex},
code = {https://github.com/ithemal/bhive}
}
@inproceedings{vemal-neurips2019,
abbr = {NeurIPS},
bibtex_show = {true},
author = {Charith Mendis and
Cambridge Yang and
Yewen Pu and
Saman P. Amarasinghe and
Michael Carbin},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
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},
pdf = {neurips19-vemal.pdf},
bib = {https://dblp.org/rec/conf/nips/MendisYPAC19.html?view=bibtex}
}
@article{goslp-oopsla2018,
abbr = {OOPSLA},
bibtex_show = {true},
author = {Charith Mendis and
Saman P. Amarasinghe},
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},
pdf = {oopsla18-goslp.pdf},
bib = {https://dblp.org/rec/journals/pacmpl/MendisA18.html?view=bibtex},
video = {https://www.youtube.com/watch?v=5XoK9BeTP9Q&list=PLyrlk8Xaylp4hRBrMJlov4fRy5YH8UgWu&index=47&t=0s}
}
@inproceedings{cagra-bigdata2017,
abbr = {BigData},
bibtex_show = {true},
author = {Yunming Zhang and
Vladimir Kiriansky and
Charith Mendis and
Saman P. Amarasinghe and
Matei Zaharia},
editor = {Jian{-}Yun Nie and
Zoran Obradovic and
Toyotaro Suzumura and
Rumi Ghosh and
Raghunath Nambiar and
Chonggang Wang and
Hui Zang and
Ricardo Baeza{-}Yates and
Xiaohua Hu and
Jeremy Kepner and
Alfredo Cuzzocrea and
Jian Tang and
Masashi Toyoda},
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},
pdf = {bigdata17-cagra.pdf},
award = {Best Student Paper award},
bib = {https://dblp.org/rec/conf/bigdataconf/ZhangKMAZ17.html?view=bibtex}
}
@inproceedings{par-wfst-icassp2016,
abbr = {ICASSP},
bibtex_show = {true},
author = {Charith Mendis and
Jasha Droppo and
Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz and
Geoffrey Zweig},
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},
pdf = {icassp16-wfst.pdf},
bib = {https://dblp.org/rec/conf/icassp/MendisDMMMZ16.html?view=bibtex}
}
@inproceedings{helium-pldi2015,
abbr = {PLDI},
bibtex_show = {true},
author = {Charith Mendis and
Jeffrey Bosboom and
Kevin Wu and
Shoaib Kamil and
Jonathan Ragan{-}Kelley and
Sylvain Paris and
Qin Zhao and
Saman P. Amarasinghe},
editor = {David Grove and
Stephen M. Blackburn},
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},
pdf = {pldi15-helium.pdf},
bib = {https://dblp.org/rec/conf/pldi/MendisBWKRPZA15.html?view=bibtex},
web = {http://projects.csail.mit.edu/helium/}
}