| 2009 | GPCE | Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). | Rishiyur S. Nikhil |
| 2008 | MEMOCODE | Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). | Arvind, Rishiyur S. Nikhil |
| 2007 | DAC | TLM: Crossing Over From Buzz To Adoption. | Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mkelinen, Jack Greenbaum, Rishiyur S. Nikhil |
| 2006 | MEMOCODE | A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. | Hiren D. Patel, Sandeep K. Shukla, Elliot Mednick, Rishiyur S. Nikhil |
| 2006 | VLSID | Beyond RTL: Advanced Digital System Design. | Shiv Tasker, Rishiyur S. Nikhil |
| 2005 | MEMOCODE | Synthesis of synchronous assertions with guarded atomic actions. | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil |
| 2004 | ICCAD | High-level synthesis: an essential ingredient for designing complex ASICs. | Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave |
| 2004 | MEMOCODE | Bluespec System Verilog: efficient, correct RTL from high level specifications. | Rishiyur S. Nikhil |
| 2000 | PODC | Garbage collection of timestamped data in Stampede. | Rishiyur S. Nikhil, Umakishore Ramachandran |
| 1999 | PPoPP | Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications. | Umakishore Ramachandran, Rishiyur S. Nikhil, Nissim Harel, James M. Rehg, Kathleen Knobe |
| 1999 | SC | Scheduling Constrained Dynamic Applications on Clusters. | Kathleen Knobe, James M. Rehg, Arun Chauhan, Rishiyur S. Nikhil, Umakishore Ramachandran |
| 1996 | ICFP | pHluid: The Design of a Parallel Functional Language Implementation on Workstations. | Cormac Flanagan, Rishiyur S. Nikhil |
| 1992 | ISCA | *T: A Multithreaded Massively Parallel Architecture. | Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind |
| 1992 | PSC | Massively Parallel Architectures and Symbolic Computation (panel). | Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa |
| 1991 | ICDE | Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. | Rishiyur S. Nikhil, Michael L. Heytens |
| 1989 | ISCA | Can Dataflow Subsume von Neumann Computing? | Rishiyur S. Nikhil |