Follow
Jingxuan He
Jingxuan He
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
2132019
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
1172018
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
1002021
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
642023
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
31*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
252020
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
232021
On distribution shift in learning-based bug detectors
J He, L Beurer-Kellner, M Vechev
International Conference on Machine Learning, 8559-8580, 2022
192022
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
112021
Instruction Tuning for Secure Code Generation
J He, M Vero, G Krasnopolska, M Vechev
arXiv preprint arXiv:2402.09497, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10