Peitian Pan

According to our database, Peitian Pan authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.

Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules.

Peitian Pan, Christopher Batten

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

A Tensor Processing Framework for CPU-Manycore Heterogeneous Systems.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021

PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies.

Shunning Jiang, Yanghui Ou, Peitian Pan, Kaishuo Cheng, Yixiao Zhang, Christopher Batten

IEEE Des. Test, 2021

Ultra-Elastic CGRAs for Irregular Loop Specialization.

Christopher Torng, Peitian Pan, Yanghui Ou, Cheng Tan, Christopher Batten

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

UMOC: Unified Modular Ordering Constraints to Unify Cycle- and Register-Transfer-Level Modeling.

Shunning Jiang, Yanghui Ou, Peitian Pan, Christopher Batten

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

PyMTL3: A Python Framework for Open-Source Hardware Modeling, Generation, Simulation, and Verification.

Shunning Jiang, Peitian Pan, Yanghui Ou, Christopher Batten

IEEE Micro, 2020

2019

CongraPlus: Towards Efficient Processing of Concurrent Graph Queries on NUMA Machines.

Peitian Pan, Chao Li, Minyi Guo

IEEE Trans. Parallel Distributed Syst., 2019

PyOCN: A Unified Framework for Modeling, Testing, and Evaluating On-Chip Networks.

Cheng Tan, Yanghui Ou, Shunning Jiang, Peitian Pan, Christopher Torng, Shady Agwa, Christopher Batten

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

A Network-Centric Hardware/Algorithm Co-Design to Accelerate Distributed Training of Deep Neural Networks.

Youjie Li, Jongse Park, Mohammad Alian, Yifan Yuan, Zheng Qu, Peitian Pan, Ren Wang, Alexander G. Schwing, Hadi Esmaeilzadeh, Nam Sung Kim

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

2017

Congra: Towards Efficient Processing of Concurrent Graph Queries on Shared-Memory Machines.

Peitian Pan, Chao Li

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017