Arvind

According to our database, Arvind authored at least 144 papers between 1973 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Experimental quantum state transfer of an arbitrary single-qubit state on a cycle with four vertices using a coined quantum random walk.

Gayatri Singh, Kavita Dorai, Arvind

Quantum Inf. Process., November, 2023

Inferring physical laws by artificial intelligence based causal models.

Jorawar Singh, Kishor Bharti, Arvind

CoRR, 2023

2022

Experimental demonstration of the dynamics of quantum coherence evolving under a PT-symmetric Hamiltonian on an NMR quantum processor.

Akanksha Gautam, Kavita Dorai, Arvind

Quantum Inf. Process., 2022

Efficient experimental characterization of quantum processes via compressed sensing on an NMR quantum processor.

Akshay Gaikwad, Arvind, Kavita Dorai

Quantum Inf. Process., 2022

Efficient and Scalable Graph Pattern Mining on GPUs.

Xuhao Chen, Arvind

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.

Joonwon Choi, Adam Chlipala, Arvind

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Design of LSM-tree-based Key-value SSDs with Bounded Tails.

Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee

ACM Trans. Storage, 2021

A Case for Application-Managed Flash.

Jinhyung Koo, Chanwoo Chung, Arvind, Sungjin Lee

IEEE Trans. Computers, 2021

True experimental reconstruction of quantum states and processes via convex optimization.

Akshay Gaikwad, Arvind, Kavita Dorai

Quantum Inf. Process., 2021

FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining.

Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind

Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

Effective simulation and debugging for a high-level hardware language using software compilers.

Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Identifying traffic of same keys in cryptographic communications using fuzzy decision criteria and bit-plane measures.

Arvind, Ram Ratan

Int. J. Syst. Assur. Eng. Manag., 2020

A comparative study of system size dependence of the effect of non-unitary channels on different classes of quantum states.

Geetu Narang, Shruti Dogra, Arvind

Quantum Inf. Process., 2020

PinK: High-speed In-storage Key-value Store with Bounded Tails.

Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

The essence of Bluespec: a core language for rule-based hardware design.

Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

AQUOMAN: An Analytic-Query Offloading Machine.

Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

2019

Proteus: Language and Runtime Support for Self-Adaptive Software Development.

Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas, Robert Cartwright, Adam Duracz, Donald S. Fussell, Henry Hoffmann, Connor Imes, Jason E. Miller, Nikita Mishra, Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, Yao-Hsiang Yang, Sizhuo Zhang

IEEE Softw., 2019

An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications.

Utsav Banerjee, Andrew Wright, Chiraag Juvekar, Madeleine Waller, Arvind, Anantha P. Chandrakasan

IEEE J. Solid State Circuits, 2019

Bit-Plane Specific Randomness Testing for Statistical Analysis of Ciphers.

Ram Ratan, Bharat Lal Jangid, Arvind

Proceedings of the Soft Computing for Problem Solving 2019, 2019

MI6: Secure Enclaves in a Speculative Out-of-Order Processor.

Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas

Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, 2019

LightStore: Software-defined Network-attached Key-value Drives.

Chanwoo Chung, Jinhyung Koo, Junsu Im, Arvind, Sungjin Lee

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Experimentally identifying the entanglement class of pure tripartite states.

Amandeep Singh, Kavita Dorai, Arvind

Quantum Inf. Process., 2018

Efficient experimental design of high-fidelity three-qubit quantum gates via genetic programming.

Amit Devra, Prithviraj Prabhu, Harpreet Singh, Arvind, Kavita Dorai

Quantum Inf. Process., 2018

Bit-Plane Specific Selective Histogram Equalization for Image Enhancement and Representation.

Arvind, Ram Ratan

Proceedings of the Recent Trends in Image Processing and Pattern Recognition, 2018

Composable Building Blocks to Open up Processor Design.

Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications.

Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind, Anantha P. Chandrakasan

Proceedings of the 2018 IEEE International Solid-State Circuits Conference, 2018

Constructing a Weak Memory Model.

Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

GraFBoost: Using Accelerated Flash Storage for External Graph Analytics.

Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

Low-power appliances for big-data analytics using flash storage and hardware accelerators.

Arvind

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

Kami: a platform for high-level parametric hardware specification and its modular verification.

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind

Proc. ACM Program. Lang., 2017

BigSparse: High-performance external graph analytics.

Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind

CoRR, 2017

Weak Memory Models with Matching Axiomatic and Operational Definitions.

Sizhuo Zhang, Muralidaran Vijayaraghavan, Dan Lustig, Arvind

CoRR, 2017

An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution.

Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind

CoRR, 2017

Lightweight KV-based Distributed Store for Datacenters.

Chanwoo Chung, Jinhyung Koo, Arvind, Sungjin Lee

Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

Terabyte Sort on FPGA-Accelerated Flash Storage.

Sang Woo Jun, Shuotao Xu, Arvind

Proceedings of the 25th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2017

Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility.

Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind

Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017

2016

BlueDBM: Distributed Flash Storage for Big Data Analytics.

Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind

ACM Trans. Comput. Syst., 2016

BlueCache: A Scalable Distributed Flash-based Key-value Store.

Shuotao Xu, Sungjin Lee, Sang Woo Jun, Ming Liu, Jamey Hicks, Arvind

Proc. VLDB Endow., 2016

Validating Simplified Processor Models in Architectural Studies.

Sizhuo Zhang, Andrew Wright, Daniel Sánchez, Arvind

CoRR, 2016

Taming Weak Memory Models.

Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan

CoRR, 2016

In-storage embedded accelerator for sparse pattern processing.

Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind

Proceedings of the 2016 IEEE High Performance Extreme Computing Conference, 2016

Application-Managed Flash.

Sungjin Lee, Ming Liu, Sang Woo Jun, Shuotao Xu, Jihong Kim, Arvind

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

minFlash: A minimalistic clustered flash array.

Ming Liu, Sang Woo Jun, Sungjin Lee, Jamey Hicks, Arvind

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Big Data Analytics on Flash Storage with Accelerators.

Arvind

Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2015

Quantum private comparison over noisy channels.

Vikesh Siddhu, Arvind

Quantum Inf. Process., 2015

Constructive computer architecture.

Arvind

Proceedings of the Workshop on Computer Architecture Education, 2015

Large-scale high-dimensional nearest neighbor search using flash memory with in-store processing.

Sang Woo Jun, Chanwoo Chung, Arvind

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2015

BlueDBM: an appliance for big data analytics.

Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind

Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015

A transport-layer network for distributed FPGA platforms.

Sang Woo Jun, Ming Liu, Shuotao Xu, Arvind

Proceedings of the 25th International Conference on Field Programmable Logic and Applications, 2015

Modular Deductive Verification of Multiprocessor Hardware Designs.

Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

BlueDBM: A multi-access, distributed flash store for Big Data analytics.

Arvind

Proceedings of the 26th IEEE International Conference on Application-specific Systems, 2015

2014

A new synthesis procedure for atomic rules containing multi-cycle function blocks.

Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

High-throughput implementation of a million-point sparse Fourier Transform.

Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind

Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

Scalable multi-access flash store for big data analytics.

Sang Woo Jun, Ming Liu, Kermin Elliott Fleming, Arvind

Proceedings of the 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2014

2013

Modular compilation of guarded atomic actions.

Muralidaran Vijayaraghavan, Nirav Dave, Arvind

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Bluespec and Haskell.

Arvind

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Leveraging rule-based designs for automatic power domain partitioning.

Abhinav Agarwal, Arvind

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Generating infrastructure for FPGA-accelerated applications.

Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind

Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013

2012

A general technique for deterministic model-cycle-level debugging.

Asif Khan, Muralidaran Vijayaraghavan, Arvind

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

Fast and cycle-accurate modeling of a multicore processor.

Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind

Proceedings of the 2012 IEEE International Symposium on Performance Analysis of Systems & Software, 2012

Leveraging latency-insensitivity to ease multiple FPGA design.

Kermin Elliott Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer

Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

Automatic generation of hardware/software interfaces.

Myron King, Nirav Dave, Arvind

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Improving performance and lifetime of solid-state drives using hardware-accelerated compression.

Sungjin Lee, Jihoon Park, Kermin Fleming, Arvind, Jihong Kim

IEEE Trans. Consumer Electron., 2011

Verification of microarchitectural refinements in rule-based systems.

Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

WiLIS: Architectural modeling of wireless systems.

Kermin Elliott Fleming, Man Cheuk Ng, Samuel Gross, Arvind

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011

Automatic generation of hardware/software interfaces.

Arvind

Proceedings of the 14th International Conference on Compilers, 2011

2010

Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs?

Arvind, David I. August, Keshav Pingali, Derek Chiou, Resit Sendag, Joshua J. Yi

IEEE Micro, 2010

A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder.

Abhinav Agarwal, Man Cheuk Ng, Arvind

IEEE Embed. Syst. Lett., 2010

A design flow based on modular refinement.

Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Is hardware innovation over?

Arvind

Proceedings of the 16th International Conference on High-Performance Computer Architecture (HPCA-16 2010), 2010

Airblue: a system for cross-layer wireless protocol development.

Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan

Proceedings of the 2010 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, 2010

2009

A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs.

Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer

ACM Trans. Reconfigurable Technol. Syst., 2009

Bounded Dataflow Networks and Latency-Insensitive circuits.

Muralidaran Vijayaraghavan, Arvind

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

Advances in ESL Design.

Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer

IEEE Des. Test Comput., 2008

H.264 Decoder: A Case Study in Multiple Design Points.

Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).

Arvind, Rishiyur S. Nikhil

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs.

Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2008

Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.

Michal Karczmarek, Arvind

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs.

Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer

Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, 2008

Getting Formal Verification into Design Flow.

Arvind, Nirav Dave, Michael Katelman

Proceedings of the FM 2008: Formal Methods, 2008

2007

From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols.

Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Scheduling as Rule Composition.

Nirav Dave, Arvind, Michael Pellauer

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2006

A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture.

Arvind, Jamey Hicks

IEEE Intell. Syst., 2006

Store Atomicity for Transactional Memory.

Jan-Willem Maessen, Arvind

Proceedings of the Thread Verification Workshop, 2006

UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures.

Arvind

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

802.11a transmitter: a case study in microarchitectural exploration.

Nirav Dave, Michael Pellauer, S. Gerding, Arvind

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Memory Model = Instruction Reordering + Store Atomicity.

Arvind, Jan-Willem Maessen

Proceedings of the 33rd International Symposium on Computer Architecture (ISCA 2006), 2006

Research accelerator for multiple processors.

David A. Patterson, Arvind, Krste Asanovic, Derek Chiou, James C. Hoe, Christos Kozyrakis, Shih-Lien Lu, Mark Oskin, Jan M. Rabaey, John Wawrzynek

Proceedings of the 2006 IEEE Hot Chips 18 Symposium (HCS), 2006

2005

Automatic synthesis of cache-coherence protocol processors using Bluespec.

Nirav Dave, Man Cheuk Ng, Arvind

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Building up to macroprogramming: an intermediate language for sensor networks.

Ryan Newton, Arvind, Matt Welsh

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

2004

Operation-centric hardware description and synthesis.

James C. Hoe, Arvind

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

Rate Guarantees and Overload Protection in Input-Queued Switches.

Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind

Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

High-level synthesis: an essential ingredient for designing complex ASICs.

Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Rethinking Computer Architecture Research.

Arvind

Proceedings of the High Performance Computing, 2004

Modular scheduling of guarded atomic actions.

Daniel L. Rosenband, Arvind

Proceedings of the 41th Design Automation Conference, 2004

2003

Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk.

Arvind

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

2001

Proofs of Correctness of Cache-Coherence Protocols.

Joseph E. Stoy, Xiaowei Shen, Arvind

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Implicit parallel programming in pH.

Rishiyur S. Nikhil, Arvind

Morgan Kaufmann, ISBN: 978-1-55860-644-9, 2001

2000

From Monsoon to StarT-Voyager: University-Industry Collaboration.

Arvind, Anton T. Dahbura, Alejandro Caro

IEEE Micro, 2000

Improving the Java memory model using CRF.

Jan-Willem Maessen, Arvind, Xiaowei Shen

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards.

Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Synthesis of Operation-Centric Hardware Descriptions.

James C. Hoe, Arvind

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

Using term rewriting systems to design and verify processors.

Arvind, Xiaowei Shen

IEEE Micro, 1999

Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers.

Xiaowei Shen, Arvind, Larry Rudolph

Proceedings of the 26th Annual International Symposium on Computer Architecture, 1999

Hardware Synthesis from Term Rewriting Systems.

James C. Hoe, Arvind

Proceedings of the VLSI: Systems on a Chip, 1999

CACHET: an adaptive cache coherence protocol for distributed shared-memory systems.

Xiaowei Shen, Arvind, Larry Rudolph

Proceedings of the 13th international conference on Supercomputing, 1999

1998

A Comparison of Implicitly Parallel Multithreaded and Data-Parallel Implementations of an Ocean Model.

Andrew Shaw, Arvind, Kyoo-Chan Cho, Christopher Hill, R. Paul Johnson, John Marshall

J. Parallel Distributed Comput., 1998

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues.

Boon Seong Ang, Derek Chiou, Daniel L. Rosenband, Mike Ehrlich, Larry Rudolph, Arvind

Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

Message passing support on StarT-Voyager.

Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind

Proceedings of the 5th International Conference On High Performance Computing, 1998

The StarT-Voyager Parallel System.

Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1996

A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH.

Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya

Proceedings of the Languages and Compilers for Parallel Computing, 1996

A Lambda Calculus with Letrecs and Barriers.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Performance tuning scientific codes for dataflow execution.

Andrew Shaw, Arvind, R. Paul Johnson

Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, 1996

1995

Properties of a First-Order Functional Language with Sharing.

Zena M. Ariola, Arvind

Theor. Comput. Sci., 1995

Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language.

Shail Aditya, Arvind, Joseph E. Stoy

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

START-NG: Delivering Seamless Parallel Computing.

Derek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

Prospects of ubiquitous parallel computing.

Arvind

Proceedings of the 8th International Symposium on Parallel Processing, 1994

1993

Performance Studies of Id on the Monsoon Dataflow System.

James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind

J. Parallel Distributed Comput., 1993

The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC.

Arvind, Stephen Brobst

Int. J. High Speed Comput., 1993

1992

*T: A Multithreaded Massively Parallel Architecture.

Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind

Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992

1991

A Syntactic Approach to Program Transformations.

Zena M. Ariola, Arvind

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Compilation of Id.

Zena M. Ariola, Arvind

Proceedings of the Languages and Compilers for Parallel Computing, 1991

M-Structures: Extending a Parallel, Non-strict, Functional Language with State.

Paul S. Barth, Rishiyur S. Nikhil, Arvind

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Executing a Program on the MIT Tagged-Token Dataflow Architecture.

Arvind, Rishiyur S. Nikhil

IEEE Trans. Computers, 1990

1989

I-Structures: Data Structures for Parallel Computing.

Arvind, Rishiyur S. Nikhil, Keshav Pingali

ACM Trans. Program. Lang. Syst., 1989

P-TAC: A Parallel Intermediate Language.

Zena M. Ariola, Arvind

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Future Scientific Programming on Parallel Machines.

Arvind, Kattamuri Ekanadham

J. Parallel Distributed Comput., 1988

Resource Requirements of Dataflow Programs.

David E. Culler, Arvind

Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988

1987

Two Fundamental Issues in Multiprocessing.

Arvind, Robert A. Iannucci

Proceedings of the Parallel Computing in Science and Engineering, 1987

1986

Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation - Part 1.

Keshav Pingali, Arvind

ACM Trans. Program. Lang. Syst., 1986

Efficient Demand-Driven Evaluation - Part 2.

Keshav Pingali, Arvind

ACM Trans. Program. Lang. Syst., 1986

1985

Efficient Demand-Driven Evaluation - Part 1.

Keshav Pingali, Arvind

ACM Trans. Program. Lang. Syst., 1985

Demand-Driven Evaluation on Dataflow Machine.

Arvind

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1984

Resource managers in functional programming.

Arvind, J. Dean Brock

J. Parallel Distributed Comput., 1984

1983

A Critique of Multiprocessing von Neumann Style

Arvind, Robert A. Iannucci

Proceedings of the 10th Annual Symposium on Computer Architecture, 1983, 1983

1982

The U-Interpreter.

Arvind, Kim P. Gostelow

Computer, 1982

Data Flow Systems - Guest Editors' Introduction.

Tilak Agerwala, Arvind

Computer, 1982

1981

Data Flow Languages and Architecture.

Arvind

Proceedings of the 8th Annual Symposium on Computer Architecture, 1981

1980

Streams and Managers.

Arvind, J. Dean Brock

Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

1977

Indeterminancy, Monitors, and Dataflow.

Arvind, Kim P. Gostelow, Wil Plouffe

Proceedings of the Sixth Symposium on Operating System Principles, 1977

Some Relationships Between Asynchronous Interpreters of a Dataflow Language.

Arvind, Kim P. Gostelow

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

A Computer Capable of Exchanging Processors for Time.

Arvind, Kim P. Gostelow

Proceedings of the Information Processing, 1977

1973

On Reference String Generation Processes.

Arvind, Richard Y. Kain, Eitan Sadeh

Proceedings of the Fourth Symposium on Operating System Principles, 1973