Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name:
    Last name: Arvind
    DBLP: a/Arvind
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 87 of 87  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Sang Woo Jun, Ming Liu, Kermin Fleming, Arvind.
    Scalable multi-access flash store for big data analytics.
    The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA '14, Monterey, CA, USA - February 26 - 28, 2014 2014 (0) 2014
    Conference paper
    Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind.
    Generating infrastructure for FPGA-accelerated applications.
    23rd International Conference on Field programmable Logic and Applications, FPL 2013, Porto, Portugal, September 2-4, 2013 2013 (0) 2013
    Conference paper
    Abhinav Agarwal, Arvind.
    Leveraging rule-based designs for automatic power domain partitioning.
    The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 2013 (0) 2013
    Conference paper
    Muralidaran Vijayaraghavan, Nirav Dave, Arvind.
    Modular compilation of guarded atomic actions.
    11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 2013 (0) 2013
    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, MEMCODE 2012, 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
    Show item 1 to 87 of 87  

    Your query returned 87 matches in the database.