Skip to content

Commit c758da8

Browse files
cuteliminationcutelimination
committed
update
1 parent 3989e7b commit c758da8

1 file changed

Lines changed: 29 additions & 29 deletions

File tree

‎index.html‎

Lines changed: 29 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -214,113 +214,113 @@ <h3>Selected Publications</h3>
214214
<li>
215215
<a href="">SAS 2025: Bounded-Exhaustive Subspace Diversification for SMT Solver Testing</a>
216216
<br> Junda Zheng and Peisen Yao
217-
<br>The 32nd Static Analysis Symposium (CCF Rank B)
217+
<br>The 32nd Static Analysis Symposium
218218
</li>
219219
<li>
220220
<a href="./files/ISSTA25.pdf">ISSTA 2025: Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions</a>
221221
<br>Guangsheng Fan, Liqian Chen, Banghu Yin, Wenyu Zhang, Peisen Yao, and
222222
Ji Wang
223-
<br>The ACM SIGSOFT International Symposium on Software Testing and Analysis (CCF Rank A)
223+
<br>The ACM SIGSOFT International Symposium on Software Testing and Analysis
224224
</li>
225225
<li>
226226
<a href="./files/FSE25.pdf">FSE 2025: Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluations</a>
227227
<br>Yuan Li, Peisen Yao*, Kan Yu, Chengpeng Wang, Yaoyang Ye, Song Li, Meng Luo, Yepang Liu, Kui Ren
228-
<br>The ACM International Conference on the Foundations of Software Engineering (CCF Rank A)
228+
<br>The ACM International Conference on the Foundations of Software Engineering
229229
</li>
230230

231231
<li>
232232
<a href="./files/TOSEMKBX.pdf">TOSEM 2025: KBX: Verified Model Synchronization via Formal Bidirectional Transformation</a>
233233
<br>Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, and Kui Ren
234-
<br>ACM Transactions on Software Engineering and Methodology (CCF Rank A)
234+
<br>ACM Transactions on Software Engineering and Methodology
235235
</li>
236236
<li>
237237
<a href="./files/PLDI24.pdf">PLDI 2024: Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis</a>
238238
<br>Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang
239-
<br>The ACM SIGPLAN Conference on Programming Language Design and Implementation (CCF Rank A)
239+
<br>The ACM SIGPLAN Conference on Programming Language Design and Implementation
240240
<br><a style="color:#FF0000">The first PLDI paper from ZJU!</a>
241241
</li>
242242
<li>
243243
<a href="./files/ASPLOS24.pdf">ASPLOS 2024: SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis</a>
244244
<br>Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, and Charles Zhang
245-
<br>ACM International Conference on Architectural Support for Programming Languages and Operating Systems (CCF Rank A)
245+
<br>ACM International Conference on Architectural Support for Programming Languages and Operating Systems
246246
</li>
247247
<li>
248248
<a href="./files/ISSTA24.pdf">ISSTA 2024: Precise Compositional Buffer Overflow Detection via Heap Disjointness</a>
249249
<br>Yiyuan Guo, Peisen Yao*, and Charles Zhang<br>
250-
The ACM SIGSOFT International Symposium on Software Testing and Analysis (CCF Rank A)
250+
The ACM SIGSOFT International Symposium on Software Testing and Analysis
251251
<br><img src="figs/award.gif" width="20" alt="">
252252
<a style="color:#FF0000">ACM SIGSOFT Distinguished Paper Award</a>
253253
</li>
254254
<li><a href="https://dl.acm.org/doi/pdf/10.1145/3632743">TOSEM 2024: Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions</a>
255255
<br>Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang
256-
<br>ACM Transactions on Software Engineering and Methodology (CCF Rank A)
256+
<br>ACM Transactions on Software Engineering and Methodology
257257
</li>
258258
<li>
259259
<a href="https://arxiv.org/pdf/2309.05264.pdf">ICSE 2024: Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning</a>
260260
<br> Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, and Kui Ren
261-
<br> The 2024 IEEE/ACM International Conference on Software Engineering (CCF Rank A)
261+
<br> The 2024 IEEE/ACM International Conference on Software Engineering
262262
</li>
263263
<li>
264264
<a href="./files/SP24Titan.pdf">S&P 2024: Titan: Efficient Multi-target Directed Greybox Fuzzing</a>
265265
<br> Heqing Huang, Peisen Yao*, Hung-Chun Chiu, Yiyuan Guo, and Charles Zhang
266-
<br> The 45th IEEE Symposium on Security and Privacy (Oakland) (CCF Rank A)
266+
<br> The 45th IEEE Symposium on Security and Privacy (Oakland)
267267
</li>
268268
<li>
269269
<a href="./files/ASE23Invariant.pdf">ASE 2023a: Demystifying Template-based Invariant Generation for Bit-Vector Programs</a>
270270
<br> Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, and Kui Ren
271-
<br> The 2023 IEEE/ACM Automated Software Engineering Conference (CCF Rank A)
271+
<br> The 2023 IEEE/ACM Automated Software Engineering Conference
272272
</li>
273273
<li>
274274
<a href="./files/ASE23DCLink.pdf">ASE 2023b: DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems</a>
275275
<br>Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, and Charles Zhang
276-
<br> The 2023 IEEE/ACM Automated Software Engineering Conference (CCF Rank A)
276+
<br> The 2023 IEEE/ACM Automated Software Engineering Conference
277277
</li>
278278
<li>
279279
<a href="https://arxiv.org/pdf/2305.04316.pdf">ECOOP 2023: Synthesizing Conjunctive Queries for Code Search</a>
280280
<br> Chengpeng Wang, Peisen Yao*, Wensheng Tang, Gang Fan, and Charles Zhang
281-
<br> European Conference on Object-Oriented Programming (CCF Rank B)
281+
<br> European Conference on Object-Oriented Programming
282282
</li>
283283
<li>
284284
<a href="https://5hadowblad3.github.io/files/TDSC.pdf">TDSC 2023: Balance Seed Scheduling via Monte Carlo Planning</a>
285285
<br> Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, and Charles Zhang
286-
<br>IEEE Transactions on Dependable and Secure Computing (CCF Rank A)
286+
<br>IEEE Transactions on Dependable and Secure Computing
287287
</li>
288288
<li>
289289
<a href="./files/ICSE23EqDAC.pdf">ICSE 2023: Verifying Data Constraint Equivalence in FinTech Systems</a>
290290
<br>Chengpeng Wang, Gang Fan, Peisen Yao*, Fuxiong Pan, and Charles Zhang
291-
<br>The 2023 IEEE/ACM International Conference on Software Engineering (CCF Rank A)
291+
<br>The 2023 IEEE/ACM International Conference on Software Engineering
292292
</li>
293293
<li>
294294
<a href="./files/SECURITY23LockPick.pdf">USENIX Security 2023: Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs</a>
295295
<br>Yuandao Cai, Peisen Yao*, Chengfeng Ye, and Charles Zhang
296-
<br>The 32nd USENIX Security Symposium (CCF Rank A)
296+
<br>The 32nd USENIX Security Symposium
297297
</li>
298298
<li>
299299
<a href="./files/TOSEMAnchor.pdf">TOSEM 2023: Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation</a>
300300
<br> Chengpeng Wang, Wenyang Wang, Peisen Yao*, Qingkai Shi, Jinguo Zhou, Xiao Xiao, and Charles Zhang
301-
<br> ACM Transactions on Software Engineering and Methodology (CCF Rank A)
301+
<br> ACM Transactions on Software Engineering and Methodology
302302
</li>
303303
<li>
304304
<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA 2022a: Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis</a>
305305
<br> Qingkai Shi, Yongchao Wang, Peisen Yao, and Charles Zhang
306-
<br> The 37th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A)
306+
<br> The 37th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications
307307
</li>
308308
<li>
309309
<a href="./files/OOPSLA22Cres.pdf">OOPSLA 2022b: Complexity-Guided Container Replacement Synthesis</a>
310310
<br> Chengpeng Wang, Peisen Yao*, Wensheng Tang, Qingkai Shi, and Charles Zhang
311-
<br> The 37th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A)
311+
<br> The 37th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications
312312
<br><img src="figs/award.gif" width="20" alt="">
313313
<a style="color:#FF0000">ACM SIGPLAN Distinguished Paper Award</a>
314314
</li>
315315
<li>
316316
<a href="./files/ICSE22Wit.pdf">ICSE 2022: Precise Divide-By-Zero Detection with Affirmative Evidence</a>
317317
<br> Yiyuan Guo, Jinguo Zhou, Peisen Yao*, Qingkai Shi, and Charles Zhang
318-
<br> The 2022 IEEE/ACM International Conference on Software Engineering (CCF Rank A)
318+
<br> The 2022 IEEE/ACM International Conference on Software Engineering
319319
</li>
320320
<li>
321321
<a href="./files/SP22Beacon.pdf">S&P 2022: BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning</a>
322322
<br> Heqing Huang, Yiyuan Guo, Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
323-
<br> The 43rd IEEE Symposium on Security and Privacy (Oakland) (CCF Rank A)
323+
<br> The 43rd IEEE Symposium on Security and Privacy (Oakland)
324324
<br>
325325
<img src="figs/award.gif" width="20" alt="">
326326
<a style="color:#FF0000">Google Research Paper Rewards</a>
@@ -332,42 +332,42 @@ <h3>Selected Publications</h3>
332332
</li>
333333
<li>
334334
<a href="./files/OOPSLA21SymAbsExtended.pdf">OOPSLA 2021: Program Analysis via Efficient Symbolic Abstraction</a>
335-
<br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang <br> The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A) <br>
335+
<br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang <br> The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications <br>
336336
<a style="color:#FF0000">(One of the algorithms has been integrated into SVF)</a>
337337
</li>
338338
<li>
339339
<a href="./files/ASE21TransCode.pdf">ASE 2021: Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems</a>
340-
<br> Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, and Charles Zhang<br> The 2021 IEEE/ACM Automated Software Engineering Conference (CCF Rank A)
340+
<br> Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, and Charles Zhang<br> The 2021 IEEE/ACM Automated Software Engineering Conference
341341
</li>
342342
<li>
343343
<a href="./files/FSE21.pdf">ESEC/FSE 2021: Skeletal Approximation Enumeration for SMT Solver Testing</a>
344344
<br> Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
345-
<br> The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (CCF Rank A)
345+
<br> The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
346346
</li>
347347
<li>
348348
<a href="./files/ISSTA21.pdf">ISSTA 2021: Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration</a>
349349
<br> Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
350-
<br> The 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (CCF Rank A)
350+
<br> The 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
351351
</li>
352352
<li>
353353
<a href="./files/PLDI21Fusion.pdf">PLDI 2021a: Path-Sensitive Sparse Analysis without Path Conditions</a>
354354
<br> Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
355-
<br> The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (CCF Rank A)
355+
<br> The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation
356356
</li>
357357
<li>
358358
<a href="./files/PLDI21Canary.pdf">PLDI 2021b: Canary: Practical Static Detection of Inter-Thread Value-Flow Bugs</a>
359359
<br> Yuandao Cai, Peisen Yao, and Charles Zhang
360-
<br> The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (CCF Rank A)
360+
<br> The 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation
361361
</li>
362362
<li>
363363
<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA 2020: Fast Bit-Vector Satisfiability</a>
364364
<br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang
365-
<br> The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (CCF Rank A)
365+
<br> The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
366366
</li>
367367
<li>
368368
<a href="./files/SP20Pangolin.pdf">S&P 2020: Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction</a>
369369
<br> Heqing Huang, Peisen Yao, Rongxin Wu, Qingkai Shi, and Charles Zhang
370-
<br> The 41st IEEE Symposium on Security and Privacy (Oakland) (CCF Rank A)
370+
<br> The 41st IEEE Symposium on Security and Privacy (Oakland)
371371
</li>
372372
</ul>
373373

0 commit comments

Comments
 (0)