From post

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.

 

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

Static Analysis of Shape in TensorFlow Programs (Artifact)., , , , и . Dagstuhl Artifacts Ser., 6 (2): 06:1-06:3 (2020)Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , и . Dagstuhl Reports, 6 (5): 56-71 (2016)ICC++-AC++ Dialect for High Performance Parallel Computing., , , и . ISOTAS, том 1049 из Lecture Notes in Computer Science, стр. 76-95. Springer, (1996)LakeBench: Benchmarks for Data Discovery over Data Lakes., , , , , , , , и . CoRR, (2023)Validating structural properties of nested objects., , , , , , и . OOPSLA Companion, стр. 294-304. ACM, (2004)Model Generation For Java Frameworks., , , , , и . ICST, стр. 165-175. IEEE, (2023)Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints., , , , и . Softw. Pract. Exp., 54 (3): 363-393 (марта 2024)Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding., , , и . AAAI, стр. 4415-4423. AAAI Press, (2022)Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)., , , и . ASE, стр. 541-551. IEEE Computer Society, (2015)A Toolkit for Generating Code Knowledge Graphs., , , и . K-CAP, стр. 137-144. ACM, (2021)