default search action

combined dblp search
author search
venue search
publication search

ask others

Peisen Yao

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/YaoZXSWZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/YaoZXSWZ24
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang:
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. Proc. ACM Program. Lang. 8(PLDI): 567-592 (2024)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/HuangCSYZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/HuangCSYZ24
Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang:
Balance Seed Scheduling via Monte Carlo Planning. IEEE Trans. Dependable Secur. Comput. 21(3): 1469-1483 (2024)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/TangDLWYZZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/TangDLWYZZ24
Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang:
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. ACM Trans. Softw. Eng. Methodol. 33(3): 66:1-66:33 (2024)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ZhangCYWTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ZhangCYWTZ24
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang:
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. ASPLOS (3) 2024: 882-899
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0004JYW024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0004JYW024
Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren:
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. ICSE 2024: 30:1-30:13
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GuoY024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GuoY024
Yiyuan Guo, Peisen Yao, Charles Zhang:
Precise Compositional Buffer Overflow Detection via Heap Disjointness. ISSTA 2024: 63-75
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/HuangYCGZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/HuangYCGZ24
Heqing Huang, Peisen Yao, Hung-Chun Chiu, Yiyuan Guo, Charles Zhang:
Titan : Efficient Multi-target Directed Greybox Fuzzing. SP 2024: 1849-1864
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-18771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-18771
Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren:
KBX: Verified Model Synchronization via Formal Bidirectional Transformation. CoRR abs/2404.18771 (2024)
2023
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/WangWYSZXZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/WangWYSZXZ23
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang:
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. ACM Trans. Softw. Eng. Methodol. 32(3): 66:1-66:39 (2023)
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/WangYTFZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WangYTFZ23
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
Synthesizing Conjunctive Queries for Code Search. ECOOP 2023: 36:1-36:30
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangFYPZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangFYPZ23
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang:
Verifying Data Constraint Equivalence in FinTech Systems. ICSE 2023: 1329-1341
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YaoKSFWR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YaoKSFWR23
Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren:
Demystifying Template-Based Invariant Generation for Bit-Vector Programs. ASE 2023: 673-685
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TangWYWFFZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TangWYWFFZ23
Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang:
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. ASE 2023: 914-925
[c10]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/CaiYYZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/CaiYYZ23
Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang:
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. USENIX Security Symposium 2023: 3727-3744
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11011
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang:
Verifying Data Constraint Equivalence in FinTech Systems. CoRR abs/2301.11011 (2023)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-04316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-04316
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang:
Synthesizing Conjunctive Queries for Code Search. CoRR abs/2305.04316 (2023)
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05264
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05264
Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren:
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version). CoRR abs/2309.05264 (2023)
2022
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/WangYTSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/WangYTSZ22
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang:
Complexity-guided container replacement synthesis. Proc. ACM Program. Lang. 6(OOPSLA1): 1-31 (2022)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ShiWYZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ShiWYZ22
Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang:
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis. Proc. ACM Program. Lang. 6(OOPSLA2): 1438-1468 (2022)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GuoZYSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuoZYSZ22
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang:
Precise Divide-By-Zero Detection with Affirmative Evidence. ICSE 2022: 1718-1729
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/HuangGSYWZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/HuangGSYWZ22
Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang:
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning. SP 2022: 36-50
2021
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/YaoSHZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/YaoSHZ21
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang:
Program analysis via efficient symbolic abstraction. Proc. ACM Program. Lang. 5(OOPSLA): 1-32 (2021)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YaoHTSWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YaoHTSWZ21
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang:
Fuzzing SMT solvers via two-dimensional input space exploration. ISSTA 2021: 322-335
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TangHFYWBWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TangHFYWBWZ21
Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, Charles Zhang:
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. ASE 2021: 829-841
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ShiYWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ShiYWZ21
Qingkai Shi, Peisen Yao, Rongxin Wu, Charles Zhang:
Path-sensitive sparse analysis without path conditions. PLDI 2021: 930-943
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/CaiYZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/CaiYZ21
Yuandao Cai, Peisen Yao, Charles Zhang:
Canary: practical static detection of inter-thread value-flow bugs. PLDI 2021: 1126-1140
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/YaoHTSWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/YaoHTSWZ21
Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, Charles Zhang:
Skeletal approximation enumeration for SMT solver testing. ESEC/SIGSOFT FSE 2021: 1141-1153
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-03660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-03660
Yushan Zhang, Peisen Yao, Rongxin Wu, Charles Zhang:
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection. CoRR abs/2107.03660 (2021)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-07923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07923
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang:
Efficient Path-Sensitive Data-Dependence Analysis. CoRR abs/2109.07923 (2021)
2020
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/YaoSHZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/YaoSHZ20
Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang:
Fast bit-vector satisfiability. ISSTA 2020: 38-50
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/HuangYWSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/HuangYWSZ20
Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, Charles Zhang:
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction. SP 2020: 1613-1627

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.