AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Yu Wang

Yu Wang

Nanjing University - Nanjing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4754856
南京大学
person_outline Yu Wang's MOST POPULAR ARTICLES
1-) Learning semantic program embeddings with graph interval neural network Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
2-) Automatic detection and validation of race conditions in interrupt-driven embedded software Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
3-) Discrete adversarial attack to models of code Proceedings of the ACM on Programming Languages 7 (PLDI), 172-195, 2023
4-) Automatic detection, validation, and repair of race conditions in interrupt-driven embedded software IEEE Transactions on Software Engineering 48 (1), 346-363, 2020
5-) Carraybound: Static array bounds checking in c programs based on taint analysis Proceedings of the 8th Asia-Pacific Symposium on Internetware, 81-90, 2016