Rishiyur S. Nikhil - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

ESL flows are enabled by high-level synthesis with universalityRishiyur S. Nikhil. hldvt 2010: 137 [doi]

2009

Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design)Rishiyur S. Nikhil. GPCE 2009: 1-2 [doi]

2008

Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract)Arvind, Rishiyur S. Nikhil. memocode 2008: 205-206 [doi]

2007

TLM: Crossing Over From Buzz To AdoptionFrancine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil. dac 2007: 444-445 [doi]

Composable Guarded Atomic Actions: a Bridging Model for SoC DesignRishiyur S. Nikhil. acsd 2007: 23-28 [doi]

2006

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-designHiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil. memocode 2006: 39-48 [doi]

Beyond RTL: Advanced Digital System DesignShiv Tasker, Rishiyur S. Nikhil. vlsid 2006: 8-9 [doi]

2005

Synthesis of synchronous assertions with guarded atomic actionsMichael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil. memocode 2005: 15-24 [doi]

2004

High-level synthesis: an essential ingredient for designing complex ASICsArvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave. iccad 2004: 775-782 [doi]

Bluespec System Verilog: efficient, correct RTL from high level specificationsRishiyur S. Nikhil. memocode 2004: 69-70 [doi]

2003

Stampede: A Cluster Programming Middleware for Interactive Stream-Oriented ApplicationsUmakishore Ramachandran, Rishiyur S. Nikhil, James M. Rehg, Yavor Angelov, Arnab Paul, Sameer Adhikari, Kenneth M. Mackenzie, Nissim Harel, Kathleen Knobe. tpds, 14(11):1140-1154, 2003. [doi]

2001

Implicit parallel programming in pHRishiyur S. Nikhil, Arvind. Morgan Kaufmann, 2001.

2000

Garbage collection of timestamped data in StampedeRishiyur S. Nikhil, Umakishore Ramachandran. podc 2000: 153-161 [doi]

1999

1998

1996

A Lambda Calculus with Letrecs and BarriersArvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy. fsttcs 1996: 19-36

pHluid: The Design of a Parallel Functional Language Implementation on WorkstationsCormac Flanagan, Rishiyur S. Nikhil. ICFP 1996: 169-179

1995

Parallel Symbolic Computing in CidRishiyur S. Nikhil. psls 1996: 217-242

1994

::::Cid::::: A Parallel, Shared-Memory C for Distributed-Memory MachinesRishiyur S. Nikhil. lcpc 1995: 376-390

1993

The Parallel Programming Language Id and its Compilation for Parallel MachinesRishiyur S. Nikhil. ijhsc, 5(2):171-223, 1993. [doi]

A Multithreaded Implementation of Id using P-RISC GraphsRishiyur S. Nikhil. lcpc 1994: 390-405

1992

1991

Incremental PolymorphismShail Aditya, Rishiyur S. Nikhil. fpca 1991: 379-405

M-Structures: Extending a Parallel, Non-strict, Functional Language with StatePaul S. Barth, Rishiyur S. Nikhil, Arvind. fpca 1991: 538-568

List Comprehensions in Agna, A Parallel Persistant Object SystemMichael L. Heytens, Rishiyur S. Nikhil. fpca 1991: 569-591

Exploiting Parallelism in the Implementation of Agna, a Persistent Programming SystemRishiyur S. Nikhil, Michael L. Heytens. icde 1991: 660-669 [doi]

1990

Executing a Program on the MIT Tagged-Token Dataflow ArchitectureArvind, Rishiyur S. Nikhil. TC, 39(3):300-318, 1990.

1989

I-Structures: Data Structures for Parallel ComputingArvind, Rishiyur S. Nikhil, Keshav Pingali. TOPLAS, 11(4):598-632, 1989. [doi]

GESTALT: An Expressive Database Programming SystemMichael L. Heytens, Rishiyur S. Nikhil. SIGMOD, 18(1):54-67, 1989. [doi]

Can Dataflow Subsume von Neumann Computing?Rishiyur S. Nikhil. isca 1989: 262-272 [doi]

1987

Executing a Program on the MIT Tagged-Token Dataflow ArchitectureArvind, Rishiyur S. Nikhil. parle 1987: 1-29

The Semantics of Update in a Functional Database Programming LanguageRishiyur S. Nikhil. DBPL 1990: 403-421 [doi]

1986

I-structures: Data structures for parallel computingArvind, Rishiyur S. Nikhil, Keshav Pingali. gr 1987: 336-369

1985

Functional Databases, Functional LanguagesRishiyur S. Nikhil. pos 1985: 299-313 [doi]

Practical PolymorphismRishiyur S. Nikhil. fpca 1985: 319-333

Functional Databases, Functional LanguagesRishiyur S. Nikhil. pos 1988: 51-67 [doi]

1982

The Functional Data Model and Its Uses for Interaction with DatabasesPeter Buneman, Rishiyur S. Nikhil. db-workshops 1982: 359-380

An Implementation Technique for Database Query LanguagesPeter Buneman, Robert E. Frankel, Rishiyur S. Nikhil. tods, 7(2):164-186, 1982. [doi]