Rishiyur S. Nikhil

	2009
42		Rishiyur S. Nikhil: Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). GPCE 2009: 1-2
	2008
41		Arvind, Rishiyur S. Nikhil: Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE 2008: 205-206
	2007
40		Rishiyur S. Nikhil: Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ACSD 2007: 23-28
39		Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil: TLM: Crossing Over From Buzz To Adoption. DAC 2007: 444-445
	2006
38		Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil: A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. MEMOCODE 2006: 39-48
37		Shiv Tasker, Rishiyur S. Nikhil: Beyond RTL: Advanced Digital System Design. VLSI Design 2006: 8-9
	2005
36		Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil: Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE 2005: 15-24
	2004
35		Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave: High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782
34		Rishiyur S. Nikhil: Bluespec System Verilog: efficient, correct RTL from high level specifications. MEMOCODE 2004: 69-70
	2003
33		Umakishore Ramachandran, Rishiyur S. Nikhil, James M. Rehg, Yavor Angelov, Arnab Paul, Sameer Adhikari, Kenneth M. Mackenzie, Nissim Harel, Kathleen Knobe: Stampede: A Cluster Programming Middleware for Interactive Stream-Oriented Applications. IEEE Trans. Parallel Distrib. Syst. 14(11): 1140-1154 (2003)
	2000
32		Rishiyur S. Nikhil, Umakishore Ramachandran: Garbage collection of timestamped data in Stampede. PODC 2000: 153-161
	1999
31		Sandhya Dwarkadas, Robert Stets, Nikos Hardavellas, Leonidas I. Kontothanassis, Rishiyur S. Nikhil: Cashmere-VLM: Remote Memory Paging for Software Distributed Shared Memory. IPPS/SPDP 1999: 153-159
30		Umakishore Ramachandran, Rishiyur S. Nikhil, Nissim Harel, James M. Rehg, Kathleen Knobe: Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications. PPOPP 1999: 183-192
29		James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan: Integrated task and data parallel support for dynamic applications. Scientific Programming 7(3-4): 289-302 (1999)
	1998
28		Rishiyur S. Nikhil, Umakishore Ramachandran, James M. Rehg, Robert H. Halstead Jr., Christopher F. Joerg, Leonidas I. Kontothanassis: Stampede: A Programming System for Emerging Scalable Interactive Multimedia Applications. LCPC 1998: 83-99
27		James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan: Integrated Task and Data Parallel Support for Dynamic Applications. LCR 1998: 167-180
26		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)
	1996
25		Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36
24		Cormac Flanagan, Rishiyur S. Nikhil: pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP 1996: 169-179
	1995
23		Rishiyur S. Nikhil: Parallel Symbolic Computing in Cid. PSLS 1995: 217-242
	1994
22		Rishiyur S. Nikhil: Cid: A Parallel, "Shared-Memory" C for Distributed-Memory Machines. LCPC 1994: 376-390
	1993
21		Rishiyur S. Nikhil: A Multithreaded Implementation of Id using P-RISC Graphs. LCPC 1993: 390-405
20		Rishiyur S. Nikhil: The Parallel Programming Language Id and its Compilation for Parallel Machines. International Journal of High Speed Computing 5(2): 171-223 (1993)
	1992
19		Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind: *T: A Multithreaded Massively Parallel Architecture. ISCA 1992: 156-167
18		Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa: Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing 1992: 408-416
17		Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson: Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. SIGPLAN Notices 27(5): 1- (1992)
	1991
16		Shail Aditya, Rishiyur S. Nikhil: Incremental Polymorphism. FPCA 1991: 379-405
15		Paul S. Barth, Rishiyur S. Nikhil, Arvind: M-Structures: Extending a Parallel, Non-strict, Functional Language with State. FPCA 1991: 538-568
14		Michael L. Heytens, Rishiyur S. Nikhil: List Comprehensions in Agna, A Parallel Persistant Object System. FPCA 1991: 569-591
13		Rishiyur S. Nikhil, Michael L. Heytens: Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. ICDE 1991: 660-669
	1990
12		Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39(3): 300-318 (1990)
	1989
11		Rishiyur S. Nikhil: Can Dataflow Subsume von Neumann Computing? ISCA 1989: 262-272
10		Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)
9		Michael L. Heytens, Rishiyur S. Nikhil: GESTALT: An Expressive Database Programming System. SIGMOD Record 18(1): 54-67 (1989)
	1987
8		Rishiyur S. Nikhil: The Semantics of Update in a Functional Database Programming Language. DBPL 1987: 403-421
7		Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29
	1986
6		Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369
	1985
5		Rishiyur S. Nikhil: Functional Databases, Functional Languages. Data Types and Persistence (Appin) 1985: 51-67
4		Rishiyur S. Nikhil: Functional Databases, Functional Languages. Data Types and Persistence (Appin), Informal Proceedings 1985: 299-313
3		Rishiyur S. Nikhil: Practical Polymorphism. FPCA 1985: 319-333
	1982
2		Peter Buneman, Rishiyur S. Nikhil: The Functional Data Model and Its Uses for Interaction with Databases. On Conceptual Modelling (Intervale) 1982: 359-380
1		Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186 (1982)

Coauthor Index

1	Sameer Adhikari	[33]
2	Shail Aditya	[16]
3	Yavor Angelov	[33]
4	Arvind	[6] [7] [10] [12] [15] [19] [25] [26] [35] [41]
5	Francine Bacchini	[39]
6	Don Baltus	[36]
7	Paul S. Barth	[15]
8	Brian Boutel	[17]
9	Peter Buneman	[1] [2]
10	Arun Chauhan	[27] [29]
11	Nirav Dave	[35]
12	Jack Donovan	[39]
13	Sandhya Dwarkadas	[31]
14	Jon Fairbairn	[17]
15	Joseph H. Fasel	[17]
16	Cormac Flanagan	[24]
17	Robert E. Frankel	[1]
18	Daniel Gajski (Daniel D. Gajski)	[39]
19	Jack Greenbaum	[39]
20	María M. Guzmán	[17]
21	Robert H. Halstead Jr.	[28]
22	Kevin Hammond	[17]
23	Nikolaos Hardavellas (Nikos Hardavellas)	[31]
24	Nissim Harel	[30] [33]
25	Michael L. Heytens	[9] [13] [14]
26	Paul Hudak	[17]
27	John Hughes	[17]
28	Takayasu Ito	[18]
29	Christopher F. Joerg	[28]
30	Thomas Johnsson	[17]
31	Simon L. Peyton Jones	[17]
32	Haruhisa Kashiwagi	[39]
33	Richard B. Kieburtz (Dick Kieburtz)	[17]
34	Kathleen Knobe	[27] [29] [30] [33]
35	Leonidas I. Kontothanassis	[28] [31]
36	Mieszko Lis	[36]
37	Kenneth M. Mackenzie	[33]
38	Jan-Willem Maessen	[25] [26]
39	Laurent Maillet-Contoz	[39]
40	Tommi Mäkeläinen	[39]
41	E. Mednick	[38]
42	Julian A. Padget	[18]
43	Gregory M. Papadopoulos	[19]
44	Will Partain	[17]
45	Hiren D. Patel	[38]
46	Arnab Paul	[33]
47	Michael Pellauer	[36]
48	John Peterson	[17]
49	Keshav Pingali	[6] [10]
50	Umakishore Ramachandran	[27] [28] [29] [30] [32] [33]
51	James M. Rehg	[27] [28] [29] [30] [33]
52	Daniel L. Rosenband	[35]
53	Sandeep K. Shukla	[38]
54	Robert Stets	[31]
55	Joseph E. Stoy	[25] [26]
56	Norihisa Suzuki	[18]
57	Shiv Tasker	[37]
58	Philip Wadler	[17]
59	Taiichi Yuasa	[18]

Colors in the list of coauthors