( en | de | ru )

 

Disambiguierung von "Yang, Hongseok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.

, , , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 182-203. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

A Semantic Basis for Local Reasoning., und . FoSSaCS, Volume 2303 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2002)On Nesting Monte Carlo Estimators., , , und . ICML, Volume 80 von Proceedings of Machine Learning Research, Seite 4264-4273. PMLR, (2018)Program Analysis for Overlaid Data Structures., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 592-608. Springer, (2011)Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference., , und . Proc. ACM Program. Lang., 7 (POPL): 335-366 (Januar 2023)Possible worlds and resources: the semantics of BI., , und . Theor. Comput. Sci., 315 (1): 257-305 (2004)α-Stable convergence of heavy-tailed infinitely-wide neural networks., , , und . CoRR, (2021)Blaming the client: on data refinement in the presence of pointers., , , und . Formal Aspects Comput., 22 (5): 547-583 (2010)Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis., , und . ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2005)Inference Trees: Adaptive Inference with Exploration, , , , , , und . (2018)cite arxiv:1806.09550.Abstraction for Concurrent Objects., , , und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2009)