Parrot

Heming Cui, Yihong Lin, Hao Li, +5

EngineeringRuntimes GrantsComputer ArchitectureSoftware EngineeringMultithreading (Computer Architecture) +15

Efficient deterministic multithreading through schedule relaxation

Heming Cui, Jingyue Wu, John P. Gallagher, +2

EngineeringComputer ArchitectureDeterministic MultithreadingMultithreading (Computer Architecture)Concurrent System +16

Stable deterministic multithreading through schedule memoization

Heming Cui, Jingyue Wu, Chia-Che Tsai, +1

Operating Systems Design and Implementation

EngineeringComputer ArchitectureSoftware EngineeringMultithreading (Computer Architecture)Concurrent System +14

APUS

Cheng Wang, Jianyu Jiang, Xusheng Chen, +2

Cluster ComputingEngineeringDistributed ComputingByzantine FaultCloud Computing +8

One fuzzing strategy to rule them all

Mingyuan Wu, Ling Jiang, Jiahong Xiang, +4

Proceedings of the 44th International Conference on Software Engineering

EngineeringSoftware SystemsSoftware EngineeringSoftware AnalysisData Science +14

Verifying systems rules using rule-directed symbolic execution

Heming Cui, Gang Hu, Jingyue Wu, +1

Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis +17

Bypassing races in live applications with execution filters

Jingyue Wu, Heming Cui, Junfeng Yang

Operating Systems Design and Implementation

EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisFormal Verification +19

vPipe: A Virtualized Acceleration System for Achieving Efficient and Scalable Pipeline Parallel DNN Training

Shixiong Zhao, Fanxin Li, Xusheng Chen, +10

IEEE Transactions on Parallel and Distributed Systems

Convolutional Neural NetworkEngineeringMachine LearningLayer PartitioningComputer Architecture +14

P <scp>axos</scp> made transparent

Heming Cui, Rui Gu, Cheng Liu, +2

Cluster ComputingAvailabilityEngineeringFault ToleranceFault-tolerant Messaging +18

Bidl

Ji Qi, Xusheng Chen, Yunpeng Jiang, +8

Permissioned Blockchain FrameworkBlockchain Consensus ProtocolConsensus ProtocolEngineeringInformation Security +9