Jingxuan He
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICDE | Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data (Extended abstract). | Jingxuan He, Xixian Han, Xiaolong Wan, Jinbao Wang |
| 2025 | ICML | Mind the Gap: A Practical Attack on GGUF Quantization. | Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev |
| 2025 | ICML | Black-Box Adversarial Attacks on LLM-Based Code Completion. | Slobodan Jenko, Niels Mndler, Jingxuan He, Mark Vero, Martin T. Vechev |
| 2025 | ICML | BaxBench: Can LLMs Generate Correct and Secure Backends? | Mark Vero, Niels Mndler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev |
| 2025 | ICML | Position: Formal Mathematical Reasoning - A New Frontier in AI. | Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song |
| 2025 | IJCAI | Shaping a Stabilized Video by Mitigating Unintended Changes for Concept-Augmented Video Editing. | Mingce Guo, Jingxuan He, Yufei Yin, Zhangye Wang, Shengeng Tang, Lechao Cheng |
| 2024 | AAAI | Progressive Feature Self-Reinforcement for Weakly Supervised Semantic Segmentation. | Jingxuan He, Lechao Cheng, Chaowei Fang, Zunlei Feng, Tingting Mu, Mingli Song |
| 2024 | ICLR | Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. | Niels Mndler, Jingxuan He, Slobodan Jenko, Martin T. Vechev |
| 2024 | ICML | Instruction Tuning for Secure Code Generation. | Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev |
| 2024 | WACV | Masked Collaborative Contrast for Weakly Supervised Semantic Segmentation. | Fangwen Wu, Jingxuan He, Yufei Yin, Yanbin Hao, Gang Huang, Lechao Cheng |
| 2023 | CCS | Large Language Models for Code: Security Hardening and Adversarial Testing. | Jingxuan He, Martin T. Vechev |
| 2022 | ICML | On Distribution Shift in Learning-based Bug Detectors. | Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev |
| 2021 | CCS | Learning to Explore Paths for Symbolic Execution. | Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev |
| 2021 | ICML | TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. | Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev |
| 2021 | PLDI | Learning to find naming issues with big code and small supervision. | Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev |
| 2020 | PLDI | Learning fast and precise numerical analysis. | Jingxuan He, Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2019 | CCS | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. | Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev |
| 2018 | CCS | Debin: Predicting Debug Information in Stripped Binaries. | Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |