Joseph Gagliardo

2008
4	EE	Richard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw: Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. DAC 2008: 268-271
3	EE	John P. Grossman, John K. Salmon, Richard C. Ho, Doug Ierardi, Brian Towles, Brannon Batson, Jochen Spengler, Stanley C. Wang, Rolf Mueller, Michael Theobald, Cliff Young, Joseph Gagliardo, Martin M. Deneroff, Ron O. Dror, David E. Shaw: Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. ICCD 2008: 340-347
2	EE	David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, John P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. Commun. ACM 51(7): 91-97 (2008)
2007
1	EE	David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, John P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang: Anton, a special-purpose machine for molecular dynamics simulation. ISCA 2007: 1-12

Coauthor Index

1	Brannon Batson	[1] [2] [3]
2	Kevin J. Bowers	[1] [2]
3	Jack C. Chao	[1] [2]
4	Martin M. Deneroff	[1] [2] [3] [4]
5	Ron O. Dror	[1] [2] [3] [4]
6	Michael P. Eastwood	[1] [2]
7	John P. Grossman	[1] [2] [3]
8	Richard C. Ho	[1] [2] [3] [4]
9	Doug Ierardi	[1] [2] [3]
10	John L. Klepeis	[1] [2]
11	István Kolossváry	[1] [2]
12	Jeffrey Kuskin	[1] [2]
13	Richard H. Larson	[1] [2]
14	Timothy Layman	[1] [2]
15	Christine McLeavey	[1] [2]
16	Mark A. Moraes	[1] [2]
17	Rolf Mueller	[1] [2] [3]
18	Edward C. Priest	[1] [2]
19	John K. Salmon	[1] [2] [3]
20	Yibing Shan	[1] [2]
21	David E. Shaw	[1] [2] [3] [4]
22	Jochen Spengler	[1] [2] [3]
23	Michael Theobald	[1] [2] [3] [4]
24	Brian Towles	[1] [2] [3]
25	Stanley C. Wang	[1] [2] [3]
26	Cliff Young	[1] [2] [3]