Arvind

2008
59	EE	Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel Emer: A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. FPGA 2008: 87-96
2007
58	EE	Nirav Dave, Arvind, Michael Pellauer: Scheduling as Rule Composition. MEMOCODE 2007: 51-60
57	EE	Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks: From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. MEMOCODE 2007: 71-80
56	EE	Jan-Willem Maessen, Arvind: Store Atomicity for Transactional Memory. Electr. Notes Theor. Comput. Sci. 174(9): 117-137 (2007)
2006
55	EE	Arvind, Jan-Willem Maessen: Memory Model = Instruction Reordering + Store Atomicity. ISCA 2006: 29-40
54	EE	Nirav Dave, Michael Pellauer, S. Gerding, Arvind: 802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE 2006: 59-68
53	EE	Arvind: UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. VLSI Design 2006: 39
2005
52		Arvind, Larry Rudolph: Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005 ACM 2005
51	EE	Ryan Newton, Arvind, Matt Welsh: Building up to macroprogramming: an intermediate language for sensor networks. IPSN 2005: 37-44
50	EE	Nirav Dave, Man Cheuk Ng, Arvind: Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE 2005: 25-34
2004
49	EE	Daniel L. Rosenband, Arvind: Modular scheduling of guarded atomic actions. DAC 2004: 55-60
48	EE	Arvind: Rethinking Computer Architecture Research. HiPC 2004: 1-2
47	EE	Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave: High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782
46	EE	Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind: Rate Guarantees and Overload Protection in Input-Queued Switches. INFOCOM 2004
45	EE	James C. Hoe, Arvind: Operation-centric hardware description and synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 23(9): 1277-1288 (2004)
2003
44	EE	Arvind: Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. MEMOCODE 2003: 249-
2001
43	EE	Joseph E. Stoy, Xiaowei Shen, Arvind: Proofs of Correctness of Cache-Coherence Protocols. FME 2001: 43-71
2000
42		James C. Hoe, Arvind: Synthesis of Operation-Centric Hardware Descriptions. ICCAD 2000: 511-518
41	EE	Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind: Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards. IPDPS 2000: 13-20
40	EE	Jan-Willem Maessen, Arvind, Xiaowei Shen: Improving the Java memory model using CRF. OOPSLA 2000: 1-12
39	EE	Arvind, Anton T. Dahbura, Alejandro Caro: From Monsoon to StarT-Voyager: University-Industry Collaboration. IEEE Micro 20(3): 75-84 (2000)
1999
38	EE	Xiaowei Shen, Arvind, Larry Rudolph: Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. ISCA 1999: 150-161
37	EE	Xiaowei Shen, Arvind, Larry Rudolph: CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. International Conference on Supercomputing 1999: 135-144
36		James C. Hoe, Arvind: Hardware Synthesis from Term Rewriting Systems. VLSI 1999: 595-619
1998
35	EE	Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind: The StarT-Voyager Parallel System. IEEE PACT 1998: 185-
34	EE	Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Electr. Notes Theor. Comput. Sci. 16(3): (1998)
33		Andrew Shaw, Arvind, Kyoo-Chan Cho, Christopher Hill, R. Paul Johnson, John Marshall: A Comparison of Implicitly Parallel Multithreaded and Data-Parallel Implementations of an Ocean Model. J. Parallel Distrib. Comput. 48(1): 1-51 (1998)
1996
32		Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36
31		Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya: A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. LCPC 1996: 519-533
1995
30		Derek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton: START-NG: Delivering Seamless Parallel Computing. Euro-Par 1995: 101-116
29		Shail Aditya, Arvind, Joseph E. Stoy: Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA 1995: 204-215
28	EE	Zena M. Ariola, Arvind: Properties of a First-Order Functional Language with Sharing. Theor. Comput. Sci. 146(1&2): 69-108 (1995)
1994
27		Arvind: Prospects of ubiquitous parallel computing. IPPS 1994: 2-3
1993
26		James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind: Performance Studies of Id on the Monsoon Dataflow System. J. Parallel Distrib. Comput. 18(3): 273-300 (1993)
1992
25		Rishiyur S. Nikhil, G. M. Papadopoulos, Arvind: *T: A Multithreaded Massively Parallel Architecture. ISCA 1992: 156-167
1991
24		Paul S. Barth, Rishiyur S. Nikhil, Arvind: M-Structures: Extending a Parallel, Non-strict, Functional Language with State. FPCA 1991: 538-568
23		Zena M. Ariola, Arvind: Compilation of Id. LCPC 1991: 99-121
22		Zena M. Ariola, Arvind: A Syntactic Approach to Program Transformations. PEPM 1991: 116-129
1990
21		Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39(3): 300-318 (1990)
1989
20	EE	Zena M. Ariola, Arvind: P-TAC: A Parallel Intermediate Language. FPCA 1989: 230-242
19	EE	Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)
1988
18		David E. Culler, Arvind: Resource Requirements of Dataflow Programs. ISCA 1988: 141-150
17		Arvind, Kattamuri Ekanadham: Future Scientific Programming on Parallel Machines. J. Parallel Distrib. Comput. 5(5): 460-493 (1988)
1987
16		Arvind, Kattamuri Ekanadham: Future Scientific Programming on Parallel Machines. ICS 1987: 639-686
15		Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29
14		Arvind, Robert A. Iannucci: Two Fundamental Issues in Multiprocessing. Parallel Computing in Science and Engineering 1987: 61-88
1986
13		Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369
12	EE	Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 2. ACM Trans. Program. Lang. Syst. 8(1): 109-139 (1986)
11		Keshav Pingali, Arvind: Clarification of ``Feeding Inputs on Demand'' in Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 8(1): 140-141 (1986)
1985
10		Arvind: Demand-Driven Evaluation on Dataflow Machine. FSTTCS 1985: 411
9	EE	Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 7(2): 311-333 (1985)
1983
8		Arvind, Robert A. Iannucci: A Critique of Multiprocessing von Neumann Style ISCA 1983: 426-436
1982
7		Tilak Agerwala, Arvind: Data Flow Systems - Guest Editors' Introduction. IEEE Computer 15(2): 10-13 (1982)
6		Arvind, Kim P. Gostelow: The U-Interpreter. IEEE Computer 15(2): 42-49 (1982)
1981
5		Arvind: Data Flow Languages and Architecture. ISCA 1981: 1
1980
4		Arvind, J. Dean Brock: Streams and Managers. Operating Systems Engineering 1980: 452-465
1977
3		Arvind, Kim P. Gostelow: A Computer Capable of Exchanging Processors for Time. IFIP Congress 1977: 849-853
2		Arvind, Kim P. Gostelow, Wil Plouffe: Indeterminancy, Monitors, and Dataflow. SOSP 1977: 159-169
1973
1		Arvind, Richard Y. Kain, E. Sadeh: On Reference String Generation Processes. SOSP 1973: 80-87

Coauthor Index

1	Shail Aditya	[29] [31]
2	Michael Adler	[59]
3	Tilak Agerwala	[7]
4	Boon Seong Ang	[26] [30] [35] [41]
5	Zena M. Ariola	[20] [22] [23] [28]
6	Hari Balakrishnan	[46]
7	Paul S. Barth	[24]
8	Michael J. Beckerle	[30]
9	G. Andrew Boughton	[30]
10	J. Dean Brock	[4]
11	Alejandro Caro	[31] [39]
12	Derek Chiou	[26] [30] [35] [41]
13	Kyoo-Chan Cho	[33]
14	David E. Culler	[18]
15	Anton T. Dahbura	[39]
16	Nirav Dave	[47] [50] [54] [57] [58]
17	Srinivas Devadas	[46]
18	Douglas Ehlert	[46]
19	Kattamuri Ekanadham	[16] [17]
20	Joel Emer	[59]
21	S. Gerding	[54]
22	Kim P. Gostelow	[2] [3] [6]
23	Robert Greiner	[30]
24	James E. Hicks	[26] [30]
25	Jamey Hicks	[57]
26	Christopher Hill	[33]
27	James C. Hoe	[30] [36] [42] [45]
28	Robert A. Iannucci	[8] [14]
29	R. Paul Johnson	[33]
30	Richard Y. Kain	[1]
31	Jan-Willem Maessen	[31] [32] [34] [40] [55] [56]
32	John Marshall	[33]
33	Ryan Newton	[51]
34	Man Cheuk Ng	[50] [57]
35	Rishiyur S. Nikhil	[13] [15] [19] [21] [24] [25] [32] [34] [47]
36	G. M. Papadopoulos	[25]
37	Michael Pellauer	[54] [58] [59]
38	Keshav Pingali	[9] [11] [12] [13] [19]
39	Wil Plouffe	[2]
40	Gopal Raghavan	[57]
41	Daniel L. Rosenband	[47] [49]
42	Larry Rudolph	[35] [37] [38] [41] [52]
43	E. Sadeh	[1]
44	Andrew Shaw	[33]
45	Xiaowei Shen	[37] [38] [40] [43]
46	Joseph E. Stoy	[29] [32] [34] [43]
47	Muralidaran Vijayaraghavan	[57] [59]
48	Matt Welsh	[51]

Colors in the list of coauthors