<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

LGTM: the Logic for Graceful Tensor Manipulation

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 11 Mar 2024 English Publisher:Zenodo

Authors: Gladshtein, Vladimir; Zhao, Qiyuan; Ahrens, Willow; Amarasinghe, Saman; Sergey, Ilya;

doi: 10.5281/zenodo.10802913 , 10.5281/zenodo.10951930 , 10.5281/zenodo.10802914

LGTM: the Logic for Graceful Tensor Manipulation

- Summary
- Metrics

Abstract

This is the research artefact for the paper Mechanised Hypersafety Proofs about Structured Data to appear in the proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024). Please see the README.md file inside the zip archive for detailed instructions.

Related Organizations

National University of Singapore
Singapore
Massachusetts Institute of Technology
United States

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average