| 2026 | HPCA | Leveraging ASIC AI Chips for Homomorphic Encryption. | 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 |
| 2026 | HRI | The Action-Engagement-Collaboration Triad: A Multimodal Analytical Framework for Human-Robot Collaboration. | Arvind, Naval Kishore Mehta, Himanshu Kumar, Sumeet Saurav, Sanjay Singh |
| 2025 | HRI | A Multimodal Dataset for Enhancing Industrial Task Monitoring and Engagement Prediction. | Naval Kishore Mehta, Arvind, Himanshu Kumar, Abeer Banerjee, Sumeet Saurav, Sanjay Singh |
| 2024 | IECON | PROACT: Anticipatory Action Modeling and Anomaly Prevention in Industrial Workflows. | Naval Kishore Mehta, Arvind, Shyam Sunder Prasad, Sumeet Saurav, Sanjay Singh |
| 2022 | CAV | Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. | Joonwon Choi, Adam Chlipala, Arvind |
| 2022 | OSDI | Efficient and Scalable Graph Pattern Mining on GPUs. | Xuhao Chen, Arvind |
| 2021 | ASPLOS | Effective simulation and debugging for a high-level hardware language using software compilers. | Clment Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala |
| 2021 | ISCA | FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. | Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind |
| 2020 | MICRO | AQUOMAN: An Analytic-Query Offloading Machine. | Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind |
| 2020 | PLDI | The essence of Bluespec: a core language for rule-based hardware design. | Thomas Bourgeat, Clment Pit-Claudel, Adam Chlipala, Arvind |
| 2020 | USENIX | PinK: High-speed In-storage Key-value Store with Bounded Tails. | Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee |
| 2019 | ASPLOS | LightStore: Software-defined Network-attached Key-value Drives. | Chanwoo Chung, Jinhyung Koo, Junsu Im, Arvind, Sungjin Lee |
| 2019 | MICRO | MI6: Secure Enclaves in a Speculative Out-of-Order Processor. | Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas |
| 2018 | ISCA | GraFBoost: Using Accelerated Flash Storage for External Graph Analytics. | Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind |
| 2018 | ISCA | Constructing a Weak Memory Model. | Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind |
| 2018 | MICRO | Composable Building Blocks to Open up Processor Design. | Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind |
| 2017 | FCCM | Terabyte Sort on FPGA-Accelerated Flash Storage. | Sang Woo Jun, Shuotao Xu, Arvind |
| 2016 | DATE | minFlash: A minimalistic clustered flash array. | Ming Liu, Sang Woo Jun, Sungjin Lee, Jamey Hicks, Arvind |
| 2016 | FAST | Application-Managed Flash. | Sungjin Lee, Ming Liu, Sang Woo Jun, Shuotao Xu, Jihong Kim, Arvind |
| 2015 | CAV | Modular Deductive Verification of Multiprocessor Hardware Designs. | Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave |
| 2015 | FPL | A transport-layer network for distributed FPGA platforms. | Sang Woo Jun, Ming Liu, Shuotao Xu, Arvind |
| 2015 | ISCA | BlueDBM: an appliance for big data analytics. | Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind |
| 2015 | WCAE | Constructive computer architecture. | Arvind |
| 2014 | FPGA | Scalable multi-access flash store for big data analytics. | Sang Woo Jun, Ming Liu, Kermin Elliott Fleming, Arvind |
| 2014 | FPL | High-throughput implementation of a million-point sparse Fourier Transform. | Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind |
| 2014 | MEMOCODE | A new synthesis procedure for atomic rules containing multi-cycle function blocks. | Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan |
| 2013 | FPL | Generating infrastructure for FPGA-accelerated applications. | Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind |
| 2013 | ICCAD | Leveraging rule-based designs for automatic power domain partitioning. | Abhinav Agarwal, Arvind |
| 2013 | ICFP | Bluespec and Haskell. | Arvind |
| 2013 | MEMOCODE | Modular compilation of guarded atomic actions. | Muralidaran Vijayaraghavan, Nirav Dave, Arvind |
| 2012 | ASPLOS | Automatic generation of hardware/software interfaces. | Myron King, Nirav Dave, Arvind |
| 2012 | FPGA | Leveraging latency-insensitivity to ease multiple FPGA design. | Kermin Elliott Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer |
| 2012 | ISPASS | Fast and cycle-accurate modeling of a multicore processor. | Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind |
| 2012 | MEMOCODE | A general technique for deterministic model-cycle-level debugging. | Asif Khan, Muralidaran Vijayaraghavan, Arvind |
| 2011 | CASES | Automatic generation of hardware/software interfaces. | Arvind |
| 2011 | ISPASS | WiLIS: Architectural modeling of wireless systems. | Kermin Elliott Fleming, Man Cheuk Ng, Samuel Gross, Arvind |
| 2011 | MEMOCODE | Verification of microarchitectural refinements in rule-based systems. | Nirav Dave, Michael Katelman, Myron King, Arvind, Jos Meseguer |
| 2010 | HPCA | Is hardware innovation over? | Arvind |
| 2010 | MEMOCODE | A design flow based on modular refinement. | Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind |
| 2010 | PPoPP | Is hardware innovation over? | Arvind |
| 2009 | MEMOCODE | Bounded Dataflow Networks and Latency-Insensitive circuits. | Muralidaran Vijayaraghavan, Arvind |
| 2008 | FM | Getting Formal Verification into Design Flow. | Arvind, Nirav Dave, Michael Katelman |
| 2008 | FPGA | A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. | Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer |
| 2008 | ICCAD | Synthesis from multi-cycle atomic actions as a solution to the timing closure problem. | Michal Karczmarek, Arvind |
| 2008 | ISPASS | Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs. | Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer |
| 2008 | MEMOCODE | Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). | Arvind, Rishiyur S. Nikhil |
| 2008 | MEMOCODE | H.264 Decoder: A Case Study in Multiple Design Points. | Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
| 2007 | MEMOCODE | Scheduling as Rule Composition. | Nirav Dave, Arvind, Michael Pellauer |
| 2007 | MEMOCODE | 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 |
| 2006 | ISCA | Memory Model = Instruction Reordering + Store Atomicity. | Arvind, Jan-Willem Maessen |
| 2006 | MEMOCODE | 802.11a transmitter: a case study in microarchitectural exploration. | Nirav Dave, Michael Pellauer, S. Gerding, Arvind |
| 2006 | VLSID | UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. | Arvind |
| 2005 | MEMOCODE | Automatic synthesis of cache-coherence protocol processors using Bluespec. | Nirav Dave, Man Cheuk Ng, Arvind |
| 2004 | DAC | Modular scheduling of guarded atomic actions. | Daniel L. Rosenband, Arvind |
| 2004 | HiPC | Rethinking Computer Architecture Research. | Arvind |
| 2004 | ICCAD | High-level synthesis: an essential ingredient for designing complex ASICs. | Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave |
| 2004 | INFOCOM | Rate Guarantees and Overload Protection in Input-Queued Switches. | Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind |
| 2003 | MEMOCODE | Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. | Arvind |
| 2001 | FM | Proofs of Correctness of Cache-Coherence Protocols. | Joseph E. Stoy, Xiaowei Shen, Arvind |
| 2000 | ICCAD | Synthesis of Operation-Centric Hardware Descriptions. | James C. Hoe, Arvind |
| 2000 | OOPSLA | Improving the Java memory model using CRF. | Jan-Willem Maessen, Arvind, Xiaowei Shen |
| 1999 | ISCA | Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. | Xiaowei Shen, Arvind, Larry Rudolph |
| 1999 | ICS | CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. | Xiaowei Shen, Arvind, Larry Rudolph |
| 1998 | HiPC | Message passing support on StarT-Voyager. | Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind |
| 1998 | SC | StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues. | Boon Seong Ang, Derek Chiou, Daniel L. Rosenband, Mike Ehrlich, Larry Rudolph, Arvind |
| 1995 | EuroPar | 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 |
| 1992 | ISCA | *T: A Multithreaded Massively Parallel Architecture. | Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind |
| 1991 | PEPM | A Syntactic Approach to Program Transformations. | Zena M. Ariola, Arvind |
| 1988 | ISCA | Resource Requirements of Dataflow Programs. | David E. Culler, Arvind |
| 1987 | ICS | Future Scientific Programming on Parallel Machines. | Arvind, Kattamuri Ekanadham |
| 1983 | ISCA | A Critique of Multiprocessing von Neumann Style | Arvind, Robert A. Iannucci |
| 1981 | ISCA | Data Flow Languages and Architecture. | Arvind |
| 1977 | SOSP | Indeterminancy, Monitors, and Dataflow. | Arvind, Kim P. Gostelow, Wil Plouffe |
| 1973 | SOSP | On Reference String Generation Processes. | Arvind, Richard Y. Kain, Eitan Sadeh |