Rishiyur S. Nikhil

According to our database, Rishiyur S. Nikhil authored at least 47 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., February, 2023

2019

Technical perspective: Back to the edge.

Rishiyur S. Nikhil

Commun. ACM, 2019

2013

Types, Functional Programming and Atomic Transactions in Hardware Design.

Rishiyur S. Nikhil

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2011

Abstraction in hardware system design.

Rishiyur S. Nikhil

Commun. ACM, 2011

2010

ESL flows are enabled by high-level synthesis with universality.

Rishiyur S. Nikhil

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2009

Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design).

Rishiyur S. Nikhil

Proceedings of the Generative Programming and Component Engineering, 2009

2008

Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).

Arvind, Rishiyur S. Nikhil

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

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

Proceedings of the 44th Design Automation Conference, 2007

Composable Guarded Atomic Actions: a Bridging Model for SoC Design.

Rishiyur S. Nikhil

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Beyond RTL: Advanced Digital System Design.

Shiv Tasker, Rishiyur S. Nikhil

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

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

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

Synthesis of synchronous assertions with guarded atomic actions.

Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

Bluespec System Verilog: efficient, correct RTL from high level specifications.

Rishiyur S. Nikhil

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

High-level synthesis: an essential ingredient for designing complex ASICs.

Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2003

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

2001

Implicit parallel programming in pH.

Rishiyur S. Nikhil, Arvind

Morgan Kaufmann, ISBN: 978-1-55860-644-9, 2001

2000

Garbage collection of timestamped data in Stampede.

Rishiyur S. Nikhil, Umakishore Ramachandran

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

1999

Integrated task and data parallel support for dynamic applications.

James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan

Sci. Program., 1999

Scheduling Constrained Dynamic Applications on Clusters.

Kathleen Knobe, James M. Rehg, Arun Chauhan, Rishiyur S. Nikhil, Umakishore Ramachandran

Proceedings of the ACM/IEEE Conference on Supercomputing, 1999

Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications.

Umakishore Ramachandran, Rishiyur S. Nikhil, Nissim Harel, James M. Rehg, Kathleen Knobe

Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Cashmere-VLM: Remote Memory Paging for Software Distributed Shared Memory.

Sandhya Dwarkadas, Robert Stets, Nikos Hardavellas, Leonidas I. Kontothanassis, Rishiyur S. Nikhil

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

1998

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

<i>Stampede</i>: 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

Proceedings of the Languages and Compilers for Parallel Computing, 1998

1996

pHluid: The Design of a Parallel Functional Language Implementation on Workstations.

Cormac Flanagan, Rishiyur S. Nikhil

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

A Lambda Calculus with Letrecs and Barriers.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Parallel Symbolic Computing in Cid.

Rishiyur S. Nikhil

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

<i>Cid</i>: A Parallel, "Shared-Memory" C for Distributed-Memory Machines.

Rishiyur S. Nikhil

Proceedings of the Languages and Compilers for Parallel Computing, 1994

Programming, Compilation and Resource Management Issues for Multithreading (Position Statement).

Rishiyur S. Nikhil

Proceedings of the Multithreaded Computer Architecture, 1994

1993

The Parallel Programming Language Id and its Compilation for Parallel Machines.

Rishiyur S. Nikhil

Int. J. High Speed Comput., 1993

A Multithreaded Implementation of Id using P-RISC Graphs.

Rishiyur S. Nikhil

Proceedings of the Languages and Compilers for Parallel Computing, 1993

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, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson

ACM SIGPLAN Notices, 1992

Massively Parallel Architectures and Symbolic Computation (panel).

Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa

Proceedings of the Parallel Symbolic Computing: Languages, 1992

*T: A Multithreaded Massively Parallel Architecture.

Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind

Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992

1991

Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System.

Rishiyur S. Nikhil, Michael L. Heytens

Proceedings of the Seventh International Conference on Data Engineering, 1991

List Comprehensions in Agna, A Parallel Persistant Object System.

Michael L. Heytens, Rishiyur S. Nikhil

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

M-Structures: Extending a Parallel, Non-strict, Functional Language with State.

Paul S. Barth, Rishiyur S. Nikhil, Arvind

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Incremental Polymorphism.

Shail Aditya, Rishiyur S. Nikhil

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Executing a Program on the MIT Tagged-Token Dataflow Architecture.

Arvind, Rishiyur S. Nikhil

IEEE Trans. Computers, 1990

1989

I-Structures: Data Structures for Parallel Computing.

Arvind, Rishiyur S. Nikhil, Keshav Pingali

ACM Trans. Program. Lang. Syst., 1989

GESTALT: An Expressive Database Programming System.

Michael L. Heytens, Rishiyur S. Nikhil

SIGMOD Rec., 1989

Can Dataflow Subsume von Neumann Computing?

Rishiyur S. Nikhil

Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989

1987

The Semantics of Update in a Functional Database Programming Language.

Rishiyur S. Nikhil

Proceedings of the Advances in Database Programming Languages, 1987

1985

Functional Databases, Functional Languages.

Rishiyur S. Nikhil

Proceedings of the Data Types and Persistence, 1985

Practical Polymorphism.

Rishiyur S. Nikhil

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1982

An Implementation Technique for Database Query Languages.

Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil

ACM Trans. Database Syst., 1982

The Functional Data Model and Its Uses for Interaction with Databases.

Peter Buneman, Rishiyur S. Nikhil

Proceedings of the On Conceptual Modelling, 1982

1981

A practical functional programming system for databases.

Peter Buneman, Rishiyur S. Nikhil, Robert E. Frankel

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981