default search action
Peng Di
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Zhenyu Yan
, Xin Zhang
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks. Proc. ACM Program. Lang. 8(OOPSLA2): 1532-1560 (2024) - [j5]Weigang He
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. Proc. ACM Softw. Eng. 1(FSE): 1656-1678 (2024) - [j4]Haofeng Li, Tian Tan, Yue Li, Jie Lu
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis. IEEE Trans. Software Eng. 50(5): 1144-1162 (2024) - [c20]Peng Di
MicroFuzz: An Efficient Fuzzing Framework for Microservices. ICSE-SEIP 2024: 216-227 - [c19]Peng Di
CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model. ICSE-SEIP 2024: 418-429 - [i11]Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin Zheng, Yinan Liang, Yu Zhang, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di:
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. CoRR abs/2401.01571 (2024) - [i10]Peng Di, Bingchang Liu, Yiyi Gao
MicroFuzz: An Efficient Fuzzing Framework for Microservices. CoRR abs/2401.05529 (2024) - [i9]Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan:
REPOFUSE: Repository-Level Code Completion with Fused Dual Context. CoRR abs/2402.14323 (2024) - [i8]Xinwei Lin, Jing Zhao, Peng Di, Chuan Xiao, Rui Mao, Yan Ji, Makoto Onizuka, Zishuo Ding, Weiyi Shang, Jianbin Qin:
Automatic String Data Validation with Pattern Discovery. CoRR abs/2408.03005 (2024) - [i7]Ziyin Zhang, Hang Yu, Shijie Li, Peng Di, Jianguo Li, Rui Wang:
GALLa: Graph Aligned Large Language Models for Improved Source Code Understanding. CoRR abs/2409.04183 (2024) - [i6]Xudong Sun, Zhuo Chen, Jingyang Shi, Yiyu Zhang, Peng Di, Xuandong Li, Zhiqiang Zuo:
HardRace: A Dynamic Data Race Monitor for Production Use. CoRR abs/2410.18412 (2024) - 2023
- [j3]Jie Zhao
Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine Relations. ACM Trans. Comput. Syst. 41: 5:1-5:45 (2023) - [c18]Zexin Zhong
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. ICSE-SEIP 2023: 110-121 - [c17]Zelin Zhao, Xizao Wang
Incremental Call Graph Construction in Industrial Practice. ICSE-SEIP 2023: 471-482 - [c16]Jiangchao Liu, Jierui Liu, Peng Di
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. ISSTA 2023: 114-126 - [i5]Peng Di
CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model. CoRR abs/2310.06266 (2023) - [i4]Gang Fan, Xiaoheng Xie, Xunjin Zheng, Yinan Liang, Peng Di
Static Code Analysis in the AI Era: An In-depth Exploration of the Concept, Function, and Potential of Intelligent Code Analysis Agents. CoRR abs/2310.08837 (2023) - [i3]Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang:
Prompting Frameworks for Large Language Models: A Survey. CoRR abs/2311.12785 (2023) - [i2]Zelin Zhao, Zhaogui Xu, Jialong Zhu, Peng Di, Yuan Yao, Xiaoxing Ma:
The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model. CoRR abs/2312.17485 (2023) - 2022
- [c15]Zexin Zhong
Field-Based Static Taint Analysis for Industrial Microservices. ICSE (SEIP) 2022: 149-150 - [c14]Jiangchao Liu, Jierui Liu, Peng Di
Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification. ICSE (SEIP) 2022: 221-230 - [i1]Jiangchao Liu, Jierui Liu, Peng Di
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework. CoRR abs/2210.14436 (2022) - 2021
- [c13]Jie Zhao
AKG: automatic kernel generation for neural processing units using polyhedral transformations. PLDI 2021: 1233-1248 - 2020
- [c12]Jie Zhao
Optimizing the Memory Hierarchy by Compositing Automatic Transformations on Computations and Data. MICRO 2020: 427-441
2010 – 2019
- 2016
- [j2]Jilin Zhang, Junfeng Yuan, Jian Wan, Jie Mao
Efficient parallel implementation of incompressible pipe flow algorithm based on SIMPLE. Concurr. Comput. Pract. Exp. 28(6): 1751-1766 (2016) - [c11]Yulei Sui
Sparse flow-sensitive pointer analysis for multithreaded programs. CGO 2016: 160-170 - [c10]Feng Zhang, Peng Di
RegTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities. ICPP 2016: 562-571 - [c9]Peng Di
Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis. PMAM@PPoPP 2016: 30-39 - 2015
- [c8]Peng Di
Region-Based May-Happen-in-Parallel Analysis for C Programs. ICPP 2015: 889-898 - [c7]Fang Li, Peng Di, Yifan Xu, Jianwei Lv:
Multi-resolution modeling on complex system integrated Logistic Support. IEEM 2015: 1357-1361 - 2013
- [b1]Peng Di:
Automatic Parallelization of Tiled Stencil Loop Nests on GPUs. University of New South Wales, Sydney, Australia, 2013 - 2012
- [j1]Peng Di
Parallelizing SOR for GPGPUs using alternate loop tiling. Parallel Comput. 38(6-7): 310-328 (2012) - [c6]Jilin Zhang, Li-Ting Zhu, Jian Wan, Jie Mao
An Efficient Parallel Implementation for Three-Dimensional Incompressible Pipe Flow Based on SIMPLE. CCGRID 2012: 660-667 - [c5]Peng Di
Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs. ICPP 2012: 350-359 - 2011
- [c4]Peng Di
Model-Driven Tile Size Selection for DOACROSS Loops on GPUs. Euro-Par (2) 2011: 401-412 - 2010
- [c3]Peng Di
Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs. ICPP 2010: 40-50 - [c2]Peng Di, Fang Li, Zhi-Cheng Chen, Wei Huang:
Research on Coupling Risk of System of Systems. SOSE 2010: 137-140
2000 – 2009
- 2009
- [c1]Peng Di
A Cache-Efficient Parallel Gauss-Seidel Solver with Alternating Tiling. ICPADS 2009: 244-251
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-03 20:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: