Search Results - Pei, Kexin

Refine Results
  1. 1
    HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations

    HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations by Sivakorn, Suphannee, Argyros, George, Kexin Pei, Keromytis, Angelos D., Jana, Suman

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars

    DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars by Tian, Yuchi, Pei, Kexin, Jana, Suman, Ray, Baishakhi

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis

    LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis by Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    NEUZZ: Efficient Fuzzing with Neural Program Smoothing

    NEUZZ: Efficient Fuzzing with Neural Program Smoothing by She, Dongdong, Pei, Kexin, Epstein, Dave, Yang, Junfeng, Ray, Baishakhi, Jana, Suman

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Learning Approximate Execution Semantics From Traces for Binary Function Similarity

    Learning Approximate Execution Semantics From Traces for Binary Function Similarity by Pei, Kexin, Xuan, Zhou, Yang, Junfeng, Jana, Suman, Ray, Baishakhi

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    SmartInv: Multimodal Learning for Smart Contract Invariant Inference

    SmartInv: Multimodal Learning for Smart Contract Invariant Inference by Wang, Sally Junsong, Pei, Kexin, Yang, Junfeng

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    TRACED: Execution-Aware Pre-Training for Source Code

    TRACED: Execution-Aware Pre-Training for Source Code by Ding, Yangruibo, Steenhoek, Benjamin, Pei, Kexin, Kaiser, Gail, Le, Wei, Ray, Baishakhi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Lipodystrophic gene Agpat2 deficiency aggravates hyperlipidemia and atherosclerosis in Ldlr−/− mice

    Lipodystrophic gene Agpat2 deficiency aggravates hyperlipidemia and atherosclerosis in Ldlr−/− mice by Peng, Kenan, Chen, Xin, Pei, Kexin, Wang, Xiaowei, Ma, Xindi, Liang, Chenxi, Dong, Qianqian, Liu, Ziwei, Han, Mei, Liu, George, Yang, Hongyuan, Zheng, Mingqi, Liu, Gang, Gao, Mingming

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Bringing Engineering Rigor to Deep Learning

    Bringing Engineering Rigor to Deep Learning by Pei, Kexin, Wang, Shiqi, Tian, Yuchi, Whitehouse, Justin, Vondrick, Carl, Cao, Yinzhi, Ray, Baishakhi, Jana, Suman, Yang, Junfeng

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    DeepXplore: Automated Whitebox Testing of Deep Learning Systems

    DeepXplore: Automated Whitebox Testing of Deep Learning Systems by Pei, Kexin, Cao, Yinzhi, Yang, Junfeng, Jana, Suman

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Private search on key-value stores with hierarchical indexes

    Private search on key-value stores with hierarchical indexes by Haibo Hu, Jianliang Xu, Xizhong Xu, Pei, Kexin, Choi, Byron, Shuigeng Zhou

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    SmartInv: Multimodal Learning for Smart Contract Invariant Inference

    SmartInv: Multimodal Learning for Smart Contract Invariant Inference by Wang, Sally Junsong, Pei, Kexin, Yang, Junfeng

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Comment on Revisiting Neural Program Smoothing for Fuzzing

    Comment on Revisiting Neural Program Smoothing for Fuzzing by She, Dongdong, Pei, Kexin, Yang, Junfeng, Ray, Baishakhi, Suman, Jana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS)

    Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS) by Robila, Victor, Pei, Kexin, Yang, Junfeng

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    TraceFixer: Execution Trace-Driven Program Repair

    TraceFixer: Execution Trace-Driven Program Repair by Bouzenia, Islem, Ding, Yangruibo, Pei, Kexin, Ray, Baishakhi, Pradel, Michael

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    NeuDep: Neural Binary Memory Dependence Analysis

    NeuDep: Neural Binary Memory Dependence Analysis by Pei, Kexin, She, Dongdong, Wang, Michael, Geng, Scott, Zhou, Xuan, Yaniv, David, Yang, Junfeng, Suman, Jana, Ray, Baishakhi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

    SWE-bench: Can Language Models Resolve Real-World GitHub Issues? by Jimenez, Carlos E, Yang, John, Wettig, Alexander, Yao, Shunyu, Pei, Kexin, Press, Ofir, Narasimhan, Karthik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Exploiting Code Symmetries for Learning Program Semantics

    Exploiting Code Symmetries for Learning Program Semantics by Pei, Kexin, Li, Weichen, Jin, Qirui, Liu, Shuyang, Geng, Scott, Cavallaro, Lorenzo, Yang, Junfeng, Suman, Jana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Detecting Buggy Contracts via Smart Testing

    Detecting Buggy Contracts via Smart Testing by Wang, Sally Junsong, Yao, Jianan, Pei, Kexin, Takahashi, Hidedaki, Yang, Junfeng

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    DeepXplore: Automated Whitebox Testing of Deep Learning Systems

    DeepXplore: Automated Whitebox Testing of Deep Learning Systems by Pei, Kexin, Cao, Yinzhi, Yang, Junfeng, Suman, Jana

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: