Rishiyur S. Nikhil

Rishiyur S. Nikhil: Abstraction in hardware system design. Commun. ACM 54(10): 36-44 (2011)

Rishiyur S. Nikhil: Abstraction in Hardware System Design. ACM Queue 9(8): 40 (2011)

Rishiyur S. Nikhil: ESL flows are enabled by high-level synthesis with universality. HLDVT 2010: 137

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

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

Rishiyur S. Nikhil: Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ACSD 2007: 23-28

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

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

Shiv Tasker, Rishiyur S. Nikhil: Beyond RTL: Advanced Digital System Design. VLSI Design 2006: 8-9

Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil: Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE 2005: 15-24

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

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

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 Distrib. Syst. 14(11): 1140-1154 (2003)

Rishiyur S. Nikhil, Arvind: Implicit parallel programming in pH. Morgan Kaufmann 2001, isbn 978-1-55860-644-9, pp. I-XX, 1-508

Rishiyur S. Nikhil, Umakishore Ramachandran: Garbage collection of timestamped data in Stampede. PODC 2000: 153-161

James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan: Integrated task and data parallel support for dynamic applications. Scientific Programming 7(3-4): 289-302 (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: 153-159

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

Kathleen Knobe, James M. Rehg, Arun Chauhan, Rishiyur S. Nikhil, Umakishore Ramachandran: Scheduling Constrained Dynamic Applications on Clusters. SC 1999: 46

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Electr. Notes Theor. Comput. Sci. 16(3): 265-290 (1998)

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

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

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

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

Rishiyur S. Nikhil: Parallel Symbolic Computing in Cid. PSLS 1995: 217-242

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

Rishiyur S. Nikhil: The Parallel Programming Language Id and its Compilation for Parallel Machines. International Journal of High Speed Computing 5(2): 171-223 (1993)

Rishiyur S. Nikhil: A Multithreaded Implementation of Id using P-RISC Graphs. LCPC 1993: 390-405

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. SIGPLAN Notices 27(5): 1- (1992)

Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind: *T: A Multithreaded Massively Parallel Architecture. ISCA 1992: 156-167

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

Shail Aditya, Rishiyur S. Nikhil: Incremental Polymorphism. FPCA 1991: 379-405

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

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

Rishiyur S. Nikhil, Michael L. Heytens: Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. ICDE 1991: 660-669

Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39(3): 300-318 (1990)

Michael L. Heytens, Rishiyur S. Nikhil: GESTALT: An Expressive Database Programming System. SIGMOD Record 18(1): 54-67 (1989)

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

Rishiyur S. Nikhil: Can Dataflow Subsume von Neumann Computing? ISCA 1989: 262-272

Rishiyur S. Nikhil: The Semantics of Update in a Functional Database Programming Language. DBPL 1987: 403-421

Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29

Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369

Rishiyur S. Nikhil: Functional Databases, Functional Languages. Data Types and Persistence (Appin) 1985: 51-67

Rishiyur S. Nikhil: Practical Polymorphism. FPCA 1985: 319-333

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

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

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