Arvind

	2012
82		Myron King, Nirav Dave, Arvind: Automatic generation of hardware/software interfaces. ASPLOS 2012: 325-336
81		Kermin Elliott Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer: Leveraging latency-insensitivity to ease multiple FPGA design. FPGA 2012: 175-184
80		Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind: Fast and cycle-accurate modeling of a multicore processor. ISPASS 2012: 178-187
	2011
79		Arvind: Automatic generation of hardware/software interfaces. CASES 2011: 1-2
78		Kermin Elliott Fleming, Man Cheuk Ng, Samuel Gross, Arvind: WiLIS: Architectural modeling of wireless systems. ISPASS 2011: 197-206
77		Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer: Verification of microarchitectural refinements in rule-based systems. MEMOCODE 2011: 61-71
	2010
76		Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan: Airblue: a system for cross-layer wireless protocol development. ANCS 2010: 4
75		Arvind: Is hardware innovation over? HPCA 2010: 1
74		Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind: A design flow based on modular refinement. MEMOCODE 2010: 11-20
73		Arvind: Is hardware innovation over? PPOPP 2010: 103-104
72		Abhinav Agarwal, Man Cheuk Ng, Arvind: A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder. Embedded Systems Letters 2(3): 72-76 (2010)
71		Arvind, David I. August, Keshav Pingali, Derek Chiou, Resit Sendag, Joshua J. Yi: Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs? IEEE Micro 30(3): 19-33 (2010)
	2009
70		Muralidaran Vijayaraghavan, Arvind: Bounded Dataflow Networks and Latency-Insensitive circuits. MEMOCODE 2009: 171-180
69		Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer: A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs. TRETS 2(3): (2009)
	2008
68		Arvind, Nirav Dave, Michael Katelman: Getting Formal Verification into Design Flow. FM 2008: 12-32
67		Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer: A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. FPGA 2008: 87-96
66		Michal Karczmarek, Arvind: Synthesis from multi-cycle atomic actions as a solution to the timing closure problem. ICCAD 2008: 24-31
65		Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer: Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs. ISPASS 2008: 1-10
64		Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks: H.264 Decoder: A Case Study in Multiple Design Points. MEMOCODE 2008: 165-174
63		Arvind, Rishiyur S. Nikhil: Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE 2008: 205-206
62		Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer: Advances in ESL Design. IEEE Design & Test of Computers 25(6): 520-526 (2008)
	2007
61		Nirav Dave, Arvind, Michael Pellauer: Scheduling as Rule Composition. MEMOCODE 2007: 51-60
60		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
59		Jan-Willem Maessen, Arvind: Store Atomicity for Transactional Memory. Electr. Notes Theor. Comput. Sci. 174(9): 117-137 (2007)
	2006
58		Arvind, Jan-Willem Maessen: Memory Model = Instruction Reordering + Store Atomicity. ISCA 2006: 29-40
57		Nirav Dave, Michael Pellauer, S. Gerding, Arvind: 802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE 2006: 59-68
56		Arvind: UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. VLSI Design 2006: 39
55		Arvind, Jamey Hicks: A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture. IEEE Intelligent Systems 21(5): 78-79 (2006)
	2005
54		Arvind, Larry Rudolph: Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005 ACM 2005
53		Ryan Newton, Arvind, Matt Welsh: Building up to macroprogramming: an intermediate language for sensor networks. IPSN 2005: 37-44
52		Nirav Dave, Man Cheuk Ng, Arvind: Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE 2005: 25-34
	2004
51		Daniel L. Rosenband, Arvind: Modular scheduling of guarded atomic actions. DAC 2004: 55-60
50		Arvind: Rethinking Computer Architecture Research. HiPC 2004: 1-2
49		Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave: High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782
48		Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind: Rate Guarantees and Overload Protection in Input-Queued Switches. INFOCOM 2004
47		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
46		Arvind: Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. MEMOCODE 2003: 249-
	2001
45		Rishiyur S. Nikhil, Arvind: Implicit parallel programming in pH. Morgan Kaufmann 2001: I-XX, 1-508
44		Joseph E. Stoy, Xiaowei Shen, Arvind: Proofs of Correctness of Cache-Coherence Protocols. FME 2001: 43-71
	2000
43		James C. Hoe, Arvind: Synthesis of Operation-Centric Hardware Descriptions. ICCAD 2000: 511-518
42		Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind: Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards. IPDPS 2000: 13-20
41		Jan-Willem Maessen, Arvind, Xiaowei Shen: Improving the Java memory model using CRF. OOPSLA 2000: 1-12
40		Arvind, Anton T. Dahbura, Alejandro Caro: From Monsoon to StarT-Voyager: University-Industry Collaboration. IEEE Micro 20(3): 75-84 (2000)
	1999
39		Xiaowei Shen, Arvind, Larry Rudolph: Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. ISCA 1999: 150-161
38		Xiaowei Shen, Arvind, Larry Rudolph: CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. International Conference on Supercomputing 1999: 135-144
37		James C. Hoe, Arvind: Hardware Synthesis from Term Rewriting Systems. VLSI 1999: 595-619
	1998
36		Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind: The StarT-Voyager Parallel System. IEEE PACT 1998: 185-
35		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): 265-290 (1998)
34		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
33		Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36
32		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
31		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
30		Shail Aditya, Arvind, Joseph E. Stoy: Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA 1995: 204-215
29		Zena M. Ariola, Arvind: Properties of a First-Order Functional Language with Sharing. Theor. Comput. Sci. 146(1&2): 69-108 (1995)
	1994
28		Arvind: Prospects of ubiquitous parallel computing. IPPS 1994: 2-3
	1993
27		Arvind, Stephen Brobst: The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC. International Journal of High Speed Computing 5(2): 125-153 (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, Gregory 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		Zena M. Ariola, Arvind: P-TAC: A Parallel Intermediate Language. FPCA 1989: 230-242
19		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		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		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	[30] [32]
2	Michael Adler	[65] [67] [69] [81]
3	Abhinav Agarwal	[72]
4	Tilak Agerwala	[7]
5	Boon Seong Ang	[26] [31] [36] [42]
6	Zena M. Ariola	[20] [22] [23] [29]
7	David I. August	[71]
8	Hari Balakrishnan	[48] [76]
9	Paul S. Barth	[24]
10	Michael J. Beckerle	[31]
11	Gérard Berry	[62]
12	G. Andrew Boughton	[31]
13	Silas Boyd-Wickizer	[80]
14	Forrest Brewer	[62]
15	Stephen Brobst	[27]
16	J. Dean Brock	[4]
17	Alejandro Caro	[32] [40]
18	Derek Chiou	[26] [31] [36] [42] [71]
19	Kyoo-Chan Cho	[34]
20	David E. Culler	[18]
21	Anton T. Dahbura	[40]
22	Nirav Dave	[49] [52] [57] [60] [61] [64] [68] [74] [77] [82]
23	Srinivas Devadas	[48]
24	Douglas Ehlert	[48]
25	Kattamuri Ekanadham	[16] [17]
26	Joel S. Emer	[65] [67] [69] [81]
27	Kermin Fleming (Kermin Elliott Fleming)	[64] [76] [78] [81]
28	S. Gerding	[57]
29	Kim P. Gostelow	[2] [3] [6]
30	Robert Greiner	[31]
31	Samuel Gross	[76] [78]
32	Rajesh K. Gupta (Rajesh Gupta)	[62]
33	James E. Hicks	[26] [31]
34	Jamey Hicks	[55] [60] [64]
35	Christopher Hill	[34]
36	James C. Hoe	[31] [37] [43] [47]
37	Robert A. Iannucci	[8] [14]
38	R. Paul Johnson	[34]
39	Richard Y. Kain	[1]
40	Michal Karczmarek	[66]
41	Michael Katelman	[68] [77]
42	Asif Khan	[80]
43	Myron King	[77] [82]
44	Chun-Chieh Lin	[64]
45	Jan-Willem Maessen	[32] [33] [35] [41] [58] [59]
46	John Marshall	[34]
47	José Meseguer	[77]
48	Ryan Newton	[53]
49	Man Cheuk Ng	[52] [60] [72] [74] [76] [78]
50	Rishiyur S. Nikhil	[13] [15] [19] [21] [24] [25] [33] [35] [45] [49] [63]
51	Gregory M. Papadopoulos	[25]
52	Angshuman Parashar	[81]
53	Michael Pellauer	[57] [61] [65] [67] [69] [74] [81]
54	Keshav Pingali	[9] [11] [12] [13] [19] [71]
55	Wil Plouffe	[2]
56	Gopal Raghavan	[60] [64]
57	Daniel L. Rosenband	[49] [51]
58	Larry Rudolph	[36] [38] [39] [42] [54]
59	E. Sadeh	[1]
60	Resit Sendag	[71]
61	Andrew Shaw	[34]
62	Xiaowei Shen	[38] [39] [41] [44]
63	Joseph E. Stoy	[30] [33] [35] [44]
64	Muralidaran Vijayaraghavan	[60] [65] [67] [69] [70] [80]
65	Mythili Vutukuru	[76]
66	Matt Welsh	[53]
67	Joshua J. Yi	[71]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page