Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Heqing Huang 0002

> Home > Persons

Person information

affiliation: City University of Hong Kong, Department of Computer Science, Hong Kong
affiliation (former): ETH Zurich, Switzerland
affiliation (PhD): Hong Kong University of Science and Technology, Department of Computer Engineering, Hong Kong

Other persons with the same name

see FAQ

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
[j2]
- 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)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/LingHWCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/LingHWCZ24
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang:
GIANTSAN: Efficient Memory Sanitization with Segment Folding. ASPLOS (2) 2024: 433-449
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/ZhouYHCZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/ZhouYHCZ24
Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang:
Plankton: Reconciling Binary Code and Debug Information. ASPLOS (2) 2024: 912-928
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-16497
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-16497
Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su:
SAND: Decoupling Sanitization from Fuzzing for Low Overhead. CoRR abs/2402.16497 (2024)
2022
[c5]
- 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)
[c4]
- 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
[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
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

a service of

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.