Michel Hack  Michel Hack photo       

contact information

RSM
Thomas J. Watson Research Center, Yorktown Heights, NY 10598 USA
  +1dash914dash945dash2674

links

Professional Associations

Professional Associations:  ACM  |  ACM SIGOPS  |  IEEE Standards Association  |  Sigma Xi


2016

NVMcached: An NVM-based Key-Value Cache
Wu, Xingbo and Ni, Fan and Zhang, Li and Wang, Yandong and Ren, Yufei and Hack, Michel and Shao, Zili and Jiang, Song
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, pp. 18, 2016
Abstract

Zexpander: a key-value cache with both high performance and fewer misses
Wu, Xingbo and Zhang, Li and Wang, Yandong and Ren, Yufei and Hack, Michel and Jiang, Song
Proceedings of the Eleventh European Conference on Computer Systems, pp. 14, 2016
Abstract


2015

Skewless network clock synchronization without discontinuity: convergence and performance
Mallada, Enrique and Meng, Xiaoqiao and Hack, Michel and Zhang, Li and Tang, Ao
IEEE/ACM Transactions on Networking (TON) 23(5), 1619--1633, IEEE Press, 2015
Abstract


2013

2012 ACM Distinguished Members
Adams, Joel C and Cassel, Lillian Boots and Cooper, Stephen C and Dann, Wanda P and Garcia, Dan and Owens, Barbara Boucher and Devarakonda, Murthy and Fast, Kenneth Russell and Hack, Michel and Amato, Nancy M and others
Crossroads19, 2013
Abstract

Skewless network clock synchronization
Mallada, Enrique and Meng, Xiaoqiao and Hack, Michel and Zhang, Li and Tang, Ao
Network Protocols (ICNP), 2013 21st IEEE International Conference on, pp. 1--10
Abstract


2012

Experiences in building and scaling an enterprise application on multicore systems
Seetharami Seelam, Yanbin Liu, Parijat Dube, Megumi Ito, Deniz Binay, Michael Dawson, Pramod Nagaraja, Graeme Johnson, Liana Fong, Michel Hack, others
Concurrency and Computation: Practice and Experience 24(2), 111--123, Wiley Online Library, 2012


2011



2010

Leap Second support in computers
Michel Hack, Xiaoqiao Meng, Steve Froehlich, Li Zhang
International IEEE symposium on precision clock synchronization for measurement control and communication (ISPCS), pp. 91--96, 2010


2008

Achieving precise coordinated cluster time in a cluster environment
Steven Froehlich, Michel Hack, Xiaoqiao Meng, Li Zhang
IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS), pp. 54--58, 2008


2007

ALMOST PEER-TO-PEER CLOCK SYNCHRONIZATION
M H T Hack, Z Liu, A A Sobeih, L Zhang
IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 21-30, 2007


2004

On Intermediate Precision Required for Correctly-Rounding Decimal-to-Binary Floating-Point Conversion.
M Hack
Real Numbers and Computing -- RNC6, Nov 2004, pp. 113, University of Trier


2002

Performance Analysis of Simultaneous Multithreading in a PowerPC-based Processor
F Eskesen, M Hack, T Kimbrel, MS Squillante, RJ Eickemeyer, SR Kunkel
The Annual Workshop on Duplicating, Deconstructing, and Debunking, at ISCA 2002, Citeseer


1999

Architecture and software support in IBM S/390 Parallel Enterprise Servers for IEEE floating-point arithmetic
PH Abbott, DG Brush, CW Clark III, CJ Crone, JR Ehrman, GW Ewart, CA Goodrich, M Hack, JS Kapernick, BJ Minchau, others
IBM Journal of Research and Development 43(5-6), 723--760, [Armonk, NY]: International Business Machines Corp., 1999


1998

Software Exploitation of a Fault-Tolerant Computer with a Large Memory
F Eskesen, M Hack, A Iyengar, R P King, N Halim
FTCS, pp. 336--345, 1998


1984

WIRELESS CURSOR-CONTROL DEVICE
DF Bantz, WE Daniels, JB Gunn, M Hack
IBM technical disclosure bulletin27, 1326, International Business Machines Corp., 1984


1976

The equality problem for vector addition systems is undecidable.
M. Hack
Theoretical Computer Science2, 77-95, Springer, 1976

Decidability Questions lor Petri Nets
M H T Hack
Technical Report, MIT, Laboratory for Computer Science, LCS/TR-161. Cambridge, Ma, 1976


1975

Decidability questions for Petri nets
M Hack
1975 - http.se.scene.org, Garland Publishing, New York

Decidability Questions for Petri Nets (PhD Thesis)
M HACK
MIT , Cambridge, Mass, MIT, Cambridge, Mass, 1975

Decision problems for petri nets and vector addition systems. Project mac tr-59
MHT Hack
Technical Report, MIT, Cambridge, 1975

The equality problem for Vector Addition Systems is undecidable. Computation Structures Memo 121, Project MAC
M Hack
Technical Report, MIT, April, 1975

Decision problems for Petri nets and vector addition systems, MAC Tech. Mem. 59
M Hack
Technical Report, MIT, 1975

The equality problem for vector addition systems is undecidable
M Hack
Technical Report, MIT April, 1975

Petri Net Languages, Computation Structures Group Memo 124, Project MAC
M Hack
Technical Report, MIT, 1975


1974

The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems. Project MAC
Hack, Michel
Technical Report, Memo 107, MIT, Cambridge, Mass, 1974

The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems
Hack, Michel
SWAT (FOCS), pp. 156--164, 1974
Abstract

Corrections to'Analysis of Production Schemata by Petri Nets'
MHT HACK
Cambridge, Mass.: MIT , Project MAC, Computation ..., Cambridge, Mass.: MIT, Project MAC, Computation Structures Note, 1974

The recursive equivalence of the liveness problem and the reachability problem for Petri Nets and Vector Addition Systems, Computation Structures Group Memo 107, Project MAC
M Hack
Technical Report, MIT, August, 1974

Decision problems for Petri nets and vector addition systems. Computation Structures Group Memo 95. Project MAC
M Hack
Technical Report, MIT, Cambridge, Mass., March, 1974

Petri Nets and Commutative Semigroups. Computation Structures Note No. 18, Project MAC
M Hack
MIT, July414, 415, 1974


1973

The Goedelization of Petri Nets and Vector Addition Systems, Computation Structures Note No. 10, Project MAC
M Hack
Technical Report, MIT, May, 1973

The Equivalence of Generalized Petri Nets and Ordinary Petri Nets. Computation Structures Note 9, Project MAC
M Hack
Technical Report, MIT, April, 1973

Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri Net Results. Computation Structures Group Memo 78, Project MAC
M Hack
MIT , Cambridge, MA, MIT, Cambridge, MA, 1973


1972

Analysis of production schemata by Petri nets. Project Mac Report TR-94
Hack, Michel Henri Th{\'e}odore
1972 - MIT, MIT

Analysis of Production Schemata by Petrl Nets, Master's Thesis
M Hack
Dept. of Electr. Engineering, MIT, Cambridge, Massachusetts, 1972

Analysis of production schemata by Petri nets, TR94, Project MAC
MH Hack
Technical Report, MIT, 1972


1971

Analysis of Petri Nets used as a Model for Concurrent SyStems and Production Facilities
M Hack
Project MAC, MIT Report, 1971