Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name:
    Last name: Arvind
    DBLP: a/Arvind
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 104  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Sungjin Lee, Ming Liu, Sang Woo Jun, Shuotao Xu, Jihong Kim, Arvind.
    Application-Managed Flash.
    14th USENIX Conference on File and Storage Technologies, FAST 2016, Santa Clara, CA, USA, February 22-25, 2016. 2016 (0) 2016
    Conference paper
    Ming Liu, Sang Woo Jun, Sungjin Lee, Jamey Hicks, Arvind.
    minFlash: A minimalistic clustered flash array.
    2016 Design, Automation Test in Europe Conference Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016 2016 (0) 2016
    Journal article
    Sizhuo Zhang, Arvind, Muralidaran Vijayaraghavan.
    Taming Weak Memory Models.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Arvind.
    Big Data Analytics on Flash Storage with Accelerators.
    Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, PACT 2016, Haifa, Israel, September 11-15, 2016 2016 (0) 2016
    Conference paper
    Sang Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, Arvind.
    BlueDBM: an appliance for big data analytics.
    Proceedings of the 42nd Annual International Symposium on Computer Architecture, Portland, OR, USA, June 13-17, 2015 2015 (0) 2015
    Conference paper
    Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave.
    Modular Deductive Verification of Multiprocessor Hardware Designs.
    Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II 2015 (0) 2015
    Conference paper
    Arvind.
    BlueDBM: A multi-access, distributed flash store for Big Data analytics.
    26th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2015, Toronto, ON, Canada, July 27-29, 2015 2015 (0) 2015
    Conference paper
    Sang Woo Jun, Ming Liu, Shuotao Xu, Arvind.
    A transport-layer network for distributed FPGA platforms.
    25th International Conference on Field Programmable Logic and Applications, FPL 2015, London, United Kingdom, September 2-4, 2015 2015 (0) 2015
    Conference paper
    Sang Woo Jun, Chanwoo Chung, Arvind.
    Large-scale high-dimensional nearest neighbor search using flash memory with in-store processing.
    International Conference on ReConFigurable Computing and FPGAs, ReConFig 2015, Riviera Maya, Mexico, December 7-9, 2015 2015 (0) 2015
    Journal article
    Vikesh Siddhu, Arvind.
    Quantum private comparison over noisy channels.
    Quantum Information Processing 2015, Volume 14 (0) 2015
    Conference paper
    Arvind.
    Constructive computer architecture.
    Proceedings of the Workshop on Computer Architecture Education, WCAE@ISCA 2015, Portland, Oregon, USA, June 13, 2015 2015 (0) 2015
    Conference paper
    Sang Woo Jun, Ming Liu, Kermin Fleming, Arvind.
    Scalable multi-access flash store for big data analytics.
    The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA '14, Monterey, CA, USA - February 26 - 28, 2014 2014 (0) 2014
    Conference paper
    Abhinav Agarwal, Haitham Hassanieh, Omid Abari, Ezzeldin Hamed, Dina Katabi, Arvind.
    High-throughput implementation of a million-point sparse Fourier Transform.
    24th International Conference on Field Programmable Logic and Applications, FPL 2014, Munich, Germany, 2-4 September, 2014 2014 (0) 2014
    Conference paper
    Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan.
    A new synthesis procedure for atomic rules containing multi-cycle function blocks.
    Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 2014 (0) 2014
    Conference paper
    Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind.
    Generating infrastructure for FPGA-accelerated applications.
    23rd International Conference on Field programmable Logic and Applications, FPL 2013, Porto, Portugal, September 2-4, 2013 2013 (0) 2013
    Conference paper
    Abhinav Agarwal, Arvind.
    Leveraging rule-based designs for automatic power domain partitioning.
    The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 2013 (0) 2013
    Conference paper
    Muralidaran Vijayaraghavan, Nirav Dave, Arvind.
    Modular compilation of guarded atomic actions.
    11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 2013 (0) 2013
    Conference paper
    Arvind.
    Bluespec and Haskell.
    Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013 2013 (0) 2013
    Conference paper
    Kermin Fleming, Michael Adler, Michael Pellauer, Angshuman Parashar, Arvind, Joel S. Emer.
    Leveraging latency-insensitivity to ease multiple FPGA design.
    Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, FPGA 2012, Monterey, California, USA, February 22-24, 2012 2012 (0) 2012
    Conference paper
    Myron King, Nirav Dave, Arvind.
    Automatic generation of hardware/software interfaces.
    Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012 2012 (0) 2012
    Conference paper
    Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer, Arvind.
    Fast and cycle-accurate modeling of a multicore processor.
    2012 IEEE International Symposium on Performance Analysis of Systems Software, New Brunswick, NJ, USA, April 1-3, 2012 2012 (0) 2012
    Conference paper
    Asif Khan, Muralidaran Vijayaraghavan, Arvind.
    A general technique for deterministic model-cycle-level debugging.
    Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012 2012 (0) 2012
    Conference paper
    Kermin Fleming, Man Cheuk Ng, Samuel Gross, Arvind.
    WiLIS: Architectural modeling of wireless systems.
    IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2011, 10-12 April, 2011, Austin, TX, USA 2011 (0) 2011
    Conference paper
    Arvind.
    Automatic generation of hardware/software interfaces.
    Proceedings of the 14th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 2011 (0) 2011
    Conference paper
    Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer.
    Verification of microarchitectural refinements in rule-based systems.
    9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 2011 (0) 2011
    Show item 1 to 25 of 104  

    Your query returned 104 matches in the database.