1 view
ACM SIGPLAN
[POPL'25] TensorRight: Automated Verification of Tensor Graph Rewrites
Login with Google Login with Discord
Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
![[PLMW @ POPL25] How to give a good talk](http://i.ytimg.com/vi/I9kJgwYhQg4/mqdefault.jpg "[PLMW @ POPL25] How to give a good talk")
![[POPL'25] Universal Composability is Robust Compilation](http://i.ytimg.com/vi/-JEzHksP4DY/mqdefault.jpg "[POPL'25] Universal Composability is Robust Compilation")
![[POPL'25] Peek A Boo - POPL I (23rd Jan)](http://i.ytimg.com/vi/Jff0pIbj8PM/mqdefault.jpg "[POPL'25] Peek A Boo - POPL I (23rd Jan)")
![[PLMW @ POPL25] My Journey in Secure Compilation](http://i.ytimg.com/vi/wNS7T5LqqrA/mqdefault.jpg "[PLMW @ POPL25] My Journey in Secure Compilation")
![[POPL'25] Welcome from the general chair](http://i.ytimg.com/vi/ZyAbfyXrnJA/mqdefault.jpg "[POPL'25] Welcome from the general chair")
![[POPL'25] The Best of Abstract Interpretations](http://i.ytimg.com/vi/r1m7bUmhtlA/mqdefault.jpg "[POPL'25] The Best of Abstract Interpretations")
![[POPL'25] TensorRight: Automated Verification of Tensor Graph Rewrites](http://i.ytimg.com/vi/k_cVLErSScI/mqdefault.jpg "[POPL'25] TensorRight: Automated Verification of Tensor Graph Rewrites")
![[PLMW @ POPL25] Getting the Most Out of POPL](http://i.ytimg.com/vi/FJO4ZEhGMp0/mqdefault.jpg "[PLMW @ POPL25] Getting the Most Out of POPL")
![[PLMW @ POPL25] How to Write Papers So People Can Read Them](http://i.ytimg.com/vi/r9iQES8C2VA/mqdefault.jpg "[PLMW @ POPL25] How to Write Papers So People Can Read Them")
![[POPL'25] Invited Talk: Welcome to Quantum 3.0!](http://i.ytimg.com/vi/nHnlMiOaRXk/mqdefault.jpg "[POPL'25] Invited Talk: Welcome to Quantum 3.0!")
![[POPL'25] Data Race Freedom à la Mode](http://i.ytimg.com/vi/kuoT6CrSY70/mqdefault.jpg "[POPL'25] Data Race Freedom à la Mode")
![[POPL'25] Adversities in Abstract Interpretation - Accommodating Robustness by Abstract(…)](http://i.ytimg.com/vi/ksEQdTTgE4Y/mqdefault.jpg "[POPL'25] Adversities in Abstract Interpretation - Accommodating Robustness by Abstract(…)")
![[POPL'25] Maximal Simplification of Polyhedral Reductions](http://i.ytimg.com/vi/AFH6dDpfsE4/mqdefault.jpg "[POPL'25] Maximal Simplification of Polyhedral Reductions")