Brannon Batson

	2008
8		Jeffrey Kuskin, Cliff Young, John P. Grossman, Brannon Batson, Martin M. Deneroff, Ron O. Dror, David E. Shaw: Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation. HPCA 2008: 343-354
7		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
6		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
5		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
	2004
4		Serdar Tasiran, Yuan Yu, Brannon Batson: Linking Simulation with Formal Verification at a Higher Level. IEEE Design & Test of Computers 21(6): 472-482 (2004)
	2003
3		Serdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
	2002
2		Brannon Batson, Leslie Lamport: High-Level Specifications: Lessons from Industry. FMCO 2002: 242-261
	2001
1		Brannon Batson, T. N. Vijaykumar: Reactive-Associative Caches. IEEE PACT 2001: 49-60

Coauthor Index

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

Colors in the list of coauthors