Arvind

ORCID

Publication Activity (10 Years)

Years Active: 1973-2024
Publications (10 Years): 52

Top Venues

CoRR

Quantum Inf. Process.

ISCA

MICRO

Publications

Claudio Bellei, Muhua Xu, Ross Phillips, Tom Robinson, Mark Weber, Tim Kaler, Charles E. Leiserson, Arvind, Jie Chen
The Shape of Money Laundering: Subgraph Representation Learning on the Blockchain with the Elliptic2 Dataset. CoRR (2024)
Jorawar Singh, Kishor Bharti, Arvind
Inferring physical laws by artificial intelligence based causal models. CoRR (2023)
Gayatri Singh, Kavita Dorai, Arvind
Experimental quantum state transfer of an arbitrary single-qubit state on a cycle with four vertices using a coined quantum random walk. Quantum Inf. Process. 22 (11) (2023)
Akanksha Gautam, Kavita Dorai, Arvind
Experimental demonstration of the dynamics of quantum coherence evolving under a PT-symmetric Hamiltonian on an NMR quantum processor. Quantum Inf. Process. 21 (9) (2022)
Xuhao Chen, Arvind
Efficient and Scalable Graph Pattern Mining on GPUs. OSDI (2022)
Akshay Gaikwad, Arvind, Kavita Dorai
Efficient experimental characterization of quantum processes via compressed sensing on an NMR quantum processor. Quantum Inf. Process. 21 (12) (2022)
Joonwon Choi, Adam Chlipala, Arvind
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. CAV (2) (2022)
Akshay Gaikwad, Arvind, Kavita Dorai
True experimental reconstruction of quantum states and processes via convex optimization. Quantum Inf. Process. 20 (1) (2021)
Xuhao Chen, Arvind
Efficient and Scalable Graph Pattern Mining on GPUs. CoRR (2021)
Jinhyung Koo, Chanwoo Chung, Arvind, Sungjin Lee
A Case for Application-Managed Flash. IEEE Trans. Computers 70 (2) (2021)
Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind
FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. ISCA (2021)
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala
Effective simulation and debugging for a high-level hardware language using software compilers. ASPLOS (2021)
Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee
Design of LSM-tree-based Key-value SSDs with Bounded Tails. ACM Trans. Storage 17 (2) (2021)
Arvind, Ram Ratan
Identifying traffic of same keys in cryptographic communications using fuzzy decision criteria and bit-plane measures. Int. J. Syst. Assur. Eng. Manag. 11 (2) (2020)
Junsu Im, Jinwook Bae, Chanwoo Chung, Arvind, Sungjin Lee
PinK: High-speed In-storage Key-value Store with Bounded Tails. USENIX Annual Technical Conference (2020)
Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind
The essence of Bluespec: a core language for rule-based hardware design. PLDI (2020)
Geetu Narang, Shruti Dogra, Arvind
A comparative study of system size dependence of the effect of non-unitary channels on different classes of quantum states. Quantum Inf. Process. 19 (10) (2020)
Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind
AQUOMAN: An Analytic-Query Offloading Machine. MICRO (2020)
Utsav Banerjee, Andrew Wright, Chiraag Juvekar, Madeleine Waller, Arvind, Anantha P. Chandrakasan
An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications. CoRR (2019)
Ram Ratan, Bharat Lal Jangid, Arvind
Bit-Plane Specific Randomness Testing for Statistical Analysis of Ciphers. SocProS (1) (2019)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO (2019)
Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind, Anantha P. Chandrakasan
An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications. CoRR (2019)
Chanwoo Chung, Jinhyung Koo, Junsu Im, Arvind, Sungjin Lee
LightStore: Software-defined Network-attached Key-value Drives. ASPLOS (2019)
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
Proteus: Language and Runtime Support for Self-Adaptive Software Development. IEEE Softw. 36 (2) (2019)
Utsav Banerjee, Andrew Wright, Chiraag Juvekar, Madeleine Waller, Arvind, Anantha P. Chandrakasan
An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications. IEEE J. Solid State Circuits 54 (8) (2019)
Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind
Constructing a Weak Memory Model. ISCA (2018)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR (2018)
Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind
Constructing a Weak Memory Model. CoRR (2018)
Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind
Composable Building Blocks to Open up Processor Design. MICRO (2018)
Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind
GraFBoost: Using Accelerated Flash Storage for External Graph Analytics. ISCA (2018)
Arvind, Ram Ratan
Bit-Plane Specific Selective Histogram Equalization for Image Enhancement and Representation. RTIP2R (1) (2018)
Arvind
Low-power appliances for big-data analytics using flash storage and hardware accelerators. CF (2018)
Amit Devra, Prithviraj Prabhu, Harpreet Singh, Arvind, Kavita Dorai
Efficient experimental design of high-fidelity three-qubit quantum gates via genetic programming. Quantum Inf. Process. 17 (3) (2018)
Amandeep Singh, Kavita Dorai, Arvind
Experimentally identifying the entanglement class of pure tripartite states. Quantum Inf. Process. 17 (12) (2018)
Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind, Anantha P. Chandrakasan
An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications. ISSCC (2018)
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind
Kami: a platform for high-level parametric hardware specification and its modular verification. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Chanwoo Chung, Jinhyung Koo, Arvind, Sungjin Lee
Lightweight KV-based Distributed Store for Datacenters. HotStorage (2017)
Sang Woo Jun, Shuotao Xu, Arvind
Terabyte Sort on FPGA-Accelerated Flash Storage. FCCM (2017)
Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution. CoRR (2017)
Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. CoRR (2017)
Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind
Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. PACT (2017)
Sizhuo Zhang, Muralidaran Vijayaraghavan, Dan Lustig, Arvind
Weak Memory Models with Matching Axiomatic and Operational Definitions. CoRR (2017)
Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind
BigSparse: High-performance external graph analytics. CoRR (2017)
Arvind
Big Data Analytics on Flash Storage with Accelerators. PACT (2016)
Sungjin Lee, Ming Liu, Sang Woo Jun, Shuotao Xu, Jihong Kim, Arvind
Application-Managed Flash. FAST (2016)
Sizhuo Zhang, Andrew Wright, Daniel Sánchez, Arvind
Validating Simplified Processor Models in Architectural Studies. CoRR (2016)
Shuotao Xu, Sungjin Lee, Sang Woo Jun, Ming Liu, Jamey Hicks, Arvind
BlueCache: A Scalable Distributed Flash-based Key-value Store. Proc. VLDB Endow. 10 (4) (2016)
Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind
In-Storage Embedded Accelerator for Sparse Pattern Processing. CoRR (2016)
Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan
Taming Weak Memory Models. CoRR (2016)
Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind
BlueDBM: Distributed Flash Storage for Big Data Analytics. ACM Trans. Comput. Syst. 34 (3) (2016)
Ming Liu, Sang Woo Jun, Sungjin Lee, Jamey Hicks, Arvind
minFlash: A minimalistic clustered flash array. DATE (2016)
Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind
In-storage embedded accelerator for sparse pattern processing. HPEC (2016)
Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave
Modular Deductive Verification of Multiprocessor Hardware Designs. CAV (2) (2015)
Sang Woo Jun, Ming Liu, Shuotao Xu, Arvind
A transport-layer network for distributed FPGA platforms. FPL (2015)
Sang Woo Jun, Chanwoo Chung, Arvind
Large-scale high-dimensional nearest neighbor search using flash memory with in-store processing. ReConFig (2015)
Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind
BlueDBM: an appliance for big data analytics. ISCA (2015)
Arvind
BlueDBM: A multi-access, distributed flash store for Big Data analytics. ASAP (2015)
Vikesh Siddhu, Arvind
Quantum private comparison over noisy channels. Quantum Inf. Process. 14 (8) (2015)
Arvind
Constructive computer architecture. WCAE (2015)
Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind
High-throughput implementation of a million-point sparse Fourier Transform. FPL (2014)
Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan
A new synthesis procedure for atomic rules containing multi-cycle function blocks. MEMOCODE (2014)
Sang Woo Jun, Ming Liu, Kermin Elliott Fleming, Arvind
Scalable multi-access flash store for big data analytics. FPGA (2014)
Abhinav Agarwal, Arvind
Leveraging rule-based designs for automatic power domain partitioning. ICCAD (2013)
Arvind
Bluespec and Haskell. FPCDSL@ICFP (2013)
Muralidaran Vijayaraghavan, Nirav Dave, Arvind
Modular compilation of guarded atomic actions. MEMOCODE (2013)
Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind
Generating infrastructure for FPGA-accelerated applications. FPL (2013)
Kermin Elliott Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer
Leveraging latency-insensitivity to ease multiple FPGA design. FPGA (2012)
Asif Khan, Muralidaran Vijayaraghavan, Arvind
A general technique for deterministic model-cycle-level debugging. MEMOCODE (2012)
Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind
Fast and cycle-accurate modeling of a multicore processor. ISPASS (2012)
Myron King, Nirav Dave, Arvind
Automatic generation of hardware/software interfaces. ASPLOS (2012)
Arvind
Automatic generation of hardware/software interfaces. CASES (2011)
Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer
Verification of microarchitectural refinements in rule-based systems. MEMOCODE (2011)
Kermin Elliott Fleming, Man Cheuk Ng, Samuel Gross, Arvind
WiLIS: Architectural modeling of wireless systems. ISPASS (2011)
Sungjin Lee, Jihoon Park, Kermin Fleming, Arvind, Jihong Kim
Improving performance and lifetime of solid-state drives using hardware-accelerated compression. IEEE Trans. Consumer Electron. 57 (4) (2011)
Abhinav Agarwal, Man Cheuk Ng, Arvind
A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder. IEEE Embed. Syst. Lett. 2 (3) (2010)
Arvind
Is hardware innovation over? HPCA (2010)
Arvind
Is hardware innovation over? PPOPP (2010)
Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan
Airblue: a system for cross-layer wireless protocol development. ANCS (2010)
Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind
A design flow based on modular refinement. MEMOCODE (2010)
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 30 (3) (2010)
Muralidaran Vijayaraghavan, Arvind
Bounded Dataflow Networks and Latency-Insensitive circuits. MEMOCODE (2009)
Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer
A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs. ACM Trans. Reconfigurable Technol. Syst. 2 (3) (2009)
Michal Karczmarek, Arvind
Synthesis from multi-cycle atomic actions as a solution to the timing closure problem. ICCAD (2008)
Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer
Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs. ISPASS (2008)
Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer
Advances in ESL Design. IEEE Des. Test Comput. 25 (6) (2008)
Arvind, Rishiyur S. Nikhil
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE (2008)
Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer
A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. FPGA (2008)
Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks
H.264 Decoder: A Case Study in Multiple Design Points. MEMOCODE (2008)
Arvind, Nirav Dave, Michael Katelman
Getting Formal Verification into Design Flow. FM (2008)
Nirav Dave, Arvind, Michael Pellauer
Scheduling as Rule Composition. MEMOCODE (2007)
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. MEMOCODE (2007)
Jan-Willem Maessen, Arvind
Store Atomicity for Transactional Memory. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Arvind
UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. VLSI Design (2006)
Arvind, Jan-Willem Maessen
Memory Model = Instruction Reordering + Store Atomicity. ISCA (2006)
Nirav Dave, Michael Pellauer, S. Gerding, Arvind
802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE (2006)
David A. Patterson, Arvind, Krste Asanovic, Derek Chiou, James C. Hoe, Christos Kozyrakis, Shih-Lien Lu, Mark Oskin, Jan M. Rabaey, John Wawrzynek
Research accelerator for multiple processors. Hot Chips Symposium (2006)
Arvind, Jamey Hicks
A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture. IEEE Intell. Syst. 21 (5) (2006)
Ryan Newton, Arvind, Matt Welsh
Building up to macroprogramming: an intermediate language for sensor networks. IPSN (2005)
Nirav Dave, Man Cheuk Ng, Arvind
Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE (2005)
James C. Hoe, Arvind
Operation-centric hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23 (9) (2004)

Arvind.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arvind