49 views
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")
![[PLMW @ POPL25] My Journey in Secure Compilation](http://i.ytimg.com/vi/wNS7T5LqqrA/mqdefault.jpg "[PLMW @ POPL25] My Journey in Secure Compilation")
![[POPL'25] Universal Composability is Robust Compilation](http://i.ytimg.com/vi/-JEzHksP4DY/mqdefault.jpg "[POPL'25] Universal Composability is Robust 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] Marco Polo - POPL II (24th Jan)](http://i.ytimg.com/vi/2B2c1OoHQaU/mqdefault.jpg "[POPL'25] Marco Polo - POPL II (24th Jan)")
![[POPL'25] Finite-Choice Logic Programming](http://i.ytimg.com/vi/0AAronqrQV0/mqdefault.jpg "[POPL'25] Finite-Choice Logic Programming")
![[PLMW @ POPL25] Getting the Most Out of POPL](http://i.ytimg.com/vi/FJO4ZEhGMp0/mqdefault.jpg "[PLMW @ POPL25] Getting the Most Out of POPL")
![[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")
![[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] A Dependent Type Theory for Meta-programming with Intensional Analysis](http://i.ytimg.com/vi/63QOfoxPahY/mqdefault.jpg "[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis")
![[POPL'25] The Duality of λ-Abstraction](http://i.ytimg.com/vi/PEVHNXSyHvs/mqdefault.jpg "[POPL'25] The Duality of λ-Abstraction")
![[POPL'25] Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime](http://i.ytimg.com/vi/z9I-e5Yg21U/mqdefault.jpg "[POPL'25] Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime")
![[POPL'25] The Best of Abstract Interpretations](http://i.ytimg.com/vi/r1m7bUmhtlA/mqdefault.jpg "[POPL'25] The Best of Abstract Interpretations")