Arvind - RankMe

147 papers A* 24A 15B 10C 14Misc 6Journal 45Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Leveraging ASIC AI Chips for Homomorphic Encryption. HPCA Jianming Tong, Tianhao Huang, Jingtian Dang, Leo de Castro, Anirudh Itagi, Anupam Golder, Asra Ali, Jeremy Kun, Jevin Jiang, Arvind, G. Edward Suh, Tushar Krishna
2025	J	`jnl`	Leveraging ASIC AI Chips for Homomorphic Encryption. CoRR Jianming Tong, Tianhao Huang, Leo de Castro, Anirudh Itagi, Jingtian Dang, Anupam Golder, Asra Ali, Jevin Jiang, Arvind, G. Edward Suh, Tushar Krishna
2025	J	`jnl`	Making Concurrent Hardware Verification Sequential. PLDI Thomas Bourgeat, Jiazheng Liu, Adam Chlipala, Arvind
2024	J	`jnl`	Identifying Money Laundering Subgraphs on the Blockchain. CoRR Kiwhan Song, Mohamed Ali Dhraief, Muhua Xu, Locke Cai, Xuhao Chen, Arvind, Jie Chen
2024	J	`jnl`	The Shape of Money Laundering: Subgraph Representation Learning on the Blockchain with the Elliptic2 Dataset. CoRR Claudio Bellei, Muhua Xu, Ross Phillips, Tom Robinson, Mark Weber, Tim Kaler, Charles E. Leiserson, Arvind, Jie Chen
2022	A*	`conf`	Efficient and Scalable Graph Pattern Mining on GPUs. OSDI Xuhao Chen, Arvind
2022	—	`conf`	Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. CAV (2) Joonwon Choi, Adam Chlipala, Arvind
2021	J	`jnl`	A Case for Application-Managed Flash. IEEE Trans. Computers Jinhyung Koo, Chanwoo Chung, Arvind, Sungjin Lee
2021	J	`jnl`	Design of LSM-tree-based Key-value SSDs with Bounded Tails. ACM Trans. Storage Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee
2021	A*	`conf`	Effective simulation and debugging for a high-level hardware language using software compilers. ASPLOS Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
2021	J	`jnl`	Efficient and Scalable Graph Pattern Mining on GPUs. CoRR Xuhao Chen, Arvind
2021	A*	`conf`	FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. ISCA Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind
2020	A*	`conf`	AQUOMAN: An Analytic-Query Offloading Machine. MICRO Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind
2020	—	`conf`	PinK: High-speed In-storage Key-value Store with Bounded Tails. USENIX ATC Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee
2020	A*	`conf`	The essence of Bluespec: a core language for rule-based hardware design. PLDI Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind
2019	J	`jnl`	An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications. CoRR Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind, Anantha P. Chandrakasan
2019	J	`jnl`	An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications. CoRR Utsav Banerjee, Andrew Wright, Chiraag Juvekar, Madeleine Waller, Arvind, Anantha P. Chandrakasan
2019	J	`jnl`	An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications. IEEE J. Solid State Circuits Utsav Banerjee, Andrew Wright, Chiraag Juvekar, Madeleine Waller, Arvind, Anantha P. Chandrakasan
2019	A*	`conf`	LightStore: Software-defined Network-attached Key-value Drives. ASPLOS Chanwoo Chung, Jinhyung Koo, Junsu Im, Arvind, Sungjin Lee
2019	A*	`conf`	MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
2019	J	`jnl`	Proteus: Language and Runtime Support for Self-Adaptive Software Development. IEEE Softw. 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
2018	—	`conf`	An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications. ISSCC Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind, Anantha P. Chandrakasan
2018	A*	`conf`	Composable Building Blocks to Open up Processor Design. MICRO Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind
2018	A*	`conf`	Constructing a Weak Memory Model. ISCA Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind
2018	J	`jnl`	Constructing a Weak Memory Model. CoRR Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind
2018	A*	`conf`	GraFBoost: Using Accelerated Flash Storage for External Graph Analytics. ISCA Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind
2018	—	`conf`	Low-power appliances for big-data analytics using flash storage and hardware accelerators. CF Arvind
2018	J	`jnl`	MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
2017	J	`jnl`	An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution. CoRR Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
2017	J	`jnl`	BigSparse: High-performance external graph analytics. CoRR Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind
2017	J	`jnl`	Kami: a platform for high-level parametric hardware specification and its modular verification. Proc. ACM Program. Lang. Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind
2017	—	`conf`	Lightweight KV-based Distributed Store for Datacenters. HotStorage Chanwoo Chung, Jinhyung Koo, Arvind, Sungjin Lee
2017	Misc	`conf`	Terabyte Sort on FPGA-Accelerated Flash Storage. FCCM Sang Woo Jun, Shuotao Xu, Arvind
2017	J	`jnl`	Weak Memory Models with Matching Axiomatic and Operational Definitions. CoRR Sizhuo Zhang, Muralidaran Vijayaraghavan, Dan Lustig, Arvind
2017	B	`conf`	Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. PACT Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
2017	J	`jnl`	Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. CoRR Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
2016	A	`conf`	Application-Managed Flash. FAST Sungjin Lee, Ming Liu, Sang Woo Jun, Shuotao Xu, Jihong Kim, Arvind
2016	B	`conf`	Big Data Analytics on Flash Storage with Accelerators. PACT Arvind
2016	J	`jnl`	BlueCache: A Scalable Distributed Flash-based Key-value Store. Proc. VLDB Endow. Shuotao Xu, Sungjin Lee, Sang Woo Jun, Ming Liu, Jamey Hicks, Arvind
2016	J	`jnl`	BlueDBM: Distributed Flash Storage for Big Data Analytics. ACM Trans. Comput. Syst. Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind
2016	J	`jnl`	In-Storage Embedded Accelerator for Sparse Pattern Processing. CoRR Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind
2016	—	`conf`	In-storage embedded accelerator for sparse pattern processing. HPEC Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind
2016	J	`jnl`	Taming Weak Memory Models. CoRR Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan
2016	J	`jnl`	Validating Simplified Processor Models in Architectural Studies. CoRR Sizhuo Zhang, Andrew Wright, Daniel Sánchez, Arvind
2016	A	`conf`	minFlash: A minimalistic clustered flash array. DATE Ming Liu, Sang Woo Jun, Sungjin Lee, Jamey Hicks, Arvind
2015	B	`conf`	A transport-layer network for distributed FPGA platforms. FPL Sang Woo Jun, Ming Liu, Shuotao Xu, Arvind
2015	—	`conf`	BlueDBM: A multi-access, distributed flash store for Big Data analytics. ASAP Arvind
2015	A*	`conf`	BlueDBM: an appliance for big data analytics. ISCA Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind
2015	Misc	`conf`	Constructive computer architecture. WCAE Arvind
2015	—	`conf`	Large-scale high-dimensional nearest neighbor search using flash memory with in-store processing. ReConFig Sang Woo Jun, Chanwoo Chung, Arvind
2015	—	`conf`	Modular Deductive Verification of Multiprocessor Hardware Designs. CAV (2) Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave
2015	J	`jnl`	Refactored Design of I/O Architecture for Flash Storage. IEEE Comput. Archit. Lett. Sungjin Lee, Jihong Kim, Arvind
2014	C	`conf`	A new synthesis procedure for atomic rules containing multi-cycle function blocks. MEMOCODE Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan
2014	B	`conf`	High-throughput implementation of a million-point sparse Fourier Transform. FPL Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind
2014	A	`conf`	Scalable multi-access flash store for big data analytics. FPGA Sang Woo Jun, Ming Liu, Kermin Elliott Fleming, Arvind
2013	—	`conf`	Bluespec and Haskell. FPCDSL@ICFP Arvind
2013	B	`conf`	Generating infrastructure for FPGA-accelerated applications. FPL Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind
2013	A	`conf`	Leveraging rule-based designs for automatic power domain partitioning. ICCAD Abhinav Agarwal, Arvind
2013	C	`conf`	Modular compilation of guarded atomic actions. MEMOCODE Muralidaran Vijayaraghavan, Nirav Dave, Arvind
2012	C	`conf`	A general technique for deterministic model-cycle-level debugging. MEMOCODE Asif Khan, Muralidaran Vijayaraghavan, Arvind
2012	A*	`conf`	Automatic generation of hardware/software interfaces. ASPLOS Myron King, Nirav Dave, Arvind
2012	B	`conf`	Fast and cycle-accurate modeling of a multicore processor. ISPASS Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind
2012	A	`conf`	Leveraging latency-insensitivity to ease multiple FPGA design. FPGA Kermin Elliott Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer
2011	Misc	`conf`	Automatic generation of hardware/software interfaces. CASES Arvind
2011	J	`jnl`	Improving performance and lifetime of solid-state drives using hardware-accelerated compression. IEEE Trans. Consumer Electron. Sungjin Lee, Jihoon Park, Kermin Fleming, Arvind, Jihong Kim
2011	C	`conf`	Verification of microarchitectural refinements in rule-based systems. MEMOCODE Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer
2011	B	`conf`	WiLIS: Architectural modeling of wireless systems. ISPASS Kermin Elliott Fleming, Man Cheuk Ng, Samuel Gross, Arvind
2010	J	`jnl`	A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder. IEEE Embed. Syst. Lett. Abhinav Agarwal, Man Cheuk Ng, Arvind
2010	C	`conf`	A design flow based on modular refinement. MEMOCODE Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind
2010	—	`conf`	Airblue: a system for cross-layer wireless protocol development. ANCS Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan
2010	A*	`conf`	Is hardware innovation over? HPCA Arvind
2010	B	`conf`	Is hardware innovation over? PPoPP Arvind
2010	J	`jnl`	Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs? IEEE Micro Arvind, David I. August, Keshav Pingali, Derek Chiou, Resit Sendag, Joshua J. Yi
2009	J	`jnl`	A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs. ACM Trans. Reconfigurable Technol. Syst. Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer
2009	C	`conf`	Bounded Dataflow Networks and Latency-Insensitive circuits. MEMOCODE Muralidaran Vijayaraghavan, Arvind
2008	A	`conf`	A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. FPGA Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer
2008	J	`jnl`	Advances in ESL Design. IEEE Des. Test Comput. Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer
2008	B	`conf`	Getting Formal Verification into Design Flow. FM Arvind, Nirav Dave, Michael Katelman
2008	C	`conf`	H.264 Decoder: A Case Study in Multiple Design Points. MEMOCODE Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks
2008	C	`conf`	Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE Arvind, Rishiyur S. Nikhil
2008	B	`conf`	Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs. ISPASS Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer
2008	A	`conf`	Synthesis from multi-cycle atomic actions as a solution to the timing closure problem. ICCAD Michal Karczmarek, Arvind
2007	C	`conf`	From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. MEMOCODE Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks
2007	C	`conf`	Scheduling as Rule Composition. MEMOCODE Nirav Dave, Arvind, Michael Pellauer
2006	C	`conf`	802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE Nirav Dave, Michael Pellauer, S. Gerding, Arvind
2006	J	`jnl`	A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture. IEEE Intell. Syst. Arvind, Jamey Hicks
2006	A*	`conf`	Memory Model = Instruction Reordering + Store Atomicity. ISCA Arvind, Jan-Willem Maessen
2006	—	`conf`	Research accelerator for multiple processors. Hot Chips Symposium David A. Patterson, Arvind, Krste Asanovic, Derek Chiou, James C. Hoe, Christos Kozyrakis, Shih-Lien Lu, Mark Oskin, Jan M. Rabaey, John Wawrzynek
2006	—	`conf`	Store Atomicity for Transactional Memory. TV@FLoC Jan-Willem Maessen, Arvind
2006	Misc	`conf`	UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. VLSI Design Arvind
2005	C	`conf`	Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE Nirav Dave, Man Cheuk Ng, Arvind
2005	—	`conf`	Building up to macroprogramming: an intermediate language for sensor networks. IPSN Ryan Newton, Arvind, Matt Welsh
2005	A	`ed.`	Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005 ICS Arvind, Larry Rudolph
2004	A	`conf`	High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave
2004	A*	`conf`	Modular scheduling of guarded atomic actions. DAC Daniel L. Rosenband, Arvind
2004	J	`jnl`	Operation-centric hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. James C. Hoe, Arvind
2004	A*	`conf`	Rate Guarantees and Overload Protection in Input-Queued Switches. INFOCOM Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind
2004	Misc	`conf`	Rethinking Computer Architecture Research. HiPC Arvind
2003	C	`conf`	Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. MEMOCODE Arvind
2001	—	`book`	Implicit parallel programming in pH. Rishiyur S. Nikhil, Arvind
2001	—	`conf`	Proofs of Correctness of Cache-Coherence Protocols. FME Joseph E. Stoy, Xiaowei Shen, Arvind
2000	J	`jnl`	From Monsoon to StarT-Voyager: University-Industry Collaboration. IEEE Micro Arvind, Anton T. Dahbura, Alejandro Caro
2000	A	`conf`	Improving the Java memory model using CRF. OOPSLA Jan-Willem Maessen, Arvind, Xiaowei Shen
2000	A	`conf`	Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards. IPDPS Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind
2000	A	`conf`	Synthesis of Operation-Centric Hardware Descriptions. ICCAD James C. Hoe, Arvind
1999	A	`conf`	CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. International Conference on Supercomputing Xiaowei Shen, Arvind, Larry Rudolph
1999	A*	`conf`	Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. ISCA Xiaowei Shen, Arvind, Larry Rudolph
1999	—	`conf`	Hardware Synthesis from Term Rewriting Systems. VLSI James C. Hoe, Arvind
1999	J	`jnl`	Using term rewriting systems to design and verify processors. IEEE Micro Arvind, Xiaowei Shen
1998	J	`jnl`	A Comparison of Implicitly Parallel Multithreaded and Data-Parallel Implementations of an Ocean Model. J. Parallel Distributed Comput. Andrew Shaw, Arvind, Kyoo-Chan Cho, Christopher Hill, R. Paul Johnson, John Marshall
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
1998	Misc	`conf`	Message passing support on StarT-Voyager. HiPC Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind
1998	A	`conf`	StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues. SC Boon Seong Ang, Derek Chiou, Daniel L. Rosenband, Mike Ehrlich, Larry Rudolph, Arvind
1998	—	`conf`	The StarT-Voyager Parallel System. IEEE PACT Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind
1996	—	`conf`	A Lambda Calculus with Letrecs and Barriers. FSTTCS Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
1996	—	`conf`	A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. LCPC Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya
1996	—	`conf`	Performance tuning scientific codes for dataflow execution. IEEE PACT Andrew Shaw, Arvind, R. Paul Johnson
1995	J	`jnl`	Properties of a First-Order Functional Language with Sharing. Theor. Comput. Sci. Zena M. Ariola, Arvind
1995	—	`conf`	START-NG: Delivering Seamless Parallel Computing. Euro-Par Derek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton
1995	—	`conf`	Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA Shail Aditya, Arvind, Joseph E. Stoy
1993	J	`jnl`	Performance Studies of Id on the Monsoon Dataflow System. J. Parallel Distributed Comput. James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind
1993	J	`jnl`	The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC. Int. J. High Speed Comput. Arvind, Stephen Brobst
1992	A*	`conf`	*T: A Multithreaded Massively Parallel Architecture. ISCA Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind
1991	C	`conf`	A Syntactic Approach to Program Transformations. PEPM Zena M. Ariola, Arvind
1991	—	`conf`	Compilation of Id. LCPC Zena M. Ariola, Arvind
1990	J	`jnl`	Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers Arvind, Rishiyur S. Nikhil
1989	J	`jnl`	I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. Arvind, Rishiyur S. Nikhil, Keshav Pingali
1989	—	`conf`	P-TAC: A Parallel Intermediate Language. FPCA Zena M. Ariola, Arvind
1988	J	`jnl`	Future Scientific Programming on Parallel Machines. J. Parallel Distributed Comput. Arvind, Kattamuri Ekanadham
1988	A*	`conf`	Resource Requirements of Dataflow Programs. ISCA David E. Culler, Arvind
1987	—	`conf`	Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) Arvind, Rishiyur S. Nikhil
1987	A	`conf`	Future Scientific Programming on Parallel Machines. ICS Arvind, Kattamuri Ekanadham
1987	—	`conf`	Two Fundamental Issues in Multiprocessing. Parallel Computing in Science and Engineering Arvind, Robert A. Iannucci
1986	J	`jnl`	Efficient Demand-Driven Evaluation - Part 2. ACM Trans. Program. Lang. Syst. Keshav Pingali, Arvind
1986	—	`conf`	I-structures: Data structures for parallel computing. Graph Reduction Arvind, Rishiyur S. Nikhil, Keshav Pingali
1985	—	`conf`	Demand-Driven Evaluation on Dataflow Machine. FSTTCS Arvind
1985	J	`jnl`	Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. Keshav Pingali, Arvind
1984	J	`jnl`	Resource managers in functional programming. J. Parallel Distributed Comput. Arvind, J. Dean Brock
1983	A*	`conf`	A Critique of Multiprocessing von Neumann Style ISCA Arvind, Robert A. Iannucci
1982	J	`jnl`	Data Flow Systems - Guest Editors' Introduction. Computer Tilak Agerwala, Arvind
1982	J	`jnl`	The U-Interpreter. Computer Arvind, Kim P. Gostelow
1981	A*	`conf`	Data Flow Languages and Architecture. ISCA Arvind
1980	—	`conf`	Streams and Managers. Operating Systems Engineering Arvind, J. Dean Brock
1977	—	`conf`	A Computer Capable of Exchanging Processors for Time. IFIP Congress Arvind, Kim P. Gostelow
1977	A*	`conf`	Indeterminancy, Monitors, and Dataflow. SOSP Arvind, Kim P. Gostelow, Wil Plouffe
1977	—	`conf`	Some Relationships Between Asynchronous Interpreters of a Dataflow Language. Formal Description of Programming Concepts Arvind, Kim P. Gostelow
1973	A*	`conf`	On Reference String Generation Processes. SOSP Arvind, Richard Y. Kain, Eitan Sadeh