dblp.uni-trier.dewww.uni-trier.de

Rishiyur S. Nikhil Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
41EE Arvind, Rishiyur S. Nikhil: Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE 2008: 205-206
2007
40EERishiyur S. Nikhil: Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ACSD 2007: 23-28
39EEFrancine 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
38EEHiren 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
37EEShiv Tasker, Rishiyur S. Nikhil: Beyond RTL: Advanced Digital System Design. VLSI Design 2006: 8-9
2005
36EEMichael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil: Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE 2005: 15-24
2004
35EE Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave: High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782
34EERishiyur S. Nikhil: Bluespec System Verilog: efficient, correct RTL from high level specifications. MEMOCODE 2004: 69-70
2003
33EEUmakishore 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
32EERishiyur S. Nikhil, Umakishore Ramachandran: Garbage collection of timestamped data in Stampede. PODC 2000: 153-161
1999
31EESandhya 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
30EEUmakishore 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
28EERishiyur 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
27EEJames M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan: Integrated Task and Data Parallel Support for Dynamic Applications. LCR 1998: 167-180
26EE 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
25EE 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
20EERishiyur 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): R1-R164 (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
13EERishiyur 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
11EERishiyur S. Nikhil: Can Dataflow Subsume von Neumann Computing? ISCA 1989: 262-272
10EE Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)
9EEMichael L. Heytens, Rishiyur S. Nikhil: GESTALT: An Expressive Database Programming System. SIGMOD Record 18(1): 54-67 (1989)
1987
8EERishiyur S. Nikhil: The Semantics of Update in a Functional Database Programming Language. DBPL 1987: 403-421
7EE 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
5EERishiyur S. Nikhil: Functional Databases, Functional Languages. Data Types and Persistence (Appin) 1985: 51-67
4EERishiyur 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
1EEPeter 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)