( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.

, , , и . SAS, том 4134 из Lecture Notes in Computer Science, стр. 182-203. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

Другие публикации лиц с тем же именем

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference., , и . Proc. ACM Program. Lang., 7 (POPL): 335-366 (января 2023)α-Stable convergence of heavy-tailed infinitely-wide neural networks., , , и . CoRR, (2021)Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis., , и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 124-140. Springer, (2005)Differentiable Algorithm for Marginalising Changepoints., , , и . AAAI, стр. 4828-4835. AAAI Press, (2020)Automatic Verification of Heap-Manipulating Programs Using Separation Logic.. CSR, том 5675 из Lecture Notes in Computer Science, стр. 25. Springer, (2009)Modular verification of preemptive OS kernels., и . ICFP, стр. 404-417. ACM, (2011)On Correctness of Automatic Differentiation for Non-Differentiable Functions., , , и . NeurIPS, (2020)Inference Trees: Adaptive Inference with Exploration, , , , , , и . (2018)cite arxiv:1806.09550.On Nesting Monte Carlo Estimators., , , и . ICML, том 80 из Proceedings of Machine Learning Research, стр. 4264-4273. PMLR, (2018)A Semantic Basis for Local Reasoning., и . FoSSaCS, том 2303 из Lecture Notes in Computer Science, стр. 402-416. Springer, (2002)