%0 Conference Paper %1 conf/ecoop/QiuCBHSC24 %A Qiu, Jie %A Cai, Colin %A Bhatia, Sahil %A Hasabnis, Niranjan %A Seshia, Sanjit A. %A Cheung, Alvin %B ECOOP %D 2024 %E Aldrich, Jonathan %E Salvaneschi, Guido %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 32:1-32:28 %T Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2024.html#QiuCBHSC24 %V 313 %@ 978-3-95977-341-6

@inproceedings{conf/ecoop/QiuCBHSC24, added-at = {2024-09-12T00:00:00.000+0200}, author = {Qiu, Jie and Cai, Colin and Bhatia, Sahil and Hasabnis, Niranjan and Seshia, Sanjit A. and Cheung, Alvin}, biburl = {https://www.bibsonomy.org/bibtex/2a82878341bff25f3c19c5cf13b7225a0/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2024}, editor = {Aldrich, Jonathan and Salvaneschi, Guido}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.32}, interhash = {70090b62def5470668112931f8657c55}, intrahash = {a82878341bff25f3c19c5cf13b7225a0}, isbn = {978-3-95977-341-6}, keywords = {dblp}, pages = {32:1-32:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-09-16T07:07:08.000+0200}, title = {Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2024.html#QiuCBHSC24}, volume = 313, year = 2024 }