C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Peitian Pan
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 11
Top Topics
Ordering Constraints
Join Algorithms
Spatial Queries
Open Source
Top Venues
ICCD
MEMOCODE
MICRO
IEEE Micro
</>
Publications
</>
Peitian Pan
,
Christopher Batten
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules.
MEMOCODE
(2023)
Peitian Pan
,
Shunning Jiang
,
Yanghui Ou
,
Christopher Batten
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.
MEMOCODE
(2023)
Lin Cheng
,
Peitian Pan
,
Zhongyuan Zhao
,
Krithik Ranjan
,
Jack Weber
,
Bandhav Veluri
,
Seyed Borna Ehsani
,
Max Ruttenberg
,
Dai Cheol Jung
,
Preslav Ivanov
,
Dustin Richmond
,
Michael B. Taylor
,
Zhiru Zhang
,
Christopher Batten
A Tensor Processing Framework for CPU-Manycore Heterogeneous Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
41 (6) (2022)
Christopher Torng
,
Peitian Pan
,
Yanghui Ou
,
Cheng Tan
,
Christopher Batten
Ultra-Elastic CGRAs for Irregular Loop Specialization.
HPCA
(2021)
Shunning Jiang
,
Yanghui Ou
,
Peitian Pan
,
Kaishuo Cheng
,
Yixiao Zhang
,
Christopher Batten
PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies.
IEEE Des. Test
38 (2) (2021)
Shunning Jiang
,
Yanghui Ou
,
Peitian Pan
,
Christopher Batten
UMOC: Unified Modular Ordering Constraints to Unify Cycle- and Register-Transfer-Level Modeling.
DAC
(2021)
Shunning Jiang
,
Peitian Pan
,
Yanghui Ou
,
Christopher Batten
PyMTL3: A Python Framework for Open-Source Hardware Modeling, Generation, Simulation, and Verification.
IEEE Micro
40 (4) (2020)
Cheng Tan
,
Yanghui Ou
,
Shunning Jiang
,
Peitian Pan
,
Christopher Torng
,
Shady Agwa
,
Christopher Batten
PyOCN: A Unified Framework for Modeling, Testing, and Evaluating On-Chip Networks.
ICCD
(2019)
Peitian Pan
,
Chao Li
,
Minyi Guo
CongraPlus: Towards Efficient Processing of Concurrent Graph Queries on NUMA Machines.
IEEE Trans. Parallel Distributed Syst.
30 (9) (2019)
Youjie Li
,
Jongse Park
,
Mohammad Alian
,
Yifan Yuan
,
Zheng Qu
,
Peitian Pan
,
Ren Wang
,
Alexander G. Schwing
,
Hadi Esmaeilzadeh
,
Nam Sung Kim
A Network-Centric Hardware/Algorithm Co-Design to Accelerate Distributed Training of Deep Neural Networks.
MICRO
(2018)
Peitian Pan
,
Chao Li
Congra: Towards Efficient Processing of Concurrent Graph Queries on Shared-Memory Machines.
ICCD
(2017)