vix.ing · top · new · best · stats · spec

Junfeng Yang

  1. BPF for storage: an exokernel-inspired approach
    2021/02/25 by Yu Jian Wu, Hongyi Wang, Wu, Yu Jian +12 · 2 voices
    Computer Science · #Advanced Data Storage Technologies #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance
  2. NEUZZ: Efficient Fuzzing with Neural Program Smoothing
    2018/07/15 by Dongdong She, She, Dongdong, Kexin Pei +9 · 1 voice · 5 citations
    #cs.CR #cs.LG
  3. Efficient Formal Safety Analysis of Neural Networks
    2018/09/19 by Shiqi Wang, Kexin Pei, Wang, Shiqi +7 · 20 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  4. Understanding Zero-Shot Adversarial Robustness for Large-Scale Models
    2022/12/14 by Chengzhi Mao, Scott Geng, Mao, Chengzhi +7 · 19 citations
    Computer Science · Medicine · #COVID-19 diagnosis using AI #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications
  5. Formal Security Analysis of Neural Networks using Symbolic Intervals
    2018/04/28 by Shiqi Wang, Kexin Pei, Wang, Shiqi +7 · 12 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques
  6. XDA: Accurate, Robust Disassembly with Transfer Learning
    2020/10/02 by Kexin Pei, Jonas Guan, Pei, Kexin +7 · 1 voice · 3 citations
    Computer Science · #Advanced Malware Detection Techniques #Digital and Cyber Forensics #Software Engineering Research #cs.CR #cs.LG
  7. Alternating Direction Algorithms for ℓ1-Problems in Compressive Sensing
    2009/12/07 by Junfeng Yang, Yin Zhang, Yang, Junfeng +1 · 9 citations
    Engineering · #Sparse and Compressive Sensing Techniques #Microwave Imaging and Scattering Analysis #Photoacoustic and Ultrasonic Imaging
  8. AdaBB: Adaptive Barzilai-Borwein Method for Convex Optimization
    2024/01/16 by Danqing Zhou, Zhou, Danqing, Shiqian Ma +3 · 1 voice · 11 citations
    Computer Science · Engineering · Mathematics · #Advanced Optimization Algorithms Research #Sparse and Compressive Sensing Techniques #Stochastic Gradient Optimization Techniques #math.OC
  9. Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
    2020/12/16 by Kexin Pei, Pei, Kexin, Xuan Zhou +7 · 5 citations
    Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research
  10. Metric Learning for Adversarial Robustness
    2019/09/03 by Chengzhi Mao, Mao, Chengzhi, Ziyuan Zhong +7 · 10 citations
    Computer Science · Biochemistry, Genetics and Molecular Biology · #Adversarial Robustness in Machine Learning #Bacillus and Francisella bacterial research
  11. SmartInv: Multimodal Learning for Smart Contract Invariant Inference
    2024/11/14 by Sally Junsong Wang, Kexin Pei, Wang, Sally Junsong +3 · 9 citations
    Economics, Econometrics and Finance · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Insurance and Financial Risk Management #Programming Languages (cs.PL) #Software Engineering (cs.SE)
  12. Raidar: geneRative AI Detection viA Rewriting
    2024/01/23 by Chengzhi Mao, Mao, Chengzhi, Carl Vondrick +5 · 6 citations
    Computer Science · #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
  13. SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
    2024/06/03 by Yangruibo Ding, Ding, Yangruibo, Jinjun Peng +9 · 6 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
  14. Interpreting and Controlling Vision Foundation Models via Text Explanations
    2023/10/16 by Haozhe Chen, Chen, Haozhe, Junfeng Yang +5 · 4 citations
    Computer Science · #Explainable Artificial Intelligence (XAI) #Multimodal Machine Learning Applications #Topic Modeling
  15. KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
    2024/07/02 by Alex Mathai, Mathai, Alex, Chenxi Huang +11 · 5 citations
    Computer Science · Engineering · #Software System Performance and Reliability #Advanced Data Processing Techniques
  16. Adversarial Attacks are Reversible with Natural Supervision
    2021/03/26 by Chengzhi Mao, Mao, Chengzhi, Mia Chiquier +7 · 2 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Generative Adversarial Networks and Image Synthesis #Anomaly Detection Techniques and Applications
  17. Doubly Right Object Recognition: A Why Prompt for Visual Rationales
    2022/12/12 by Chengzhi Mao, Mao, Chengzhi, Revant Teotia +11 · 2 citations
    Computer Science · #Advanced Image and Video Retrieval Techniques #Computer Vision and Pattern Recognition (cs.CV) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Multimodal Machine Learning Applications
  18. Test-time Detection and Repair of Adversarial Samples via Masked Autoencoder
    2023/03/22 by Yun-Yun Tsai, Tsai, Yun-Yun, Ju-Chin Chao +11 · 2 citations
    Biochemistry, Genetics and Molecular Biology · Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Bacillus and Francisella bacterial research #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  19. Hokoff: Real Game Dataset from Honor of Kings and its Offline Reinforcement Learning Benchmarks
    2024/08/20 by Yun Qu, Boyuan Wang, Qu, Yun +33 · 4 citations
    Computer Science · Economics, Econometrics and Finance · #Artificial Intelligence in Games #Reinforcement Learning in Robotics #Sports Analytics and Performance
  20. RAFP: Identifying LLM Lineages via Rare-Region Fingerprints
    2025/05/19 by Yun-Yun Tsai, Tsai, Yun-Yun, Liang, Jia Hao +6 · 6 citations
    Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Ethics and Social Impacts of AI
  21. Greenplum: A Hybrid Database for Transactional and Analytical Workloads
    2021/03/20 by Zhenghua Lyu, Lyu, Zhenghua, Huan Hubert Zhang +35 · 1 citation
    Computer Science · #Advanced Database Systems and Queries #Cloud Computing and Resource Management #Databases (cs.DB) #Distributed systems and fault tolerance #FOS: Computer and information sciences
  22. EditLord: Learning Code Transformation Rules for Code Editing
    2025/03/10 by Weichen Li, Albert Jan, Li, Weichen +9 · 3 citations
    #cs.SE #cs.CR #cs.LG
  23. kAgent: An execution-guided crash resolution agent for the Linux kernel
    2025/04/29 by Alex Mathai, Mathai, Alex, Chenxi Huang +16 · 2 citations
    Computer Science · #Security and Verification in Computing #Software System Performance and Reliability #Software Engineering Research
  24. TRIM: Reducing AI-Generated CodeSlop via Agent Trajectory Minimization
    2026/07/20 by Alex Mathai, Shobini Iyer, Aleksandr Nogikh +4
    #cs.SE #cs.AI #cs.OS