| 2008 |
|---|
| 41 | EE | Arvind,
Rishiyur S. Nikhil:
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).
MEMOCODE 2008: 205-206 |
| 2007 |
|---|
| 40 | EE | Rishiyur S. Nikhil:
Composable Guarded Atomic Actions: a Bridging Model for SoC Design.
ACSD 2007: 23-28 |
| 39 | EE | 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 | EE | 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 | EE | Shiv Tasker,
Rishiyur S. Nikhil:
Beyond RTL: Advanced Digital System Design.
VLSI Design 2006: 8-9 |
| 2005 |
|---|
| 36 | EE | Michael Pellauer,
Mieszko Lis,
Don Baltus,
Rishiyur S. Nikhil:
Synthesis of synchronous assertions with guarded atomic actions.
MEMOCODE 2005: 15-24 |
| 2004 |
|---|
| 35 | EE | Arvind,
Rishiyur S. Nikhil,
Daniel L. Rosenband,
Nirav Dave:
High-level synthesis: an essential ingredient for designing complex ASICs.
ICCAD 2004: 775-782 |
| 34 | EE | Rishiyur S. Nikhil:
Bluespec System Verilog: efficient, correct RTL from high level specifications.
MEMOCODE 2004: 69-70 |
| 2003 |
|---|
| 33 | EE | 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 | EE | Rishiyur S. Nikhil,
Umakishore Ramachandran:
Garbage collection of timestamped data in Stampede.
PODC 2000: 153-161 |
| 1999 |
|---|
| 31 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | 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) |
| 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 | EE | 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): 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 |
| 13 | EE | 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 | EE | Rishiyur S. Nikhil:
Can Dataflow Subsume von Neumann Computing?
ISCA 1989: 262-272 |
| 10 | EE | Arvind,
Rishiyur S. Nikhil,
Keshav Pingali:
I-Structures: Data Structures for Parallel Computing.
ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989) |
| 9 | EE | Michael L. Heytens,
Rishiyur S. Nikhil:
GESTALT: An Expressive Database Programming System.
SIGMOD Record 18(1): 54-67 (1989) |
| 1987 |
|---|
| 8 | EE | 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 | EE | Rishiyur S. Nikhil:
Functional Databases, Functional Languages.
Data Types and Persistence (Appin) 1985: 51-67 |
| 4 | EE | 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 | EE | Peter Buneman,
Robert E. Frankel,
Rishiyur S. Nikhil:
An Implementation Technique for Database Query Languages.
ACM Trans. Database Syst. 7(2): 164-186 (1982) |
