Jingxuan He

According to our database, Jingxuan He authored at least 31 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data.

Jingxuan He, Xixian Han, Xiaolong Wan, Jinbao Wang

IEEE Trans. Knowl. Data Eng., July, 2024

Machine Learning for Code: Security and Reliability.

Jingxuan He

PhD thesis, 2024

Formal Mathematical Reasoning: A New Frontier in AI.

Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song

CoRR, 2024

Shaping a Stabilized Video by Mitigating Unintended Changes for Concept-Augmented Video Editing.

Mingce Guo, Jingxuan He, Shengeng Tang, Zhangye Wang, Lechao Cheng

CoRR, 2024

Practical Attacks against Black-box Code Completion Engines.

Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin T. Vechev

CoRR, 2024

Code Agents are State of the Art Software Testers.

Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev

CoRR, 2024

Exploiting LLM Quantization.

Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev

CoRR, 2024

Masked Collaborative Contrast for Weakly Supervised Semantic Segmentation.

Fangwen Wu, Jingxuan He, Yufei Yin, Yanbin Hao, Gang Huang, Lechao Cheng

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

LoopGaussian: Creating 3D Cinemagraph with Multi-view Images via Eulerian Motion Field.

Jiyang Li, Lechao Cheng, Zhangye Wang, Tingting Mu, Jingxuan He

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

Instruction Tuning for Secure Code Generation.

Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation.

Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Progressive Feature Self-Reinforcement for Weakly Supervised Semantic Segmentation.

Jingxuan He, Lechao Cheng, Chaowei Fang, Zunlei Feng, Tingting Mu, Mingli Song

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Fast and Stable Detection Scheme of Point of Common Coupling Voltage for Renewable Energy Systems Tied to Distortion Grids.

Liancheng Xiu, Jingxuan He, Mingxian Li, Hanliang Song

IEEE Trans. Ind. Informatics, July, 2023

Mitigating Undisciplined Over-Smoothing in Transformer for Weakly Supervised Semantic Segmentation.

Jingxuan He, Lechao Cheng, Chaowei Fang, Dingwen Zhang, Zhangye Wang, Wei Chen

CoRR, 2023

Controlling Large Language Models to Generate Secure and Vulnerable Code.

Jingxuan He, Martin T. Vechev

CoRR, 2023

Text-Guided Mask-Free Local Image Retouching.

Zerun Liu, Fan Zhang, Jingxuan He, Jin Wang, Zhangye Wang, Lechao Cheng

Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

Large Language Models for Code: Security Hardening and Adversarial Testing.

Jingxuan He, Martin T. Vechev

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

NESTML 5.1.0.

Charl A. P. Linssen, Pooja N. Babu, Jingxuan He, Jochen Martin Eppler, Bernhard Rumpe, Abigail Morrison

Dataset, September, 2022

Efficient high-utility occupancy itemset mining algorithm on massive data.

Jingxuan He, Xixian Han, Jinbao Wang, Kaiqi Zhang

Expert Syst. Appl., 2022

Efficient Skyline Computation on Massive Incomplete Data.

Jingxuan He, Xixian Han

Data Sci. Eng., 2022

On Distribution Shift in Learning-based Bug Detectors.

Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev

Proceedings of the International Conference on Machine Learning, 2022

2021

Learning to find naming issues with big code and small supervision.

Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer.

Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev

Proceedings of the 38th International Conference on Machine Learning, 2021

Learning to Explore Paths for Symbolic Execution.

Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Learning fast and precise numerical analysis.

Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Research on Ultrasonic Positioning Algorithm.

Jingxuan He, Jian Zhang, Zeji Hui

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

A Novel Binary Particle Swarm Optimization for Multiple Sequence Alignment.

Yanlian Du, Jingxuan He, Changcun Du

Proceedings of the Intelligent Computing Theories and Application, 2019

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Debin: Predicting Debug Information in Stripped Binaries.

Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

GameLifeVis: visual analysis of behavior evolutions in multiplayer online games.

Wei Chen, Junhua Lu, Dingke Kong, Zhiqi Liu, Yandi Shen, Yinyin Chen, Jingxuan He, Shu Liu, Ye Qi, Yingcai Wu

J. Vis., 2017

2016

Visual Exploration of Virtual Lives in Multiplayer Online Games.

Zhiqi Liu, Yandi Shen, Junhua Lu, Dingke Kong, Yinyin Chen, Jingxuan He, Shu Liu, Ye Qi, Wei Chen

Proceedings of the E-Learning and Games - 10th International Conference, 2016