The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems - Michel Hack (SWAT, 1974)

Decidability Questions for Petri Nets - Michel Hack (Garland Publishing, New York, 1975)

The Equality Problem for Vector Addition Systems is Undecidable. - Michel Hack (Theor. Comput. Sci., 1976)

Decidability questions for Petri Nets. - Michel Hack (1976)

Software Exploitation of a Fault-Tolerant Computer with a Large Memory. - Frank Eskesen; Michel Hack; Arun Iyengar; Richard P. King; Nagui Halim (FTCS, 1998)

Architecture and software support in IBM S/390 Parallel Enterprise Servers for IEEE Floating-Point arithmetic. - Paul H. Abbott; David G. Brush; Clarence W. Clark III; Chris J. Crone; John R. Ehrman; Graham W. Ewart; Clark A. Goodrich; Michel Hack; John S. Kapernick; Brian J. Minchau; William C. Shepard; Ronald M. Smith Sr.; et al. (IBM J. Res. Dev., 1999)

Almost Peer-to-Peer Clock Synchronization. - Ahmed Sobeih; Michel Hack; Zhen Liu 001; Li Zhang 002 (IPDPS, 2007)

A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions. - Parijat Dube; Seetharami Seelam; Yanbin Liu; Megumi Ito; Thomas Ling; Michel Hack; Liana Fong; Graeme Johnson; Michael Dawson 001; Li Zhang 002; Yuqing Gao (QEST, 2011)

Experiences in building and scaling an enterprise application on multicore systems. - Seetharami Seelam; Yanbin Liu; Parijat Dube; Megumi Ito; Deniz Binay; Michael Dawson 001; Pramod Nagaraja; Graeme Johnson; Liana Fong; Michel Hack; Xiaoqiao Meng; Yuqing Gao; et al. (Concurr. Comput. Pract. Exp., 2012)

Skewless network clock synchronization. - Enrique Mallada; Xiaoqiao Meng; Michel Hack; Li Zhang 002; Ao Tang (ICNP, 2013)

Skewless Network Clock Synchronization Without Discontinuity: Convergence and Performance. - Enrique Mallada; Xiaoqiao Meng; Michel Hack; Li Zhang 002; Ao Tang (IEEE/ACM Trans. Netw., 2015)

NVMcached: An NVM-based Key-Value Cache. - Xingbo Wu; Fan Ni; Li Zhang 002; Yandong Wang; Yufei Ren; Michel Hack; Zili Shao; Song Jiang 001 (APSys, 2016)

zExpander: a key-value cache with both high performance and fewer misses. - Xingbo Wu; Li Zhang 002; Yandong Wang; Yufei Ren; Michel Hack; Song Jiang 001 (EuroSys, 2016)

iRDMA: Efficient Use of RDMA in Distributed Deep Learning Systems. - Yufei Ren; Xingbo Wu; Li Zhang 002; Yandong Wang; Wei Zhang 057; Zijun Wang; Michel Hack; Song Jiang 001 (HPCC/SmartCity/DSS, 2017)

Lightweight Replication Through Remote Backup Memory Sharing for In-memory Key-Value Stores. - Yandong Wang; Li Zhang 002; Michel Hack; Yufei Ren; Min Li (MASCOTS, 2017)