We stand with Ukraine

We stand with Ukraine

Yu Wang

Orcid: 0000-0002-7216-6929

Affiliations:

Nanjing University, Department of Computer Science and Technology, State Key Laboratory for Novel Software Technology, Nanjing, China

According to our database¹, Yu Wang authored at least 22 papers between 2015 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2024

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proc. ACM Program. Lang., 2024

Enhancing Field Tracking and Interprocedural Analysis to Find More Null Pointer Exceptions.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

An Explanation Method for Models of Code.

[BibT_eX]

[DOI]

,

,

Proc. ACM Program. Lang., October, 2023

Discrete Adversarial Attack to Models of Code.

[BibT_eX]

[DOI]

,

,

Proc. ACM Program. Lang., 2023

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.

[BibT_eX]

[DOI]

,

,

,

,

,

,

CoRR, 2023

Demystifying What Code Summarization Models Learned.

[BibT_eX]

[DOI]

,

CoRR, 2023

2022

Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software.

[BibT_eX]

[DOI]

,

,

,

,

,

IEEE Trans. Software Eng., 2022

Infrared: A Meta Bug Detector.

[BibT_eX]

[DOI]

,

,

CoRR, 2022

Detecting Defects in Deep Learning Systems: a Survey.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

2021

Deep Learning-Based Hybrid Fuzz Testing.

[BibT_eX]

[DOI]

,

,

,

Int. J. Softw. Informatics, 2021

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.

[BibT_eX]

[DOI]

,

,

,

,

,

Int. J. Softw. Informatics, 2021

Demystifying Code Summarization Models.

[BibT_eX]

[DOI]

,

,

CoRR, 2021

Chase: A Large-Scale and Pragmatic Chinese Dataset for Cross-Database Context-Dependent Text-to-SQL.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020

Learning semantic program embeddings with graph interval neural network.

[BibT_eX]

[DOI]

,

,

,

Proc. ACM Program. Lang., 2020

Automatic Buffer Overflow Warning Validation.

[BibT_eX]

[DOI]

,

,

,

,

J. Comput. Sci. Technol., 2020

Firmware Fuzzing: The State of the Art.

[BibT_eX]

[DOI]

,

,

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

Learning a Static Bug Finder from Data.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2019

2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

2017

Automatic detection and validation of race conditions in interrupt-driven embedded software.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

ACSPChecker: an ASP based CSP model checking tool.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Carraybound: static array bounds checking in C programs based on taint analysis.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

2015

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Loading...