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 19 papers between 2015 and 2023.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

An Explanation Method for Models of Code.

[BibT_eX]

[DOI]

Yu Wang

Ke Wang

Linzhang Wang

Proc. ACM Program. Lang., October, 2023

Discrete Adversarial Attack to Models of Code.

[BibT_eX]

[DOI]

Fengjuan Gao

Yu Wang

Ke Wang

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]

Yu Wang

Ke Wang

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]

Chi Zhang

Yu Wang

Linzhang Wang

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]

Yu Wang

Fengjuan Gao

Linzhang Wang

CoRR, 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]

Chi Zhang

Yu Wang

Linzhang Wang

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

Yu Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...