( en | de | ru )

 

Disambiguierung von "Yi, Kwangkeun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code.

, , , , , und . CoRR, (2021)

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.

Yi Wang

Weiyong Yi

Yi Ni

Zhiwei Yi

Yi Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

Widening with thresholds via binary search., , , und . Softw. Pract. Exp., 46 (10): 1317-1328 (2016)An algorithmic mitigation of large spurious interprocedural cycles in static analysis., und . Softw. Pract. Exp., 40 (8): 585-603 (2010)Data Flow Analysis of Secure Information-Flow., , und . APLAS, Seite 352-365. (2002)Interprocedural exception analysis for Java., , , und . SAC, Seite 620-625. ACM, (2001)Goal-directed weakening of abstract interpretation results., , , und . ACM Trans. Program. Lang. Syst., 29 (6): 39 (2007)MeCC: memory comparison-based clone detector., , , und . ICSE, Seite 301-310. ACM, (2011)Adaptive Static Analysis via Learning with Bayesian Optimization., , , und . ACM Trans. Program. Lang. Syst., 40 (4): 14:1-14:37 (2018)Automatic Construction of Hoare Proofs from Abstract Interpretation Results., , und . APLAS, Volume 2895 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2003)Static Extensivity Analysis for ?-Definable Functions over Lattices., , und . New Generation Comput., 24 (1): 53-78 (2005)A cost-effective estimation of uncaught exceptions in Standard ML programs., und . Theor. Comput. Sci., 277 (1-2): 185-217 (2002)