| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Conference paper
Kermin Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer.
Leveraging latency-insensitivity to ease multiple FPGA design.
|
Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, FPGA 2012, Monterey, California, USA, February 22-24, 2012 2012 |
 (0)
|
2012 |
|
|
Conference paper
Myron King, Nirav Dave, Arvind.
Automatic generation of hardware/software interfaces.
|
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012 2012 |
(0)
|
2012 |
|
|
Conference paper
Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind.
Fast and cycle-accurate modeling of a multicore processor.
|
2012 IEEE International Symposium on Performance Analysis of Systems Software, New Brunswick, NJ, USA, April 1-3, 2012 2012 |
(0)
|
2012 |
|
|
Conference paper
Asif Khan, Muralidaran Vijayaraghavan, Arvind.
A general technique for deterministic model-cycle-level debugging.
|
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE2012, Arlington, VA, USA, July 16-17, 2012 2012 |
(0)
|
2012 |
|
|
Conference paper
Kermin Fleming, Man Cheuk Ng, Samuel Gross, Arvind.
WiLIS: Architectural modeling of wireless systems.
|
IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2011, 10-12 April, 2011, Austin, TX, USA 2011 |
(0)
|
2011 |
|
|
Conference paper
Arvind.
Automatic generation of hardware/software interfaces.
|
Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 2011 |
(0)
|
2011 |
|
|
Conference paper
Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer.
Verification of microarchitectural refinements in rule-based systems.
|
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 2011 |
(0)
|
2011 |
|
|
Journal article
Sungjin Lee, Jihoon Park, Kermin Fleming, Arvind, Jihong Kim.
Improving performance and lifetime of solid-state drives using hardware-accelerated compression.
|
IEEE Trans. Consumer Electronics 2011, Volume 57 |
(0)
|
2011 |
|
|
Conference paper
Arvind, David I. August, Keshav Pingali, Derek Chiou, Resit Sendag, Joshua J. Yi.
Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs?
|
IEEE Micro 2010, Volume 30 |
(0)
|
2010 |
|
|
Conference paper
Man Cheuk Ng, Kermin Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan.
Airblue: a system for cross-layer wireless protocol development.
|
Proceedings of the 2010 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2010, San Diego, California, USA, October 25-26, 2010 2010 |
(0)
|
2010 |
|
|
Conference paper
Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind.
A design flow based on modular refinement.
|
8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010 2010 |
(0)
|
2010 |
|
|
Conference paper
Arvind.
Is hardware innovation over?
|
16th International Conference on High-Performance Computer Architecture (HPCA-16 2010), 9-14 January 2010, Bangalore, India 2010 |
(0)
|
2010 |
|
|
Journal article
Abhinav Agarwal, Man Cheuk Ng, Arvind.
A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder.
|
Embedded Systems Letters 2010, Volume 2 |
(0)
|
2010 |
|
|
Conference paper
Muralidaran Vijayaraghavan, Arvind.
Bounded Dataflow Networks and Latency-Insensitive circuits.
|
7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA 2009 |
(0)
|
2009 |
|
|
Conference paper
Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer.
A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs.
|
TRETS 2009, Volume 2 |
(0)
|
2009 |
|
|
Conference paper
Arvind, Nirav Dave, Michael Katelman.
Getting Formal Verification into Design Flow.
|
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings 2008 |
(0)
|
2008 |
|
|
Conference paper
Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer.
A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs.
|
Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, FPGA 2008, Monterey, California, USA, February 24-26, 2008 2008 |
(0)
|
2008 |
|
|
Conference paper
Michal Karczmarek, Arvind.
Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.
|
2008 International Conference on Computer-Aided Design (ICCAD'08), November 10-13, 2008, San Jose, CA, USA 2008 |
(0)
|
2008 |
|
|
Conference paper
Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer.
Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs.
|
IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2008, April 20-22, 2008, Austin, Texas, USA, Proceedings 2008 |
(0)
|
2008 |
|
|
Conference paper
Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks.
H.264 Decoder: A Case Study in Multiple Design Points.
|
6th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA 2008 |
(0)
|
2008 |
|
|
Conference paper
Arvind, Rishiyur S. Nikhil.
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).
|
6th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA 2008 |
(0)
|
2008 |
|
|
Conference paper
Rajesh K. Gupta, Arvind, Gérard Berry, Forrest Brewer.
Advances in ESL Design.
|
IEEE Design Test of Computers 2008, Volume 25 |
(0)
|
2008 |
|
|
Conference paper
Nirav Dave, Arvind, Michael Pellauer.
Scheduling as Rule Composition.
|
5th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France 2007 |
(0)
|
2007 |
|
|
Conference paper
Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks.
From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols.
|
5th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France 2007 |
(0)
|
2007 |
|
|
Conference paper
Jan-Willem Maessen, Arvind.
Store Atomicity for Transactional Memory.
|
Electr. Notes Theor. Comput. Sci. 2007, Volume 174 |
(0)
|
2007 |
|
|
Conference paper
Arvind, Jan-Willem Maessen.
Memory Model = Instruction Reordering + Store Atomicity.
|
33rd International Symposium on Computer Architecture (ISCA 2006), June 17-21, 2006, Boston, MA, USA 2006 |
(0)
|
2006 |
|
|
Conference paper
Nirav Dave, Michael Pellauer, S. Gerding, Arvind.
802.11a transmitter: a case study in microarchitectural exploration.
|
4th ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA 2006 |
(0)
|
2006 |
|
|
Conference paper
Arvind.
UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures.
|
19th International Conference on VLSI Design (VLSI Design 2006), 3-7 January 2006, Hyderabad, India 2006 |
(0)
|
2006 |
|
|
Conference paper
Arvind, Jamey Hicks.
A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture.
|
IEEE Intelligent Systems 2006, Volume 21 |
(0)
|
2006 |
|
|
Conference paper
Ryan Newton, Arvind, Matt Welsh.
Building up to macroprogramming: an intermediate language for sensor networks.
|
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, IPSN 2005, April 25-27, 2005, UCLA, Los Angeles, California, USA 2005 |
(0)
|
2005 |
|
|
Conference paper
Nirav Dave, Man Cheuk Ng, Arvind.
Automatic synthesis of cache-coherence protocol processors using Bluespec.
|
3rd ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
Daniel L. Rosenband, Arvind.
Modular scheduling of guarded atomic actions.
|
Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004 2004 |
(0)
|
2004 |
|
|
Conference paper
Arvind.
Rethinking Computer Architecture Research.
|
High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings 2004 |
(0)
|
2004 |
|
|
Conference paper
Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave.
High-level synthesis: an essential ingredient for designing complex ASICs.
|
2004 International Conference on Computer-Aided Design (ICCAD'04), November 7-11, 2004, San Jose, CA, USA 2004 |
(0)
|
2004 |
|
|
Conference paper
Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind.
Rate Guarantees and Overload Protection in Input-Queued Switches.
|
INFOCOM 2004 |
(0)
|
2004 |
|
|
Conference paper
James C. Hoe, Arvind.
Operation-centric hardware description and synthesis.
|
IEEE Trans. on CAD of Integrated Circuits and Systems 2004, Volume 23 |
(0)
|
2004 |
|
|
Conference paper
Arvind.
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk.
|
1st ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings 2003 |
(0)
|
2003 |
|
|
Conference paper
Joseph E. Stoy, Xiaowei Shen, Arvind.
Proofs of Correctness of Cache-Coherence Protocols.
|
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Conference paper
James C. Hoe, Arvind.
Synthesis of Operation-Centric Hardware Descriptions.
|
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000 2000 |
(0)
|
2000 |
|
|
Conference paper
Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind.
Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards.
|
Proceedings of the 14th International Parallel Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000 2000 |
(0)
|
2000 |
|
|
Conference paper
Jan-Willem Maessen, Arvind, Xiaowei Shen.
Improving the Java memory model using CRF.
|
OOPSLA 2000 |
(0)
|
2000 |
|
|
Conference paper
Arvind, Anton T. Dahbura, Alejandro Caro.
From Monsoon to StarT-Voyager: University-Industry Collaboration.
|
IEEE Micro 2000, Volume 20 |
(0)
|
2000 |
|
|
Conference paper
Xiaowei Shen, Arvind, Larry Rudolph.
CACHET: an adaptive cache coherence protocol for distributed shared-memory systems.
|
International Conference on Supercomputing 1999 |
(0)
|
1999 |
|
|
Conference paper
James C. Hoe, Arvind.
Hardware Synthesis from Term Rewriting Systems.
|
VLSI: Systems on a Chip, IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI '99), December 1-4, 1999, Lisbon, Portugal 2000 |
(0)
|
1999 |
|
|
Conference paper
Xiaowei Shen, Arvind, Larry Rudolph.
Commit-Reconcile Fences (CRF): A New Memory Model for Architects and Compiler Writers.
|
ISCA 1999 |
(0)
|
1999 |
|
|
Conference paper
Boon Seong Ang, Derek Chiou, Daniel L. Rosenband, Mike Ehrlich, Larry Rudolph, Arvind.
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues.
|
Proceedings of the ACM/IEEE Conference on Supercomputing, SC 1998, November 7-13, 1998, Orlando, FL, USA 1998 |
(0)
|
1998 |
|
|
Conference paper
Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind.
The StarT-Voyager Parallel System.
|
IEEE PACT 1998 |
(0)
|
1998 |
|
|
Conference paper
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. 1998, Volume 16 |
(0)
|
1998 |
|
|
Conference paper
Andrew Shaw, Arvind, Kyoo-Chan Cho, Christopher Hill, R. Paul Johnson, John Marshall.
A Comparison of Implicitly Parallel Multithreaded and Data-Parallel Implementations of an Ocean Model.
|
J. Parallel Distrib. Comput. 1998, Volume 48 |
(0)
|
1998 |
|
|
Conference paper
Andrew Shaw, Arvind, R. Paul Johnson.
Performance tuning scientific codes for dataflow execution.
|
Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, PACT'96, Boston, MA, USA, October 20-23, 1996 1996 |
(0)
|
1996 |
|
|
Conference paper
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy.
A Lambda Calculus with Letrecs and Barriers.
|
Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings 1996 |
(0)
|
1996 |
|
|
Conference paper
Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya.
A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH.
|
Languages and Compilers for Parallel Computing, 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings 1997 |
(0)
|
1996 |
|
|
Conference paper
Derek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton.
START-NG: Delivering Seamless Parallel Computing.
|
Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings 1995 |
(0)
|
1995 |
|
|
Conference paper
Shail Aditya, Arvind, Joseph E. Stoy.
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language.
|
FPCA 1995 |
(0)
|
1995 |
|
|
Conference paper
Zena M. Ariola, Arvind.
Properties of a First-Order Functional Language with Sharing.
|
Theor. Comput. Sci. 1995, Volume 146 |
(0)
|
1995 |
|
|
Conference paper
Arvind.
Prospects of ubiquitous parallel computing.
|
Proceedings of the 8th International Symposium on Parallel Processing, Cancún, Mexico, April 1994 1994 |
(0)
|
1994 |
|
|
Conference paper
Arvind, Stephen Brobst.
The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC.
|
International Journal of High Speed Computing 1993, Volume 5 |
(0)
|
1993 |
|
|
Conference paper
James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind.
Performance Studies of Id on the Monsoon Dataflow System.
|
J. Parallel Distrib. Comput. 1993, Volume 18 |
(0)
|
1993 |
|
|
Conference paper
Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind.
*T: A Multithreaded Massively Parallel Architecture.
|
ISCA 1992 |
(0)
|
1992 |
|
|
Conference paper
Paul S. Barth, Rishiyur S. Nikhil, Arvind.
M-Structures: Extending a Parallel, Non-strict, Functional Language with State.
|
Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings 1991 |
(0)
|
1991 |
|
|
Conference paper
Zena M. Ariola, Arvind.
Compilation of Id.
|
Languages and Compilers for Parallel Computing, Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991, Proceedings 1992 |
(0)
|
1991 |
|
|
Conference paper
Zena M. Ariola, Arvind.
A Syntactic Approach to Program Transformations.
|
PEPM 1991 |
(0)
|
1991 |
|
|
Conference paper
Arvind, Rishiyur S. Nikhil.
Executing a Program on the MIT Tagged-Token Dataflow Architecture.
|
IEEE Trans. Computers 1990, Volume 39 |
(0)
|
1990 |
|
|
Conference paper
Zena M. Ariola, Arvind.
P-TAC: A Parallel Intermediate Language.
|
FPCA 1989 |
(0)
|
1989 |
|
|
Conference paper
Arvind, Rishiyur S. Nikhil, Keshav Pingali.
I-Structures: Data Structures for Parallel Computing.
|
ACM Trans. Program. Lang. Syst. 1989, Volume 11 |
(0)
|
1989 |
|
|
Conference paper
David E. Culler, Arvind.
Resource Requirements of Dataflow Programs.
|
ISCA 1988 |
(0)
|
1988 |
|
|
Conference paper
Arvind, Kattamuri Ekanadham.
Future Scientific Programming on Parallel Machines.
|
J. Parallel Distrib. Comput. 1988, Volume 5 |
(0)
|
1988 |
|
|
Conference paper
Arvind, Robert A. Iannucci.
Two Fundamental Issues in Multiprocessing.
|
Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings 1988 |
(0)
|
1987 |
|
|
Conference paper
Arvind, Kattamuri Ekanadham.
Future Scientific Programming on Parallel Machines.
|
Supercomputing, 1st International Conference, Athens, Greece, June 8-12, 1987, Proceedings 1988 |
(0)
|
1987 |
|
|
Conference paper
Arvind, Rishiyur S. Nikhil.
Executing a Program on the MIT Tagged-Token Dataflow Architecture.
|
PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings 1987 |
(0)
|
1987 |
|
|
Conference paper
Arvind, Rishiyur S. Nikhil, Keshav Pingali.
I-structures: Data structures for parallel computing.
|
Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986 1987 |
(0)
|
1986 |
|
|
Conference paper
Keshav Pingali, Arvind.
Efficient Demand-Driven Evaluation - Part 2.
|
ACM Trans. Program. Lang. Syst. 1986, Volume 8 |
(0)
|
1986 |
|
|
Conference paper
Keshav Pingali, Arvind.
Clarification of ``Feeding Inputs on Demand'' in Efficient Demand-Driven Evaluation - Part 1.
|
ACM Trans. Program. Lang. Syst. 1986, Volume 8 |
(0)
|
1986 |
|
|
Conference paper
Arvind.
Demand-Driven Evaluation on Dataflow Machine.
|
Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings 1985 |
(0)
|
1985 |
|
|
Conference paper
Keshav Pingali, Arvind.
Efficient Demand-Driven Evaluation - Part 1.
|
ACM Trans. Program. Lang. Syst. 1985, Volume 7 |
(0)
|
1985 |
|
|
Conference paper
Arvind, Robert A. Iannucci.
A Critique of Multiprocessing von Neumann Style
|
Proceedings of the 10th Annual Symposium on Computer Architecture, 1983 1983 |
(0)
|
1983 |
|
|
Conference paper
Arvind, Kim P. Gostelow.
The U-Interpreter.
|
IEEE Computer 1982, Volume 15 |
(0)
|
1982 |
|
|
Conference paper
Tilak Agerwala, Arvind.
Data Flow Systems - Guest Editors' Introduction.
|
IEEE Computer 1982, Volume 15 |
(0)
|
1982 |
|
|
Conference paper
Arvind.
Data Flow Languages and Architecture.
|
ISCA 1981 |
(0)
|
1981 |
|
|
Conference paper
Arvind, J. Dean Brock.
Streams and Managers.
|
Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980 1982 |
(0)
|
1980 |
|
|
Conference paper
Arvind, Kim P. Gostelow.
A Computer Capable of Exchanging Processors for Time.
|
IFIP Congress 1977 |
(0)
|
1977 |
|
|
Conference paper
Arvind, Kim P. Gostelow, Wil Plouffe.
Indeterminancy, Monitors, and Dataflow.
|
SOSP 1977 |
(0)
|
1977 |
|
|
Conference paper
Arvind, Richard Y. Kain, E. Sadeh.
On Reference String Generation Processes.
|
SOSP 1973 |
(0)
|
1973 |
a/Arvind