Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArvind
Person information
- affiliation: MIT, Cambridge, USA
- award (2012): Harry H. Goode Memorial Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[i13]Jorawar Singh, Kishor Bharti, Arvind:
Inferring physical laws by artificial intelligence based causal models. CoRR abs/2309.04069 (2023)- 2022
- [j37]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): 329 (2022) - [j36]Akshay Gaikwad, Arvind, Kavita Dorai:
Efficient experimental characterization of quantum processes via compressed sensing on an NMR quantum processor. Quantum Inf. Process. 21(12): 388 (2022) - [c103]Joonwon Choi, Adam Chlipala, Arvind:
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. CAV (2) 2022: 317-339 - [c102]Xuhao Chen, Arvind:
Efficient and Scalable Graph Pattern Mining on GPUs. OSDI 2022: 857-877 - 2021
- [j35]Akshay Gaikwad, Arvind, Kavita Dorai:
True experimental reconstruction of quantum states and processes via convex optimization. Quantum Inf. Process. 20(1): 19 (2021) - [j34]Jinhyung Koo, Chanwoo Chung, Arvind, Sungjin Lee:
A Case for Application-Managed Flash. IEEE Trans. Computers 70(2): 240-254 (2021) - [j33]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): 10:1-10:27 (2021) - [c101]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: 789-803 - [c100]Xuhao Chen, Tianhao Huang, Shuotao Xu, Thomas Bourgeat, Chanwoo Chung, Arvind:
FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. ISCA 2021: 581-594 - [i12]Xuhao Chen, Arvind:
Efficient and Scalable Graph Pattern Mining on GPUs. CoRR abs/2112.09761 (2021) - 2020
- [j32]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): 397 (2020) - [j31]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): 466-480 (2020) - [c99]Shuotao Xu, Thomas Bourgeat, Tianhao Huang, Hojun Kim, Sungjin Lee, Arvind:
AQUOMAN: An Analytic-Query Offloading Machine. MICRO 2020: 386-399 - [c98]Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind:
The essence of Bluespec: a core language for rule-based hardware design. PLDI 2020: 243-257 - [c97]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: 173-187
2010 – 2019
- 2019
- [j30]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): 2339-2352 (2019) - [j29]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): 73-82 (2019) - [c96]Chanwoo Chung, Jinhyung Koo, Junsu Im, Arvind, Sungjin Lee:
LightStore: Software-defined Network-attached Key-value Drives. ASPLOS 2019: 939-953 - [c95]Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas:
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO 2019: 42-56 - [c94]Ram Ratan, Bharat Lal Jangid, Arvind:
Bit-Plane Specific Randomness Testing for Statistical Analysis of Ciphers. SocProS (1) 2019: 199-213 - [i11]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 abs/1903.04387 (2019) - [i10]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 abs/1907.04455 (2019) - 2018
- [j28]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): 67 (2018) - [j27]Amandeep Singh, Kavita Dorai, Arvind:
Experimentally identifying the entanglement class of pure tripartite states. Quantum Inf. Process. 17(12): 334 (2018) - [c93]Arvind:
Low-power appliances for big-data analytics using flash storage and hardware accelerators. CF 2018 - [c92]Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind:
Constructing a Weak Memory Model. ISCA 2018: 124-137 - [c91]Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind:
GraFBoost: Using Accelerated Flash Storage for External Graph Analytics. ISCA 2018: 411-424 - [c90]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: 42-44 - [c89]Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, Arvind:
Composable Building Blocks to Open up Processor Design. MICRO 2018: 68-81 - [c88]Arvind, Ram Ratan:
Bit-Plane Specific Selective Histogram Equalization for Image Enhancement and Representation. RTIP2R (1) 2018: 678-687 - [i9]Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, Arvind:
Constructing a Weak Memory Model. CoRR abs/1805.07886 (2018) - [i8]Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas:
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR abs/1812.09822 (2018) - 2017
- [j26]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): 24:1-24:30 (2017) - [c87]Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind:
Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. PACT 2017: 288-302 - [c86]Sang Woo Jun, Shuotao Xu, Arvind:
Terabyte Sort on FPGA-Accelerated Flash Storage. FCCM 2017: 17-24 - [c85]Chanwoo Chung, Jinhyung Koo, Arvind, Sungjin Lee:
Lightweight KV-based Distributed Store for Datacenters. HotStorage 2017 - [i7]Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind:
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution. CoRR abs/1705.06158 (2017) - [i6]Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind:
Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. CoRR abs/1707.05923 (2017) - [i5]Sizhuo Zhang, Muralidaran Vijayaraghavan, Dan Lustig, Arvind:
Weak Memory Models with Matching Axiomatic and Operational Definitions. CoRR abs/1710.04259 (2017) - [i4]Sang Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, Arvind:
BigSparse: High-performance external graph analytics. CoRR abs/1710.07736 (2017) - 2016
- [j25]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): 301-312 (2016) - [j24]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): 7:1-7:31 (2016) - [c84]Arvind:
Big Data Analytics on Flash Storage with Accelerators. PACT 2016: 1 - [c83]Ming Liu, Sang Woo Jun, Sungjin Lee, Jamey Hicks, Arvind:
minFlash: A minimalistic clustered flash array. DATE 2016: 1255-1260 - [c82]Sungjin Lee, Ming Liu, Sang Woo Jun, Shuotao Xu, Jihong Kim, Arvind:
Application-Managed Flash. FAST 2016: 339-353 - [c81]Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind:
In-storage embedded accelerator for sparse pattern processing. HPEC 2016: 1-7 - [i3]Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan:
Taming Weak Memory Models. CoRR abs/1606.05416 (2016) - [i2]Sizhuo Zhang, Andrew Wright, Daniel Sánchez, Arvind:
Validating Simplified Processor Models in Architectural Studies. CoRR abs/1610.02094 (2016) - [i1]Sang Woo Jun, Huy T. Nguyen, Vijay Gadepally, Arvind:
In-Storage Embedded Accelerator for Sparse Pattern Processing. CoRR abs/1611.03380 (2016) - 2015
- [j23]Vikesh Siddhu, Arvind:
Quantum private comparison over noisy channels. Quantum Inf. Process. 14(8): 3005-3017 (2015) - [c80]Arvind:
BlueDBM: A multi-access, distributed flash store for Big Data analytics. ASAP 2015 - [c79]Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave:
Modular Deductive Verification of Multiprocessor Hardware Designs. CAV (2) 2015: 109-127 - [c78]Sang Woo Jun, Ming Liu, Shuotao Xu, Arvind:
A transport-layer network for distributed FPGA platforms. FPL 2015: 1-4 - [c77]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: 1-13 - [c76]Sang Woo Jun, Chanwoo Chung, Arvind:
Large-scale high-dimensional nearest neighbor search using flash memory with in-store processing. ReConFig 2015: 1-8 - [c75]Arvind:
Constructive computer architecture. WCAE 2015: 10:10 - 2014
- [c74]Sang Woo Jun, Ming Liu, Kermin Elliott Fleming, Arvind:
Scalable multi-access flash store for big data analytics. FPGA 2014: 55-64 - [c73]Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind:
High-throughput implementation of a million-point sparse Fourier Transform. FPL 2014: 1-6 - [c72]Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan:
A new synthesis procedure for atomic rules containing multi-cycle function blocks. MEMOCODE 2014: 22-31 - 2013
- [c71]Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind:
Generating infrastructure for FPGA-accelerated applications. FPL 2013: 1-6 - [c70]Abhinav Agarwal, Arvind:
Leveraging rule-based designs for automatic power domain partitioning. ICCAD 2013: 326-333 - [c69]Arvind:
Bluespec and Haskell. FPCDSL@ICFP 2013: 1-2 - [c68]Muralidaran Vijayaraghavan, Nirav Dave, Arvind:
Modular compilation of guarded atomic actions. MEMOCODE 2013: 177-188 - 2012
- [c67]Myron King, Nirav Dave, Arvind:
Automatic generation of hardware/software interfaces. ASPLOS 2012: 325-336 - [c66]Kermin Elliott Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer:
Leveraging latency-insensitivity to ease multiple FPGA design. FPGA 2012: 175-184 - [c65]Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind:
Fast and cycle-accurate modeling of a multicore processor. ISPASS 2012: 178-187 - [c64]Asif Khan, Muralidaran Vijayaraghavan, Arvind:
A general technique for deterministic model-cycle-level debugging. MEMOCODE 2012: 109-118 - 2011
- [j22]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): 1732-1739 (2011) - [c63]Arvind:
Automatic generation of hardware/software interfaces. CASES 2011: 1-2 - [c62]Kermin Elliott Fleming, Man Cheuk Ng, Samuel Gross, Arvind:
WiLIS: Architectural modeling of wireless systems. ISPASS 2011: 197-206 - [c61]Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer:
Verification of microarchitectural refinements in rule-based systems. MEMOCODE 2011: 61-71 - 2010
- [j21]Abhinav Agarwal, Man Cheuk Ng, Arvind:
A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder. IEEE Embed. Syst. Lett. 2(3): 72-76 (2010) - [j20]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): 19-33 (2010) - [c60]Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, Hari Balakrishnan:
Airblue: a system for cross-layer wireless protocol development. ANCS 2010: 4 - [c59]Arvind:
Is hardware innovation over? HPCA 2010: 1 - [c58]Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind:
A design flow based on modular refinement. MEMOCODE 2010: 11-20 - [c57]Arvind:
Is hardware innovation over? PPoPP 2010: 103-104
2000 – 2009
- 2009
- [j19]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): 16:1-16:26 (2009) - [c56]Muralidaran Vijayaraghavan, Arvind:
Bounded Dataflow Networks and Latency-Insensitive circuits. MEMOCODE 2009: 171-180 - 2008
- [j18]Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer:
Advances in ESL Design. IEEE Des. Test Comput. 25(6): 520-526 (2008) - [c55]Arvind, Nirav Dave, Michael Katelman:
Getting Formal Verification into Design Flow. FM 2008: 12-32 - [c54]Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer:
A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. FPGA 2008: 87-96 - [c53]Michal Karczmarek, Arvind:
Synthesis from multi-cycle atomic actions as a solution to the timing closure problem. ICCAD 2008: 24-31 - [c52]Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, Joel S. Emer:
Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs. ISPASS 2008: 1-10 - [c51]Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks:
H.264 Decoder: A Case Study in Multiple Design Points. MEMOCODE 2008: 165-174 - [c50]Arvind, Rishiyur S. Nikhil:
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). MEMOCODE 2008: 205-206 - 2007
- [c49]Nirav Dave, Arvind, Michael Pellauer:
Scheduling as Rule Composition. MEMOCODE 2007: 51-60 - [c48]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: 71-80 - 2006
- [j17]Arvind, Jamey Hicks:
A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture. IEEE Intell. Syst. 21(5): 78-79 (2006) - [c47]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: 1-42 - [c46]Arvind, Jan-Willem Maessen:
Memory Model = Instruction Reordering + Store Atomicity. ISCA 2006: 29-40 - [c45]Nirav Dave, Michael Pellauer, S. Gerding, Arvind:
802.11a transmitter: a case study in microarchitectural exploration. MEMOCODE 2006: 59-68 - [c44]Arvind:
UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. VLSI Design 2006: 39 - [c43]Jan-Willem Maessen, Arvind:
Store Atomicity for Transactional Memory. TV@FLoC 2006: 117-137 - 2005
- [c42]Ryan Newton, Arvind, Matt Welsh:
Building up to macroprogramming: an intermediate language for sensor networks. IPSN 2005: 37-44 - [c41]Nirav Dave, Man Cheuk Ng, Arvind:
Automatic synthesis of cache-coherence protocol processors using Bluespec. MEMOCODE 2005: 25-34 - [e3]Arvind, Larry Rudolph:
Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005. ACM 2005, ISBN 1-59593-167-8 [contents] - 2004
- [j16]James C. Hoe, Arvind:
Operation-centric hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(9): 1277-1288 (2004) - [c40]Daniel L. Rosenband, Arvind:
Modular scheduling of guarded atomic actions. DAC 2004: 55-60 - [c39]Arvind:
Rethinking Computer Architecture Research. HiPC 2004: 1-2 - [c38]Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave:
High-level synthesis: an essential ingredient for designing complex ASICs. ICCAD 2004: 775-782 - [c37]Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind:
Rate Guarantees and Overload Protection in Input-Queued Switches. INFOCOM 2004: 2185-2195 - 2003
- [c36]Arvind:
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. MEMOCODE 2003: 249- - 2001
- [b1]Rishiyur S. Nikhil, Arvind:
Implicit parallel programming in pH. Morgan Kaufmann 2001, ISBN 978-1-55860-644-9, pp. I-XX, 1-508 - [c35]Joseph E. Stoy, Xiaowei Shen, Arvind:
Proofs of Correctness of Cache-Coherence Protocols. FME 2001: 43-71 - 2000
- [j15]Arvind, Anton T. Dahbura, Alejandro Caro:
From Monsoon to StarT-Voyager: University-Industry Collaboration. IEEE Micro 20(3): 75-84 (2000) - [c34]James C. Hoe, Arvind:
Synthesis of Operation-Centric Hardware Descriptions. ICCAD 2000: 511-518 - [c33]Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind:
Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards. IPDPS 2000: 13-20 - [c32]Jan-Willem Maessen, Arvind, Xiaowei Shen:
Improving the Java memory model using CRF. OOPSLA 2000: 1-12
1990 – 1999
- 1999
- [j14]Arvind, Xiaowei Shen:
Using term rewriting systems to design and verify processors. IEEE Micro 19(3): 36-46 (1999) - [c31]Xiaowei Shen, Arvind, Larry Rudolph:
CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. International Conference on Supercomputing 1999: 135-144 - [c30]James C. Hoe, Arvind:
Hardware Synthesis from Term Rewriting Systems. VLSI 1999: 595-619 - [c29]Xiaowei Shen, Arvind, Larry Rudolph:
Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. ISCA 1999: 150-161 - 1998
- [j13]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 Distributed Comput. 48(1): 1-51 (1998) - [c28]