Jingxuan HeI am a PostDoc at UC Berkeley, working with Dawn Song. I received my PhD from the SRI Lab of ETH Zurich, where I was advised by Martin Vechev. I did my undergraduate at Zhejiang University.
何静轩 /
jingxuan.he [at] berkeley.edu /
Scholar /
Twitter /
LinkedIn
|
|
ResearchI am interested in machine learning and computer security. |
Exploiting LLM QuantizationKazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin Vechev Neural Information Processing Systems (NeurIPS), 2024 ICML Workshop on the Next Generation of AI Safety, 2024 (Oral)paper / code / website / |
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code AgentsNiels MĂĽndler, Mark Niklas MĂĽller, Jingxuan He, Martin Vechev Neural Information Processing Systems (NeurIPS), 2024 paper / code / poster / |
Instruction Tuning for Secure Code GenerationJingxuan He*, Mark Vero*, Gabriela Krasnopolska, Martin Vechev International Conference on Machine Learning (ICML), 2024 paper / code / |
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and MitigationNiels MĂĽndler, Jingxuan He, Slobodan Jenko, Martin Vechev International Conference on Learning Representations (ICLR), 2024 paper / code / website / |
Large Language Models for Code: Security Hardening and Adversarial TestingJingxuan He, Martin Vechev ACM Conference on Computer and Communications Security (CCS), 2023 (Distinguished Paper)paper / code / slides / |
On Distribution Shift in Learning-based Bug DetectorsJingxuan He, Luca Beurer-Kellner, Martin Vechev International Conference on Machine Learning (ICML), 2022 paper / code / |
Learning to Explore Paths for Symbolic ExecutionJingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin Vechev ACM Conference on Computer and Communications Security (CCS), 2021 paper / code / slides / |
TFix: Learning to Fix Coding Errors with a Text-to-Text TransformerBerkay Berabi, Jingxuan He, Veselin Raychev, Martin Vechev International Conference on Machine Learning (ICML), 2021 paper / code / talk / slides / |
Learning to Find Naming Issues with Big Code and Small SupervisionJingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin Vechev ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2021 paper / talk / slides / |
Learning Fast and Precise Numerical AnalysisJingxuan He, Gagandeep Singh, Markus PĂĽschel, Martin Vechev ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2020 paper / code / talk / slides / |
Learning to Fuzz from Symbolic Execution with Application to Smart ContractsJingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, Martin Vechev ACM Conference on Computer and Communications Security (CCS), 2019 paper / code / talk / slides / |
DeBin: Predicting Debug Information in Stripped BinariesJingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev ACM Conference on Computer and Communications Security (CCS), 2018 paper / code / talk / slides / |
Awards
|
|
Design and source code from Leonid Keselman's and Jon Barron's websites. |