A practical functional programming system for databases. - Peter Buneman; Rishiyur S. Nikhil; Robert E. Frankel (FPCA, 1981)

The Functional Data Model and Its Uses for Interaction with Databases. - Peter Buneman; Rishiyur S. Nikhil (On Conceptual Modelling (Intervale), 1982)

An Implementation Technique for Database Query Languages. - Peter Buneman; Robert E. Frankel; Rishiyur S. Nikhil (ACM Trans. Database Syst., 1982)

Practical Polymorphism. - Rishiyur S. Nikhil (FPCA, 1985)

Functional Databases, Functional Languages. - Rishiyur S. Nikhil (Data Types and Persistence (Appin), Informal Proceedings, 1985)

The Semantics of Update in a Functional Database Programming Language. - Rishiyur S. Nikhil (DBPL, 1987)

Can Dataflow Subsume von Neumann Computing? - Rishiyur S. Nikhil (ISCA, 1989)

GESTALT: An Expressive Database Programming System. - Michael L. Heytens; Rishiyur S. Nikhil (SIGMOD Rec., 1989)

I-Structures: Data Structures for Parallel Computing. - Arvind 001; Rishiyur S. Nikhil; Keshav Pingali (ACM Trans. Program. Lang. Syst., 1989)

Executing a Program on the MIT Tagged-Token Dataflow Architecture. - Arvind 001; Rishiyur S. Nikhil (IEEE Trans. Computers, 1990)

Incremental Polymorphism. - Shail Aditya; Rishiyur S. Nikhil (FPCA, 1991)

M-Structures: Extending a Parallel, Non-strict, Functional Language with State. - Paul S. Barth; Rishiyur S. Nikhil; Arvind (FPCA, 1991)

List Comprehensions in Agna, A Parallel Persistant Object System. - Michael L. Heytens; Rishiyur S. Nikhil (FPCA, 1991)

Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. - Rishiyur S. Nikhil; Michael L. Heytens (ICDE, 1991)

*T: A Multithreaded Massively Parallel Architecture. - Rishiyur S. Nikhil; Gregory M. Papadopoulos; Arvind 001 (ISCA, 1992)

Massively Parallel Architectures and Symbolic Computation (panel). - Takayasu Ito; Rishiyur S. Nikhil; Julian A. Padget; Norihisa Suzuki; Taiichi Yuasa (Parallel Symbolic Computing, 1992)

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. - Paul Hudak; Simon L. Peyton Jones; Philip Wadler; Brian Boutel; Jon Fairbairn; Joseph H. Fasel; María M. Guzmán; Kevin Hammond; John Hughes 001; Thomas Johnsson; Richard B. Kieburtz; Rishiyur S. Nikhil; et al. (ACM SIGPLAN Notices, 1992)

A Multithreaded Implementation of Id using P-RISC Graphs. - Rishiyur S. Nikhil (LCPC, 1993)

The Parallel Programming Language Id and its Compilation for Parallel Machines. - Rishiyur S. Nikhil (Int. J. High Speed Comput., 1993)

Programming, Compilation and Resource Management Issues for Multithreading (Position Statement). - Rishiyur S. Nikhil (Multithreaded Computer Architecture, 1994)

Cid: A Parallel, "Shared-Memory" C for Distributed-Memory Machines. - Rishiyur S. Nikhil (LCPC, 1994)

Parallel Symbolic Computing in Cid. - Rishiyur S. Nikhil (PSLS, 1995)

A Lambda Calculus with Letrecs and Barriers. - Arvind 001; Jan-Willem Maessen; Rishiyur S. Nikhil; Joseph E. Stoy (FSTTCS, 1996)

pHluid: The Design of a Parallel Functional Language Implementation on Workstations. - Cormac Flanagan; Rishiyur S. Nikhil (ICFP, 1996)

Stampede: A Programming System for Emerging Scalable Interactive Multimedia Applications. - Rishiyur S. Nikhil; Umakishore Ramachandran; James M. Rehg; Robert H. Halstead Jr.; Christopher F. Joerg; Leonidas I. Kontothanassis (LCPC, 1998)

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. - Arvind 001; Jan-Willem Maessen; Rishiyur S. Nikhil; Joseph E. Stoy (HLCL, 1998)

Cashmere-VLM: Remote Memory Paging for Software Distributed Shared Memory. - Sandhya Dwarkadas; Robert Stets; Nikos Hardavellas; Leonidas I. Kontothanassis; Rishiyur S. Nikhil (IPPS/SPDP, 1999)

Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications. - Umakishore Ramachandran; Rishiyur S. Nikhil; Nissim Harel; James M. Rehg; Kathleen Knobe (PPoPP, 1999)

Scheduling Constrained Dynamic Applications on Clusters. - Kathleen Knobe; James M. Rehg; Arun Chauhan 001; Rishiyur S. Nikhil; Umakishore Ramachandran (SC, 1999)

Integrated task and data parallel support for dynamic applications. - James M. Rehg; Kathleen Knobe; Umakishore Ramachandran; Rishiyur S. Nikhil; Arun Chauhan 001 (Sci. Program., 1999)

Garbage collection of timestamped data in Stampede. - Rishiyur S. Nikhil; Umakishore Ramachandran (PODC, 2000)

Implicit parallel programming in pH. - Rishiyur S. Nikhil; Arvind 001 (Morgan Kaufmann, 2001)

Stampede: A Cluster Programming Middleware for Interactive Stream-Oriented Applications. - Umakishore Ramachandran; Rishiyur S. Nikhil; James M. Rehg; Yavor Angelov; Arnab Paul; Sameer Adhikari; Kenneth M. Mackenzie; Nissim Harel; Kathleen Knobe (IEEE Trans. Parallel Distributed Syst., 2003)

High-level synthesis: an essential ingredient for designing complex ASICs. - Arvind 001; Rishiyur S. Nikhil; Daniel L. Rosenband; Nirav Dave (ICCAD, 2004)

Bluespec System Verilog: efficient, correct RTL from high level specifications. - Rishiyur S. Nikhil (MEMOCODE, 2004)

Synthesis of synchronous assertions with guarded atomic actions. - Michael Pellauer; Mieszko Lis; Don Baltus; Rishiyur S. Nikhil (MEMOCODE, 2005)

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. - Hiren D. Patel; Sandeep K. Shukla; E. Mednick; Rishiyur S. Nikhil (MEMOCODE, 2006)

Beyond RTL: Advanced Digital System Design. - Shiv Tasker; Rishiyur S. Nikhil (VLSI Design, 2006)

Composable Guarded Atomic Actions: a Bridging Model for SoC Design. - Rishiyur S. Nikhil (ACSD, 2007)

TLM: Crossing Over From Buzz To Adoption. - Francine Bacchini; Daniel D. Gajski; Laurent Maillet-Contoz; Haruhisa Kashiwagi; Jack Donovan; Tommi Mäkeläinen; Jack Greenbaum; Rishiyur S. Nikhil (DAC, 2007)

Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). - Arvind 001; Rishiyur S. Nikhil (MEMOCODE, 2008)

Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). - Rishiyur S. Nikhil (GPCE, 2009)

ESL flows are enabled by high-level synthesis with universality. - Rishiyur S. Nikhil (HLDVT, 2010)

Abstraction in Hardware System Design. - Rishiyur S. Nikhil (ACM Queue, 2011)

Types, Functional Programming and Atomic Transactions in Hardware Design. - Rishiyur S. Nikhil (In Search of Elegance in the Theory and Practice of Computation, 2013)

Technical perspective: Back to the edge. - Rishiyur S. Nikhil (Commun. ACM, 2019)

CLARINET: A quire-enabled RISC-V-based framework for posit arithmetic empiricism. - Niraj N. Sharma; Riya Jain; Mohana Madhumita Pokkuluri; Sachin B. Patkar; Rainer Leupers; Rishiyur S. Nikhil; Farhad Merchant (J. Syst. Archit., 2023)