42 views
ACM SIGPLAN
[POPL'24] Higher Order Bayesian Networks, Exactly
Login with Google Login with Discord
Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
![[POPL'24] Higher Order Bayesian Networks, Exactly](http://i.ytimg.com/vi/ESfLesM315A/mqdefault.jpg "[POPL'24] Higher Order Bayesian Networks, Exactly")
![[POPL'24] On Model-Checking Higher-Order Effectful Programs](http://i.ytimg.com/vi/8g2PqP7Q2uo/mqdefault.jpg "[POPL'24] On Model-Checking Higher-Order Effectful Programs")
![[POPL'24] Efficient CHAD](http://i.ytimg.com/vi/HUoUap7nO2U/mqdefault.jpg "[POPL'24] Efficient CHAD")
![[POPL'24] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic](http://i.ytimg.com/vi/pWbixzvXcLU/mqdefault.jpg "[POPL'24] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic")
![[POPL'24] Reachability in Continuous Pushdown VASS](http://i.ytimg.com/vi/z9Bp17F5ovQ/mqdefault.jpg "[POPL'24] Reachability in Continuous Pushdown VASS")
![[POPL'24] Polyregular functions on unordered trees of bounded height](http://i.ytimg.com/vi/w5aaxBgabHY/mqdefault.jpg "[POPL'24] Polyregular functions on unordered trees of bounded height")
![[POPL'24] Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O...](http://i.ytimg.com/vi/Tt28Z-3OM7A/mqdefault.jpg "[POPL'24] Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O...")
![[POPL'24] Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures](http://i.ytimg.com/vi/suSV6_NQvXQ/mqdefault.jpg "[POPL'24] Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures")
![[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...](http://i.ytimg.com/vi/lbDxCZ7wh80/mqdefault.jpg "[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...")
![[POPL'24] Enriched Presheaf Model of Quantum FPC](http://i.ytimg.com/vi/C-BpyfyWLl0/mqdefault.jpg "[POPL'24] Enriched Presheaf Model of Quantum FPC")
![[POPL'24] API-driven Program Synthesis for Testing Static Typing Implementations](http://i.ytimg.com/vi/lZws2_bhL58/mqdefault.jpg "[POPL'24] API-driven Program Synthesis for Testing Static Typing Implementations")
![[POPL'24] Probabilistic programming interfaces for random graphs: Markov categories, graph...](http://i.ytimg.com/vi/GdxIDp_-84E/mqdefault.jpg "[POPL'24] Probabilistic programming interfaces for random graphs: Markov categories, graph...")
![[POPL'24] Deciding Asynchronous Hyperproperties for Recursive Programs](http://i.ytimg.com/vi/RL-gKSxvzfI/mqdefault.jpg "[POPL'24] Deciding Asynchronous Hyperproperties for Recursive Programs")
![[POPL'24] An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Dedu...](http://i.ytimg.com/vi/_gMQxhqmOgA/mqdefault.jpg "[POPL'24] An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Dedu...")
![[SessionPreviews@POPL'24] Medley: Session Preview](http://i.ytimg.com/vi/wdMAqTQQOd8/mqdefault.jpg "[SessionPreviews@POPL'24] Medley: Session Preview")
![[POPL'24] Validation of Modern JSON Schema: Formalization and Complexity](http://i.ytimg.com/vi/ZLIekqPCy80/mqdefault.jpg "[POPL'24] Validation of Modern JSON Schema: Formalization and Complexity")
![[POPL'24] Internalizing Indistinguishability with Dependent Types](http://i.ytimg.com/vi/cgTrzJ1yVSA/mqdefault.jpg "[POPL'24] Internalizing Indistinguishability with Dependent Types")
![[POPL'24] On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability](http://i.ytimg.com/vi/y-RoVA1Qr4Y/mqdefault.jpg "[POPL'24] On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability")
