9 views
ACM SIGPLAN
[POPL'25] Fulminate: Testing CN Separation-Logic Specifications in C
Login with Google Login with Discord
Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
![[POPL'25] Fulminate: Testing CN Separation-Logic Specifications in C](http://i.ytimg.com/vi/sVeebYqHMoc/mqdefault.jpg "[POPL'25] Fulminate: Testing CN Separation-Logic Specifications in C")
![[POPL'25] Universal Composability is Robust Compilation](http://i.ytimg.com/vi/-JEzHksP4DY/mqdefault.jpg "[POPL'25] Universal Composability is Robust Compilation")
![[PLMW @ POPL25] My Journey in Secure Compilation](http://i.ytimg.com/vi/wNS7T5LqqrA/mqdefault.jpg "[PLMW @ POPL25] My Journey in Secure Compilation")
![[POPL'25] Data Race Freedom à la Mode](http://i.ytimg.com/vi/kuoT6CrSY70/mqdefault.jpg "[POPL'25] Data Race Freedom à la Mode")
![[POPL'25] Finite-Choice Logic Programming](http://i.ytimg.com/vi/0AAronqrQV0/mqdefault.jpg "[POPL'25] Finite-Choice Logic Programming")
![[POPL'25] The Best of Abstract Interpretations](http://i.ytimg.com/vi/r1m7bUmhtlA/mqdefault.jpg "[POPL'25] The Best of Abstract Interpretations")
![[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)")
![[POPL'25] Welcome from the general chair](http://i.ytimg.com/vi/ZyAbfyXrnJA/mqdefault.jpg "[POPL'25] Welcome from the general chair")
![[POPL'25] Maximal Simplification of Polyhedral Reductions](http://i.ytimg.com/vi/AFH6dDpfsE4/mqdefault.jpg "[POPL'25] Maximal Simplification of Polyhedral Reductions")
![[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] 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] Coinductive Proofs for Temporal Hyperliveness](http://i.ytimg.com/vi/XpH6_BdQX-M/mqdefault.jpg "[POPL'25] Coinductive Proofs for Temporal Hyperliveness")
![[POPL'25] The Duality of λ-Abstraction](http://i.ytimg.com/vi/PEVHNXSyHvs/mqdefault.jpg "[POPL'25] The Duality of λ-Abstraction")
![[POPL'25] A Primal-Dual Perspective on Program Verification Algorithms](http://i.ytimg.com/vi/UZrm_t58FhE/mqdefault.jpg "[POPL'25] A Primal-Dual Perspective on Program Verification Algorithms")
![[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] 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] Bidirectional Higher-Rank Polymorphism with Intersection and Union Types](http://i.ytimg.com/vi/JIhGXCEEn54/mqdefault.jpg "[POPL'25] Bidirectional Higher-Rank Polymorphism with Intersection and Union Types")
![[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")