default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRishiyur S. Nikhil
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j12]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: 102801 (2023)
2010 – 2019
- 2019
- [j11]Rishiyur S. Nikhil:
Technical perspective: Back to the edge. Commun. ACM 62(6): 82 (2019) - 2013
- [c37]Rishiyur S. Nikhil:
Types, Functional Programming and Atomic Transactions in Hardware Design. In Search of Elegance in the Theory and Practice of Computation 2013: 418-431 - 2011
- [j10]Rishiyur S. Nikhil:
Abstraction in hardware system design. Commun. ACM 54(10): 36-44 (2011) - [j9]Rishiyur S. Nikhil:
Abstraction in Hardware System Design. ACM Queue 9(8): 40 (2011) - 2010
- [c36]Rishiyur S. Nikhil:
ESL flows are enabled by high-level synthesis with universality. HLDVT 2010: 137
2000 – 2009
- 2009
- [c35]Rishiyur S. Nikhil:
Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). GPCE 2009: 1-2 - 2008
- [c34]Arvind, Rishiyur S. Nikhil:
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE 2008: 205-206 - 2007
- [c33]Rishiyur S. Nikhil:
Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ACSD 2007: 23-28 - [c32]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
- [c31]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 - [c30]Shiv Tasker, Rishiyur S. Nikhil:
Beyond RTL: Advanced Digital System Design. VLSI Design 2006: 8-9 - 2005
- [c29]Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil:
Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE 2005: 15-24 - 2004
- [c28]Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave:
High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782 - [c27]Rishiyur S. Nikhil:
Bluespec System Verilog: efficient, correct RTL from high level specifications. MEMOCODE 2004: 69-70 - 2003
- [j8]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): 1140-1154 (2003) - 2001
- [b1]Rishiyur S. Nikhil, Arvind:
Implicit parallel programming in pH. Morgan Kaufmann 2001, ISBN 978-1-55860-644-9, pp. I-XX, 1-508 - 2000
- [c26]Rishiyur S. Nikhil, Umakishore Ramachandran:
Garbage collection of timestamped data in Stampede. PODC 2000: 153-161
1990 – 1999
- 1999
- [j7]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): 289-302 (1999) - [c25]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 - [c24]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 - [c23]Kathleen Knobe, James M. Rehg, Arun Chauhan, Rishiyur S. Nikhil, Umakishore Ramachandran:
Scheduling Constrained Dynamic Applications on Clusters. SC 1999: 46 - 1998
- [c22]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 - [c21]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 - [c20]Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. HLCL 1998: 265-290 - 1996
- [c19]Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36 - [c18]Cormac Flanagan, Rishiyur S. Nikhil:
pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP 1996: 169-179 - 1995
- [c17]Rishiyur S. Nikhil:
Parallel Symbolic Computing in Cid. PSLS 1995: 217-242 - 1994
- [c16]Rishiyur S. Nikhil:
Cid: A Parallel, "Shared-Memory" C for Distributed-Memory Machines. LCPC 1994: 376-390 - [p1]Rishiyur S. Nikhil:
Programming, Compilation and Resource Management Issues for Multithreading (Position Statement). Multithreaded Computer Architecture 1994: 89-96 - 1993
- [j6]Rishiyur S. Nikhil:
The Parallel Programming Language Id and its Compilation for Parallel Machines. Int. J. High Speed Comput. 5(2): 171-223 (1993) - [c15]Rishiyur S. Nikhil:
A Multithreaded Implementation of Id using P-RISC Graphs. LCPC 1993: 390-405 - 1992
- [j5]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): 1- (1992) - [c14]Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind:
*T: A Multithreaded Massively Parallel Architecture. ISCA 1992: 156-167 - [c13]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 - 1991
- [c12]Shail Aditya, Rishiyur S. Nikhil:
Incremental Polymorphism. FPCA 1991: 379-405 - [c11]Paul S. Barth, Rishiyur S. Nikhil, Arvind:
M-Structures: Extending a Parallel, Non-strict, Functional Language with State. FPCA 1991: 538-568 - [c10]Michael L. Heytens, Rishiyur S. Nikhil:
List Comprehensions in Agna, A Parallel Persistant Object System. FPCA 1991: 569-591 - [c9]Rishiyur S. Nikhil, Michael L. Heytens:
Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. ICDE 1991: 660-669 - 1990
- [j4]Arvind, Rishiyur S. Nikhil:
Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39(3): 300-318 (1990)
1980 – 1989
- 1989
- [j3]Michael L. Heytens, Rishiyur S. Nikhil:
GESTALT: An Expressive Database Programming System. SIGMOD Rec. 18(1): 54-67 (1989) - [j2]Arvind, Rishiyur S. Nikhil, Keshav Pingali:
I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989) - [c8]Rishiyur S. Nikhil:
Can Dataflow Subsume von Neumann Computing? ISCA 1989: 262-272 - 1987
- [c7]Rishiyur S. Nikhil:
The Semantics of Update in a Functional Database Programming Language. DBPL 1987: 403-421 - [c6]Arvind, Rishiyur S. Nikhil:
Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29 - 1986
- [c5]Arvind, Rishiyur S. Nikhil, Keshav Pingali:
I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369 - 1985
- [c4]Rishiyur S. Nikhil:
Functional Databases, Functional Languages. Data Types and Persistence (Appin) 1985: 51-67 - [c3]Rishiyur S. Nikhil:
Practical Polymorphism. FPCA 1985: 319-333 - [i1]Rishiyur S. Nikhil:
Functional Databases, Functional Languages. Data Types and Persistence (Appin), Informal Proceedings 1985: 299-313 - 1982
- [j1]Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil:
An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186 (1982) - [c2]Peter Buneman, Rishiyur S. Nikhil:
The Functional Data Model and Its Uses for Interaction with Databases. On Conceptual Modelling (Intervale) 1982: 359-380 - 1981
- [c1]Peter Buneman, Rishiyur S. Nikhil, Robert E. Frankel:
A practical functional programming system for databases. FPCA 1981: 195-202
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
