Rishiyur S. Nikhil

50 papers A* 5A 4B 2C 4Misc 1Journal 12Unranked 20

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	CLARINET: A quire-enabled RISC-V-based framework for posit arithmetic empiricism. J. Syst. Archit. Niraj N. Sharma, Riya Jain, Mohana Madhumita Pokkuluri, Sachin B. Patkar, Rainer Leupers, Rishiyur S. Nikhil, Farhad Merchant
2019	J	`jnl`	Technical perspective: Back to the edge. Commun. ACM Rishiyur S. Nikhil
2013	—	`conf`	Types, Functional Programming and Atomic Transactions in Hardware Design. In Search of Elegance in the Theory and Practice of Computation Rishiyur S. Nikhil
2011	J	`jnl`	Abstraction in Hardware System Design. ACM Queue Rishiyur S. Nikhil
2011	J	`jnl`	Abstraction in hardware system design. Commun. ACM Rishiyur S. Nikhil
2010	—	`conf`	ESL flows are enabled by high-level synthesis with universality. HLDVT Rishiyur S. Nikhil
2009	B	`conf`	Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). GPCE Rishiyur S. Nikhil
2008	C	`conf`	Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE Arvind, Rishiyur S. Nikhil
2007	—	`conf`	Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ACSD Rishiyur S. Nikhil
2007	A*	`conf`	TLM: Crossing Over From Buzz To Adoption. DAC Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil
2006	C	`conf`	A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. MEMOCODE Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil
2006	Misc	`conf`	Beyond RTL: Advanced Digital System Design. VLSI Design Shiv Tasker, Rishiyur S. Nikhil
2005	C	`conf`	Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil
2004	C	`conf`	Bluespec System Verilog: efficient, correct RTL from high level specifications. MEMOCODE Rishiyur S. Nikhil
2004	A	`conf`	High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave
2003	J	`jnl`	Stampede: A Cluster Programming Middleware for Interactive Stream-Oriented Applications. IEEE Trans. Parallel Distributed Syst. Umakishore Ramachandran, Rishiyur S. Nikhil, James M. Rehg, Yavor Angelov, Arnab Paul, Sameer Adhikari, Kenneth M. Mackenzie, Nissim Harel, Kathleen Knobe
2001	—	`book`	Implicit parallel programming in pH. Rishiyur S. Nikhil, Arvind
2000	A*	`conf`	Garbage collection of timestamped data in Stampede. PODC Rishiyur S. Nikhil, Umakishore Ramachandran
1999	—	`conf`	Cashmere-VLM: Remote Memory Paging for Software Distributed Shared Memory. IPPS/SPDP Sandhya Dwarkadas, Robert Stets, Nikos Hardavellas, Leonidas I. Kontothanassis, Rishiyur S. Nikhil
1999	J	`jnl`	Integrated task and data parallel support for dynamic applications. Sci. Program. James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan
1999	A	`conf`	Scheduling Constrained Dynamic Applications on Clusters. SC Kathleen Knobe, James M. Rehg, Arun Chauhan, Rishiyur S. Nikhil, Umakishore Ramachandran
1999	B	`conf`	Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications. PPoPP Umakishore Ramachandran, Rishiyur S. Nikhil, Nissim Harel, James M. Rehg, Kathleen Knobe
1998	—	`conf`	Integrated Task and Data Parallel Support for Dynamic Applications. LCR James M. Rehg, Kathleen Knobe, Umakishore Ramachandran, Rishiyur S. Nikhil, Arun Chauhan
1998	—	`conf`	LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. HLCL Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
1996	—	`conf`	A Lambda Calculus with Letrecs and Barriers. FSTTCS Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
1996	A	`conf`	pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP Cormac Flanagan, Rishiyur S. Nikhil
1995	—	`conf`	Parallel Symbolic Computing in Cid. PSLS Rishiyur S. Nikhil
1994	—	`ch.`	Programming, Compilation and Resource Management Issues for Multithreading (Position Statement). Multithreaded Computer Architecture Rishiyur S. Nikhil
1993	—	`conf`	A Multithreaded Implementation of Id using P-RISC Graphs. LCPC Rishiyur S. Nikhil
1993	J	`jnl`	The Parallel Programming Language Id and its Compilation for Parallel Machines. Int. J. High Speed Comput. Rishiyur S. Nikhil
1992	A*	`conf`	*T: A Multithreaded Massively Parallel Architecture. ISCA Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind
1992	—	`conf`	Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
1992	J	`jnl`	Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 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
1991	A*	`conf`	Exploiting Parallelism in the Implementation of Agna, a Persistent Programming System. ICDE Rishiyur S. Nikhil, Michael L. Heytens
1991	—	`conf`	Incremental Polymorphism. FPCA Shail Aditya, Rishiyur S. Nikhil
1991	—	`conf`	List Comprehensions in Agna, A Parallel Persistant Object System. FPCA Michael L. Heytens, Rishiyur S. Nikhil
1991	—	`conf`	M-Structures: Extending a Parallel, Non-strict, Functional Language with State. FPCA Paul S. Barth, Rishiyur S. Nikhil, Arvind
1990	J	`jnl`	Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers Arvind, Rishiyur S. Nikhil
1989	A*	`conf`	Can Dataflow Subsume von Neumann Computing? ISCA Rishiyur S. Nikhil
1989	J	`jnl`	GESTALT: An Expressive Database Programming System. SIGMOD Rec. Michael L. Heytens, Rishiyur S. Nikhil
1989	J	`jnl`	I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. Arvind, Rishiyur S. Nikhil, Keshav Pingali
1987	—	`conf`	Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) Arvind, Rishiyur S. Nikhil
1987	—	`conf`	The Semantics of Update in a Functional Database Programming Language. DBPL Rishiyur S. Nikhil
1986	—	`conf`	I-structures: Data structures for parallel computing. Graph Reduction Arvind, Rishiyur S. Nikhil, Keshav Pingali
1985	—	`conf`	Functional Databases, Functional Languages. Data Types and Persistence (Appin) Rishiyur S. Nikhil
1985	—	`conf`	Functional Databases, Functional Languages. Data Types and Persistence (Appin), Informal Proceedings Rishiyur S. Nikhil
1985	—	`conf`	Practical Polymorphism. FPCA Rishiyur S. Nikhil
1982	J	`jnl`	An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil
1982	A	`conf`	The Functional Data Model and Its Uses for Interaction with Databases. On Conceptual Modelling (Intervale) Peter Buneman, Rishiyur S. Nikhil
1981	—	`conf`	A practical functional programming system for databases. FPCA Peter Buneman, Rishiyur S. Nikhil, Robert E. Frankel