Rishiyur S. Nikhil

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 2

Top Topics

Functional Programming

Concurrency Control

Hardware Design

Top Venues

J. Syst. Archit.

In Search of Elegance in the Theory and Practice of Computation

Publications

Niraj N. Sharma, Riya Jain, Mohana Madhumita Pokkuluri, Sachin B. Patkar, Rainer Leupers, Rishiyur S. Nikhil, Farhad Merchant
CLARINET: A quire-enabled RISC-V-based framework for posit arithmetic empiricism. J. Syst. Archit. 135 (2023)
Rishiyur S. Nikhil
Technical perspective: Back to the edge. Commun. ACM 62 (6) (2019)
Rishiyur S. Nikhil
Types, Functional Programming and Atomic Transactions in Hardware Design. In Search of Elegance in the Theory and Practice of Computation (2013)
Rishiyur S. Nikhil
Abstraction in Hardware System Design. ACM Queue 9 (8) (2011)
Rishiyur S. Nikhil
Abstraction in hardware system design. Commun. ACM 54 (10) (2011)
Rishiyur S. Nikhil
ESL flows are enabled by high-level synthesis with universality. HLDVT (2010)
Rishiyur S. Nikhil
Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). GPCE (2009)
Arvind, Rishiyur S. Nikhil
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE (2008)
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)
Rishiyur S. Nikhil
Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ACSD (2007)
Shiv Tasker, Rishiyur S. Nikhil
Beyond RTL: Advanced Digital System Design. VLSI Design (2006)
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)
Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil
Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE (2005)
Rishiyur S. Nikhil
Bluespec System Verilog: efficient, correct RTL from high level specifications. MEMOCODE (2004)
Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave
High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD (2004)
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 Distributed Syst. 14 (11) (2003)
Rishiyur S. Nikhil, Umakishore Ramachandran
Garbage collection of timestamped data in Stampede. PODC (2000)
Kathleen Knobe, James M. Rehg, Arun Chauhan, Rishiyur S. Nikhil, Umakishore Ramachandran
Scheduling Constrained Dynamic Applications on Clusters. SC (1999)
James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan
Integrated task and data parallel support for dynamic applications. Sci. Program. 7 (3-4) (1999)
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)
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)
James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan
Integrated Task and Data Parallel Support for Dynamic Applications. LCR (1998)
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Rishiyur S. Nikhil, Umakishore Ramachandran, James M. Rehg, Robert H. Halstead Jr., Christopher F. Joerg, Leonidas I. Kontothanassis
: A Programming System for Emerging Scalable Interactive Multimedia Applications. LCPC (1998)
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
A Lambda Calculus with Letrecs and Barriers. FSTTCS (1996)
Cormac Flanagan, Rishiyur S. Nikhil
pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP (1996)
Rishiyur S. Nikhil
Parallel Symbolic Computing in Cid. PSLS (1995)
Rishiyur S. Nikhil
: A Parallel, "Shared-Memory" C for Distributed-Memory Machines. LCPC (1994)
Rishiyur S. Nikhil
A Multithreaded Implementation of Id using P-RISC Graphs. LCPC (1993)
Rishiyur S. Nikhil
The Parallel Programming Language Id and its Compilation for Parallel Machines. Int. J. High Speed Comput. 5 (2) (1993)
Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind
*T: A Multithreaded Massively Parallel Architecture. ISCA (1992)
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. ACM SIGPLAN Notices 27 (5) (1992)
Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing (1992)
Rishiyur S. Nikhil, Michael L. Heytens
Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. ICDE (1991)
Paul S. Barth, Rishiyur S. Nikhil, Arvind
M-Structures: Extending a Parallel, Non-strict, Functional Language with State. FPCA (1991)
Michael L. Heytens, Rishiyur S. Nikhil
List Comprehensions in Agna, A Parallel Persistant Object System. FPCA (1991)
Shail Aditya, Rishiyur S. Nikhil
Incremental Polymorphism. FPCA (1991)
Arvind, Rishiyur S. Nikhil
Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39 (3) (1990)
Rishiyur S. Nikhil
Can Dataflow Subsume von Neumann Computing? ISCA (1989)
Arvind, Rishiyur S. Nikhil, Keshav Pingali
I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11 (4) (1989)
Michael L. Heytens, Rishiyur S. Nikhil
GESTALT: An Expressive Database Programming System. SIGMOD Rec. 18 (1) (1989)
Rishiyur S. Nikhil
The Semantics of Update in a Functional Database Programming Language. DBPL (1987)
Arvind, Rishiyur S. Nikhil
Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) (1987)
Arvind, Rishiyur S. Nikhil, Keshav Pingali
I-structures: Data structures for parallel computing. Graph Reduction (1986)
Rishiyur S. Nikhil
Functional Databases, Functional Languages. Data Types and Persistence (Appin), Informal Proceedings (1985)
Rishiyur S. Nikhil
Practical Polymorphism. FPCA (1985)
Rishiyur S. Nikhil
Functional Databases, Functional Languages. Data Types and Persistence (Appin) (1985)
Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil
An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7 (2) (1982)
Peter Buneman, Rishiyur S. Nikhil
The Functional Data Model and Its Uses for Interaction with Databases. On Conceptual Modelling (Intervale) (1982)
Peter Buneman, Rishiyur S. Nikhil, Robert E. Frankel
A practical functional programming system for databases. FPCA (1981)