Learning to Fuzz from Symbolic Execution with Application to Smart Contracts J He, M Balunović, N Ambroladze, P Tsankov, M Vechev Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 218 | 2019 |
Debin: Predicting Debug Information in Stripped Binaries J He, P Ivanov, P Tsankov, V Raychev, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 119 | 2018 |
TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer B Berabi, J He, V Raychev, M Vechev International Conference on Machine Learning, 780-791, 2021 | 103 | 2021 |
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation N Mündler, J He, S Jenko, M Vechev arXiv preprint arXiv:2305.15852, 2023 | 74 | 2023 |
Large language models for code: Security hardening and adversarial testing J He, M Vechev Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 40* | 2023 |
Learning fast and precise numerical analysis J He, G Singh, M Püschel, M Vechev Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 26 | 2020 |
Learning to Explore Paths for Symbolic Execution J He, G Sivanrupan, P Tsankov, M Vechev Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 24 | 2021 |
On distribution shift in learning-based bug detectors J He, L Beurer-Kellner, M Vechev International Conference on Machine Learning, 8559-8580, 2022 | 19 | 2022 |
Learning to find naming issues with big code and small supervision J He, CC Lee, V Raychev, M Vechev Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 11 | 2021 |
Instruction Tuning for Secure Code Generation J He, M Vero, G Krasnopolska, M Vechev arXiv preprint arXiv:2402.09497, 2024 | 1 | 2024 |