Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis
51 views
2 weeks ago
[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis
51 views
2 weeks ago
[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis
![[POPL'25] Finite-Choice Logic Programming](http://i.ytimg.com/vi/0AAronqrQV0/mqdefault.jpg "[POPL'25] Finite-Choice Logic Programming")
![[POPL'25] Data Race Freedom à la Mode](http://i.ytimg.com/vi/kuoT6CrSY70/mqdefault.jpg "[POPL'25] Data Race Freedom à la Mode")
![[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] 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] Coinductive Proofs for Temporal Hyperliveness](http://i.ytimg.com/vi/XpH6_BdQX-M/mqdefault.jpg "[POPL'25] Coinductive Proofs for Temporal Hyperliveness")
![[POPL'25] Universal Composability is Robust Compilation](http://i.ytimg.com/vi/-JEzHksP4DY/mqdefault.jpg "[POPL'25] Universal Composability is Robust Compilation")
![[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] Getting the Most Out of POPL](http://i.ytimg.com/vi/FJO4ZEhGMp0/mqdefault.jpg "[PLMW @ POPL25] Getting the Most Out of POPL")