Leveraging ASIC AI Chips for Homomorphic Encryption.

Arvind 0001 Arvind Mithal Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Harry H. Goode Memorial Award https://csg.csail.mit.edu/Users/arvind/ https://orcid.org/0000-0002-9737-2366 https://scholar.google.com/citations?user=_BqpjCgAAAAJ https://dl.acm.org/profile/81342488106 https://mathgenealogy.org/id.php?id=65982 https://en.wikipedia.org/wiki/Arvind_(computer_scientist) https://www.wikidata.org/entity/Q4802470 Arvind Arvind 0002 CSIR Central Electronics Engineering Research Institute (CSIR-CEERI), Pilani, RJ, India https://orcid.org/0000-0002-0456-7122 https://scholar.google.com/citations?user=-int0T8AAAAJ Arvind 0003 Indian Institute of Science Education and Research, Department of Physical Sciences, Mohali, India Indian Institute of Science (IISc), Bangalore, KA, India https://www.quantumphys.org/ https://web.iisermohali.ac.in/Faculty/arvind/ https://orcid.org/0000-0003-0603-9865 Arvind 0004 University of Delhi, Hansraj College, Delhi, India Jianming Tong Tianhao Huang Jingtian Dang Leo de Castro Anirudh Itagi Anupam Golder Asra Ali Jeremy Kun Jevin Jiang Arvind 0001 G. Edward Suh Tushar Krishna Leveraging ASIC AI Chips for Homomorphic Encryption. HPCA 2026 1-18 conf/hpca/2026 https://doi.org/10.1109/HPCA68181.2026.11408507 db/conf/hpca/hpca2026.html#TongHDCIGAKJASK26 streams/conf/hpca

Jianming Tong Tianhao Huang Jingtian Dang Leo de Castro Anirudh Itagi Anupam Golder Asra Ali Jeremy Kun Jevin Jiang Arvind Mithal G. Edward Suh Tushar Krishna Leveraging ASIC AI Chips for Homomorphic Encryption. 2026 160 2026 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2026/160 db/journals/iacr/iacr2026.html#TongHDCIGAKJMSK26 streams/journals/iacr

Thomas Bourgeat Jiazheng Liu Adam Chlipala Arvind 0001 Making Concurrent Hardware Verification Sequential. 2007-2031 2025 9 Proc. ACM Program. Lang. PLDI https://doi.org/10.1145/3729331 db/journals/pacmpl/pacmpl9.html#BourgeatLCA25

Jianming Tong Tianhao Huang Leo de Castro Anirudh Itagi Jingtian Dang Anupam Golder Asra Ali Jevin Jiang Arvind 0001 G. Edward Suh Tushar Krishna Leveraging ASIC AI Chips for Homomorphic Encryption. 2025 January abs/2501.07047 CoRR https://doi.org/10.48550/arXiv.2501.07047 db/journals/corr/corr2501.html#abs-2501-07047 streams/journals/corr

Kiwhan Song Mohamed Ali Dhraief Muhua Xu Locke Cai Xuhao Chen 0001 Arvind Mithal Jie Chen 0007 Identifying Money Laundering Subgraphs on the Blockchain. 195-203 2024 ICAIF https://doi.org/10.1145/3677052.3698635 conf/icaif/2024 db/conf/icaif/icaif2024.html#SongDXCCM024

Claudio Bellei Muhua Xu Ross Phillips Tom Robinson Mark Weber Tim Kaler Charles E. Leiserson Arvind 0001 Jie Chen 0007 The Shape of Money Laundering: Subgraph Representation Learning on the Blockchain with the Elliptic2 Dataset. 2024 abs/2404.19109 CoRR https://doi.org/10.48550/arXiv.2404.19109 db/journals/corr/corr2404.html#abs-2404-19109

Kiwhan Song Mohamed Ali Dhraief Muhua Xu Locke Cai Xuhao Chen 0001 Arvind 0001 Jie Chen 0007 Identifying Money Laundering Subgraphs on the Blockchain. 2024 abs/2410.08394 CoRR https://doi.org/10.48550/arXiv.2410.08394 db/journals/corr/corr2410.html#abs-2410-08394 streams/journals/corr

Joonwon Choi Adam Chlipala Arvind 0001 Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. 317-339 2022 CAV (2) https://doi.org/10.1007/978-3-031-13188-2_16 conf/cav/2022-2 db/conf/cav/cav2022-2.html#ChoiCA22 Xuhao Chen 0001 Arvind 0001 Efficient and Scalable Graph Pattern Mining on GPUs. 857-877 2022 OSDI https://www.usenix.org/conference/osdi22/presentation/chen conf/osdi/2022 db/conf/osdi/osdi2022.html#0001A22

Jinhyung Koo Chanwoo Chung Arvind 0001 Sungjin Lee 0001 A Case for Application-Managed Flash. 240-254 2021 70 IEEE Trans. Computers 2 https://doi.org/10.1109/TC.2020.2987569 db/journals/tc/tc70.html#KooCAL21

Junsu Im Jinwook Bae Chanwoo Chung Arvind 0001 Sungjin Lee 0001 Design of LSM-tree-based Key-value SSDs with Bounded Tails. 10:1-10:27 2021 17 ACM Trans. Storage 2 https://doi.org/10.1145/3452846 https://www.wikidata.org/entity/Q130951704 db/journals/tos/tos17.html#ImBCAL21

Clément Pit-Claudel Thomas Bourgeat Stella Lau Arvind 0001 Adam Chlipala Effective simulation and debugging for a high-level hardware language using software compilers. 789-803 2021 ASPLOS https://doi.org/10.1145/3445814.3446720 https://www.wikidata.org/entity/Q130847977 conf/asplos/2021 db/conf/asplos/asplos2021.html#Pit-ClaudelBLAC21 Xuhao Chen 0001 Tianhao Huang Shuotao Xu Thomas Bourgeat Chanwoo Chung Arvind 0001 FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. 581-594 2021 ISCA https://doi.org/10.1109/ISCA52012.2021.00052 conf/isca/2021 db/conf/isca/isca2021.html#ChenHXBCA21

Xuhao Chen 0001 Arvind 0001 Efficient and Scalable Graph Pattern Mining on GPUs. 2021 abs/2112.09761 CoRR https://arxiv.org/abs/2112.09761 db/journals/corr/corr2112.html#abs-2112-09761

Shuotao Xu Thomas Bourgeat Tianhao Huang Hojun Kim Sungjin Lee 0001 Arvind 0001 AQUOMAN: An Analytic-Query Offloading Machine. 386-399 2020 MICRO https://doi.org/10.1109/MICRO50266.2020.00041 conf/micro/2020 db/conf/micro/micro2020.html#XuBHKLA20 Thomas Bourgeat Clément Pit-Claudel Adam Chlipala Arvind 0001 The essence of Bluespec: a core language for rule-based hardware design. 243-257 2020 PLDI https://doi.org/10.1145/3385412.3385965 conf/pldi/2020 db/conf/pldi/pldi2020.html#BourgeatPCA20 Junsu Im Jinwook Bae Chanwoo Chung Arvind 0001 Sungjin Lee 0001 PinK: High-speed In-storage Key-value Store with Bounded Tails. 173-187 2020 USENIX ATC https://www.usenix.org/conference/atc20/presentation/im conf/usenix/2020 db/conf/usenix/usenix2020.html#ImBCAL20

Utsav Banerjee Andrew Wright Chiraag Juvekar Madeleine Waller Arvind 0001 Anantha P. Chandrakasan An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications. 2339-2352 2019 54 IEEE J. Solid State Circuits 8 https://doi.org/10.1109/JSSC.2019.2915203 https://www.wikidata.org/entity/Q127861425 db/journals/jssc/jssc54.html#BanerjeeWJWAC19

Saeid Barati 0001 Ferenc A. Bartha Swarnendu Biswas Robert Cartwright Adam Duracz Donald S. Fussell Henry Hoffmann Connor Imes Jason E. Miller Nikita Mishra Arvind 0001 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. 73-82 2019 36 IEEE Softw. 2 https://doi.org/10.1109/MS.2018.2884864 https://www.wikidata.org/entity/Q128345795 db/journals/software/software36.html#BaratiBBCDFHIMM19

Chanwoo Chung Jinhyung Koo Junsu Im Arvind 0001 Sungjin Lee 0001 LightStore: Software-defined Network-attached Key-value Drives. 939-953 2019 ASPLOS https://doi.org/10.1145/3297858.3304022 https://www.wikidata.org/entity/Q130966255 conf/asplos/2019 db/conf/asplos/asplos2019.html#ChungKIAL19 Thomas Bourgeat Ilia A. Lebedev Andrew Wright Sizhuo Zhang Arvind 0001 Srinivas Devadas MI6: Secure Enclaves in a Speculative Out-of-Order Processor. 42-56 2019 MICRO https://doi.org/10.1145/3352460.3358310 conf/micro/2019 db/conf/micro/micro2019.html#BourgeatLWZAD19

Utsav Banerjee Chiraag Juvekar Andrew Wright Arvind 0001 Anantha P. Chandrakasan An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications. 2019 abs/1903.04387 CoRR http://arxiv.org/abs/1903.04387 db/journals/corr/corr1903.html#abs-1903-04387

Utsav Banerjee Andrew Wright Chiraag Juvekar Madeleine Waller Arvind 0001 Anantha P. Chandrakasan An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for Securing Internet-of-Things Applications. 2019 abs/1907.04455 CoRR http://arxiv.org/abs/1907.04455 db/journals/corr/corr1907.html#abs-1907-04455

Arvind 0001 Low-power appliances for big-data analytics using flash storage and hardware accelerators. 2018 CF https://doi.org/10.1145/3203217.3205336 https://www.wikidata.org/entity/Q130973378 conf/cf/2018 db/conf/cf/cf2018.html#Arvind18 Sizhuo Zhang Muralidaran Vijayaraghavan Andrew Wright Mehdi Alipour Arvind 0001 Constructing a Weak Memory Model. 124-137 2018 ISCA https://doi.org/10.1109/ISCA.2018.00021 https://doi.ieeecomputersociety.org/10.1109/ISCA.2018.00021 http://dl.acm.org/citation.cfm?id=3276553 https://www.wikidata.org/entity/Q130986245 conf/isca/2018 db/conf/isca/isca2018.html#ZhangVWAA18 Sang Woo Jun Andy Wright Sizhuo Zhang Shuotao Xu Arvind 0001 GraFBoost: Using Accelerated Flash Storage for External Graph Analytics. 411-424 2018 ISCA https://doi.org/10.1109/ISCA.2018.00042 https://doi.ieeecomputersociety.org/10.1109/ISCA.2018.00042 http://dl.acm.org/citation.cfm?id=3276580 conf/isca/2018 db/conf/isca/isca2018.html#JunWZXA18 Utsav Banerjee Chiraag Juvekar Andrew Wright Arvind 0001 Anantha P. Chandrakasan An energy-efficient reconfigurable DTLS cryptographic engine for End-to-End security in iot applications. 42-44 2018 ISSCC https://doi.org/10.1109/ISSCC.2018.8310174 conf/isscc/2018 db/conf/isscc/isscc2018.html#BanerjeeJWAC18 Sizhuo Zhang Andrew Wright Thomas Bourgeat Arvind 0001 Composable Building Blocks to Open up Processor Design. 68-81 2018 MICRO https://doi.org/10.1109/MICRO.2018.00015 https://doi.ieeecomputersociety.org/10.1109/MICRO.2018.00015 conf/micro/2018 db/conf/micro/micro2018.html#ZhangWBA18

Sizhuo Zhang Muralidaran Vijayaraghavan Andrew Wright Mehdi Alipour Arvind 0001 Constructing a Weak Memory Model. 2018 abs/1805.07886 CoRR http://arxiv.org/abs/1805.07886 db/journals/corr/corr1805.html#abs-1805-07886

Thomas Bourgeat Ilia A. Lebedev Andrew Wright Sizhuo Zhang Arvind 0001 Srinivas Devadas MI6: Secure Enclaves in a Speculative Out-of-Order Processor. 2018 abs/1812.09822 CoRR http://arxiv.org/abs/1812.09822 db/journals/corr/corr1812.html#abs-1812-09822

Joonwon Choi Muralidaran Vijayaraghavan Benjamin Sherman Adam Chlipala Arvind 0001 Kami: a platform for high-level parametric hardware specification and its modular verification. 24:1-24:30 2017 1 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3110268 db/journals/pacmpl/pacmpl1.html#ChoiVSCA17

Sizhuo Zhang Muralidaran Vijayaraghavan Arvind 0001 Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. 288-302 2017 PACT https://doi.org/10.1109/PACT.2017.29 https://doi.ieeecomputersociety.org/10.1109/PACT.2017.29 conf/IEEEpact/2017 db/conf/IEEEpact/pact2017.html#ZhangVA17 Sang Woo Jun Shuotao Xu Arvind 0001 Terabyte Sort on FPGA-Accelerated Flash Storage. 17-24 2017 FCCM https://doi.org/10.1109/FCCM.2017.53 https://doi.ieeecomputersociety.org/10.1109/FCCM.2017.53 conf/fccm/2017 db/conf/fccm/fccm2017.html#JunXA17 Chanwoo Chung Jinhyung Koo Arvind 0001 Sungjin Lee 0001 Lightweight KV-based Distributed Store for Datacenters. 2017 HotStorage https://www.usenix.org/conference/hotstorage17/program/presentation/chung conf/hotstorage/2017 db/conf/hotstorage/hotstorage2017.html#ChungKAL17

Sizhuo Zhang Muralidaran Vijayaraghavan Arvind 0001 An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution. 2017 abs/1705.06158 CoRR http://arxiv.org/abs/1705.06158 db/journals/corr/corr1705.html#ZhangVA17

Sizhuo Zhang Muralidaran Vijayaraghavan Arvind 0001 Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility. 2017 abs/1707.05923 CoRR http://arxiv.org/abs/1707.05923 db/journals/corr/corr1707.html#ZhangVA17aa

Sizhuo Zhang Muralidaran Vijayaraghavan Dan Lustig Arvind 0001 Weak Memory Models with Matching Axiomatic and Operational Definitions. 2017 abs/1710.04259 CoRR http://arxiv.org/abs/1710.04259 db/journals/corr/corr1710.html#abs-1710-04259

Sang Woo Jun Andy Wright Sizhuo Zhang Shuotao Xu Arvind 0001 BigSparse: High-performance external graph analytics. 2017 abs/1710.07736 CoRR http://arxiv.org/abs/1710.07736 db/journals/corr/corr1710.html#abs-1710-07736

Shuotao Xu Sungjin Lee 0001 Sang Woo Jun Ming Liu Jamey Hicks Arvind 0001 BlueCache: A Scalable Distributed Flash-based Key-value Store. 301-312 2016 10 Proc. VLDB Endow. 4 http://www.vldb.org/pvldb/vol10/p301-xu.pdf https://doi.org/10.14778/3025111.3025113 db/journals/pvldb/pvldb10.html#XuLJLHA16

Sang Woo Jun Ming Liu Sungjin Lee 0001 Jamey Hicks John Ankcorn Myron King Shuotao Xu Arvind 0001 BlueDBM: Distributed Flash Storage for Big Data Analytics. 7:1-7:31 2016 34 ACM Trans. Comput. Syst. 3 https://doi.org/10.1145/2898996 https://www.wikidata.org/entity/Q130976894 db/journals/tocs/tocs34.html#JunLLHAKXA16

Arvind 0001 Big Data Analytics on Flash Storage with Accelerators. 1 2016 PACT https://doi.org/10.1145/2967938.2970374 https://ieeexplore.ieee.org/document/7756745/ conf/IEEEpact/2016 db/conf/IEEEpact/pact2016.html#Arvind16 Ming Liu Sang Woo Jun Sungjin Lee 0001 Jamey Hicks Arvind 0001 minFlash: A minimalistic clustered flash array. 1255-1260 2016 DATE https://ieeexplore.ieee.org/document/7459503/ conf/date/2016 db/conf/date/date2016.html#LiuJLHA16 Sungjin Lee 0001 Ming Liu Sang Woo Jun Shuotao Xu Jihong Kim 0001 Arvind 0001 Application-Managed Flash. 339-353 2016 FAST https://www.usenix.org/conference/fast16/technical-sessions/presentation/lee conf/fast/2016 db/conf/fast/fast2016.html#LeeLJXKA16 Sang Woo Jun Huy T. Nguyen Vijay Gadepally Arvind 0001 In-storage embedded accelerator for sparse pattern processing. 1-7 2016 HPEC https://doi.org/10.1109/HPEC.2016.7761588 conf/hpec/2016 db/conf/hpec/hpec2016.html#JunNGA16

Sizhuo Zhang Arvind 0001 Muralidaran Vijayaraghavan Taming Weak Memory Models. 2016 abs/1606.05416 CoRR http://arxiv.org/abs/1606.05416 db/journals/corr/corr1606.html#ZhangAV16

Sizhuo Zhang Andrew Wright Daniel Sánchez 0003 Arvind 0001 Validating Simplified Processor Models in Architectural Studies. 2016 abs/1610.02094 CoRR http://arxiv.org/abs/1610.02094 db/journals/corr/corr1610.html#ZhangWSA16

Sang Woo Jun Huy T. Nguyen Vijay Gadepally Arvind 0001 In-Storage Embedded Accelerator for Sparse Pattern Processing. 2016 abs/1611.03380 CoRR http://arxiv.org/abs/1611.03380 db/journals/corr/corr1611.html#JunNGA16

Sungjin Lee 0001 Jihong Kim 0001 Arvind 0001 Refactored Design of I/O Architecture for Flash Storage. 70-74 2015 14 IEEE Comput. Archit. Lett. 1 https://doi.org/10.1109/LCA.2014.2329423 http://doi.ieeecomputersociety.org/10.1109/LCA.2014.2329423 db/journals/cal/cal14.html#LeeKM15

Arvind 0001 BlueDBM: A multi-access, distributed flash store for Big Data analytics. 2015 ASAP https://doi.org/10.1109/ASAP.2015.7245693 https://doi.ieeecomputersociety.org/10.1109/ASAP.2015.7245693 conf/asap/2015 db/conf/asap/asap2015.html#Arvind15 Muralidaran Vijayaraghavan Adam Chlipala Arvind 0001 Nirav Dave Modular Deductive Verification of Multiprocessor Hardware Designs. 109-127 2015 CAV (2) https://doi.org/10.1007/978-3-319-21668-3_7 conf/cav/2015 db/conf/cav/cav2015.html#VijayaraghavanC15 Sang Woo Jun Ming Liu Shuotao Xu Arvind 0001 A transport-layer network for distributed FPGA platforms. 1-4 2015 FPL https://doi.org/10.1109/FPL.2015.7293976 conf/fpl/2015 db/conf/fpl/fpl2015.html#JunLXA15 Sang Woo Jun Ming Liu Sungjin Lee 0001 Jamey Hicks John Ankcorn Myron King Shuotao Xu Arvind 0001 BlueDBM: an appliance for big data analytics. 1-13 2015 ISCA https://doi.org/10.1145/2749469.2750412 conf/isca/2015 db/conf/isca/isca2015.html#JunLLHAKXA15 Sang Woo Jun Chanwoo Chung Arvind 0001 Large-scale high-dimensional nearest neighbor search using flash memory with in-store processing. 1-8 2015 ReConFig https://doi.org/10.1109/ReConFig.2015.7393324 conf/reconfig/2015 db/conf/reconfig/reconfig2015.html#JunCA15 Arvind 0001 Constructive computer architecture. 10:10 2015 WCAE https://doi.org/10.1145/2795122.2795132 conf/wcae/2015 db/conf/wcae/wcae2015.html#Arvind15 Sang Woo Jun Ming Liu Kermin Elliott Fleming Arvind 0001 Scalable multi-access flash store for big data analytics. 55-64 2014 FPGA https://doi.org/10.1145/2554688.2554789 https://www.wikidata.org/entity/Q130959766 conf/fpga/2014 db/conf/fpga/fpga2014.html#JunLFA14 Abhinav Agarwal Haitham Hassanieh Omid Abari Ezzeldin Hamed Dina Katabi Arvind 0001 High-throughput implementation of a million-point sparse Fourier Transform. 1-6 2014 FPL https://doi.org/10.1109/FPL.2014.6927450 conf/fpl/2014 db/conf/fpl/fpl2014.html#AgarwalHAHKA14 Michal Karczmarek Arvind 0001 Muralidaran Vijayaraghavan A new synthesis procedure for atomic rules containing multi-cycle function blocks. 22-31 2014 MEMOCODE https://doi.org/10.1109/MEMCOD.2014.6961840 conf/memocode/2014 db/conf/memocode/memocode2014.html#KarczmarekAV14 Myron King Asif Khan 0005 Abhinav Agarwal Oriol Arcas Arvind 0001 Generating infrastructure for FPGA-accelerated applications. 1-6 2013 FPL https://doi.org/10.1109/FPL.2013.6645495 conf/fpl/2013 db/conf/fpl/fpl2013.html#KingKAAA13 Abhinav Agarwal Arvind 0001 Leveraging rule-based designs for automatic power domain partitioning. 326-333 2013 ICCAD https://doi.org/10.1109/ICCAD.2013.6691139 http://dl.acm.org/citation.cfm?id=2561895 conf/iccad/2013 db/conf/iccad/iccad2013.html#AgarwalA13 Arvind 0001 Bluespec and Haskell. 1-2 2013 FPCDSL@ICFP https://doi.org/10.1145/2505351.2508149 conf/icfp/2013fpcdsl db/conf/icfp/fpcdsl2013.html#Arvind13 Muralidaran Vijayaraghavan Nirav Dave Arvind 0001 Modular compilation of guarded atomic actions. 177-188 2013 MEMOCODE https://ieeexplore.ieee.org/document/6670957/ http://dl.acm.org/citation.cfm?id=3041500 conf/memocode/2013 db/conf/memocode/memocode2013.html#VijayaraghavanDA13 Myron King Nirav Dave Arvind 0001 Automatic generation of hardware/software interfaces. 325-336 2012 ASPLOS https://doi.org/10.1145/2150976.2151011 https://doi.org/10.1145/2248487.2151011 https://doi.org/10.1145/2189750.2151011 https://www.wikidata.org/entity/Q128375697 conf/asplos/2012 db/conf/asplos/asplos2012.html#KingDA12 Kermin Elliott Fleming Michael Adler Michael Pellauer Angshuman Parashar Arvind 0001 Joel S. Emer Leveraging latency-insensitivity to ease multiple FPGA design. 175-184 2012 FPGA https://doi.org/10.1145/2145694.2145725 https://www.wikidata.org/entity/Q130859785 conf/fpga/2012 db/conf/fpga/fpga2012.html#FlemingAPPME12 Asif Khan 0005 Muralidaran Vijayaraghavan Silas Boyd-Wickizer Arvind 0001 Fast and cycle-accurate modeling of a multicore processor. 178-187 2012 ISPASS https://doi.org/10.1109/ISPASS.2012.6189224 https://doi.ieeecomputersociety.org/10.1109/ISPASS.2012.6189224 conf/ispass/2012 db/conf/ispass/ispass2012.html#KhanVBA12 Asif Khan 0005 Muralidaran Vijayaraghavan Arvind 0001 A general technique for deterministic model-cycle-level debugging. 109-118 2012 MEMOCODE https://doi.org/10.1109/MEMCOD.2012.6292307 conf/memocode/2012 db/conf/memocode/memocode2012.html#KhanVA12

Sungjin Lee 0001 Jihoon Park Kermin Fleming Arvind 0001 Jihong Kim 0001 Improving performance and lifetime of solid-state drives using hardware-accelerated compression. 1732-1739 2011 57 IEEE Trans. Consumer Electron. 4 https://doi.org/10.1109/TCE.2011.6131148 db/journals/tce/tce57.html#LeePFAK11

Arvind 0001 Automatic generation of hardware/software interfaces. 1-2 2011 CASES https://doi.org/10.1145/2038698.2038700 conf/cases/2011 db/conf/cases/cases2011.html#Arvind11 Kermin Elliott Fleming Man Cheuk Ng Samuel Gross Arvind 0001 WiLIS: Architectural modeling of wireless systems. 197-206 2011 ISPASS https://doi.org/10.1109/ISPASS.2011.5762736 https://doi.ieeecomputersociety.org/10.1109/ISPASS.2011.5762736 conf/ispass/2011 db/conf/ispass/ispass2011.html#FlemingNGA11 Nirav Dave Michael Katelman Myron King Arvind 0001 José Meseguer 0001 Verification of microarchitectural refinements in rule-based systems. 61-71 2011 MEMOCODE https://doi.org/10.1109/MEMCOD.2011.5970511 conf/memocode/2011 db/conf/memocode/memocode2011.html#DaveKKAM11

Abhinav Agarwal Man Cheuk Ng Arvind 0001 A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder. 72-76 2010 2 IEEE Embed. Syst. Lett. 3 https://doi.org/10.1109/LES.2010.2055231 db/journals/esl/esl2.html#AgarwalNA10

Arvind 0001 David I. August Keshav Pingali Derek Chiou Resit Sendag Joshua J. Yi Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs? 19-33 2010 30 IEEE Micro 3 https://doi.org/10.1109/MM.2010.54 http://doi.ieeecomputersociety.org/10.1109/MM.2010.54 db/journals/micro/micro30.html#ArvindAPCSY10

Man Cheuk Ng Kermin Elliott Fleming Mythili Vutukuru Samuel Gross Arvind 0001 Hari Balakrishnan Airblue: a system for cross-layer wireless protocol development. 4 2010 ANCS https://doi.org/10.1145/1872007.1872013 conf/ancs/2010 db/conf/ancs/ancs2010.html#NgFVGAB10 Arvind 0001 Is hardware innovation over? 1 2010 HPCA https://doi.org/10.1109/HPCA.2010.5416648 https://doi.ieeecomputersociety.org/10.1109/HPCA.2010.5416648 conf/hpca/2010 db/conf/hpca/hpca2010.html#Arvind10 Nirav Dave Man Cheuk Ng Michael Pellauer Arvind 0001 A design flow based on modular refinement. 11-20 2010 MEMOCODE https://doi.org/10.1109/MEMCOD.2010.5558626 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2010.5558626 https://www.wikidata.org/entity/Q130976453 conf/memocode/2010 db/conf/memocode/memocode2010.html#DaveNPA10 Arvind 0001 Is hardware innovation over? 103-104 2010 PPoPP https://doi.org/10.1145/1693453.1693455 https://doi.org/10.1145/1837853.1693455 conf/ppopp/2010 db/conf/ppopp/ppopp2010.html#Arvind10

Michael Pellauer Muralidaran Vijayaraghavan Michael Adler Arvind 0001 Joel S. Emer A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs. 2009 2 ACM Trans. Reconfigurable Technol. Syst. 3 https://doi.org/10.1145/1575774.1575775 db/journals/trets/trets2.html#PellauerVAAE09 16:1-16:26

Muralidaran Vijayaraghavan Arvind 0001 Bounded Dataflow Networks and Latency-Insensitive circuits. 171-180 2009 MEMOCODE https://doi.org/10.1109/MEMCOD.2009.5185393 http://dl.acm.org/citation.cfm?id=1715781 conf/memocode/2009 db/conf/memocode/memocode2009.html#VijayaraghavanA09

Rajesh Gupta 0001 Arvind 0001 Gérard Berry Forrest Brewer Advances in ESL Design. 520-526 2008 25 IEEE Des. Test Comput. 6 https://doi.org/10.1109/MDT.2008.153 http://doi.ieeecomputersociety.org/10.1109/MDT.2008.153 db/journals/dt/dt25.html#GuptaABB08

Arvind 0001 Nirav Dave Michael Katelman Getting Formal Verification into Design Flow. 12-32 2008 FM https://doi.org/10.1007/978-3-540-68237-0_2 conf/fm/2008 db/conf/fm/fm2008.html#ArvindDK08 Michael Pellauer Muralidaran Vijayaraghavan Michael Adler Arvind 0001 Joel S. Emer A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs. 87-96 2008 FPGA https://doi.org/10.1145/1344671.1344685 conf/fpga/2008 db/conf/fpga/fpga2008.html#PellauerVAAE08 Michal Karczmarek Arvind 0001 Synthesis from multi-cycle atomic actions as a solution to the timing closure problem. 24-31 2008 ICCAD https://doi.org/10.1109/ICCAD.2008.4681547 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2008.4681547 https://dl.acm.org/citation.cfm?id=1509475 conf/iccad/2008 db/conf/iccad/iccad2008.html#KarczmarekA08 Michael Pellauer Muralidaran Vijayaraghavan Michael Adler Arvind 0001 Joel S. Emer Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs. 1-10 2008 ISPASS https://doi.org/10.1109/ISPASS.2008.4510733 https://doi.ieeecomputersociety.org/10.1109/ISPASS.2008.4510733 conf/ispass/2008 db/conf/ispass/ispass2008.html#PellauerVAAE08 Kermin Fleming Chun-Chieh Lin Nirav Dave Arvind 0001 Gopal Raghavan Jamey Hicks H.264 Decoder: A Case Study in Multiple Design Points. 165-174 2008 MEMOCODE https://doi.org/10.1109/MEMCOD.2008.4547707 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2008.4547707 conf/memocode/2008 db/conf/memocode/memocode2008.html#FlemingLDARH08 Arvind 0001 Rishiyur S. Nikhil Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). 205-206 2008 MEMOCODE https://doi.org/10.1109/MEMCOD.2008.4547713 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2008.4547713 https://www.wikidata.org/entity/Q130948985 conf/memocode/2008 db/conf/memocode/memocode2008.html#ArvindN08 Nirav Dave Arvind 0001 Michael Pellauer Scheduling as Rule Composition. 51-60 2007 conf/memocode/2007 MEMOCODE https://doi.org/10.1109/MEMCOD.2007.371249 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2007.371249 http://dl.acm.org/citation.cfm?id=1340618 db/conf/memocode/memocode2007.html#DaveAP07 Man Cheuk Ng Muralidaran Vijayaraghavan Nirav Dave Arvind 0001 Gopal Raghavan Jamey Hicks From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. 71-80 2007 conf/memocode/2007 MEMOCODE https://doi.org/10.1109/MEMCOD.2007.371247 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2007.371247 http://dl.acm.org/citation.cfm?id=1340620 db/conf/memocode/memocode2007.html#NgVDARH07

Arvind 0001 Jamey Hicks A Mobile Phone Ecosystem: MIT and Nokia's Joint Research Venture. 78-79 2006 21 IEEE Intell. Syst. 5 https://doi.org/10.1109/MIS.2006.84 http://doi.ieeecomputersociety.org/10.1109/MIS.2006.84 db/journals/expert/expert21.html#ArvindH06

David A. Patterson 0001 Arvind 0001 Krste Asanovic Derek Chiou James C. Hoe Christos Kozyrakis Shih-Lien Lu Mark Oskin Jan M. Rabaey John Wawrzynek Research accelerator for multiple processors. 1-42 2006 Hot Chips Symposium https://doi.ieeecomputersociety.org/10.1109/HOTCHIPS.2006.7477751 conf/hotchips/2006 db/conf/hotchips/hotchips2006.html#PattersonAACHKL06 Arvind 0001 Jan-Willem Maessen Memory Model = Instruction Reordering + Store Atomicity. 29-40 2006 conf/isca/2006 ISCA https://doi.org/10.1109/ISCA.2006.26 https://doi.ieeecomputersociety.org/10.1109/ISCA.2006.26 http://dl.acm.org/citation.cfm?id=1136489 db/conf/isca/isca2006.html#ArvindM06 Nirav Dave Michael Pellauer S. Gerding Arvind 0001 802.11a transmitter: a case study in microarchitectural exploration. 59-68 2006 conf/memocode/2006 MEMOCODE https://doi.org/10.1109/MEMCOD.2006.1695901 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2006.1695901 http://dl.acm.org/citation.cfm?id=2674354 db/conf/memocode/memocode2006.html#DavePGA06 Arvind 0001 UNUM: A Tinker-Toy Approach to Building Multicore PowerPC Microarchitectures. 39 2006 conf/vlsid/2006 VLSI Design https://doi.org/10.1109/VLSID.2006.164 https://doi.ieeecomputersociety.org/10.1109/VLSID.2006.164 db/conf/vlsid/vlsid2006.html#Arvind06 Jan-Willem Maessen Arvind 0001 Store Atomicity for Transactional Memory. 117-137 2006 conf/floc/2006tv TV@FLoC https://doi.org/10.1016/j.entcs.2007.04.009 db/conf/floc/tv2006.html#MaessenA07 Ryan Newton Arvind 0001 Matt Welsh Building up to macroprogramming: an intermediate language for sensor networks. 37-44 2005 conf/ipsn/2005 IPSN https://doi.org/10.1109/IPSN.2005.1440891 http://dl.acm.org/citation.cfm?id=1147694 db/conf/ipsn/ipsn2005.html#NewtonAW05 Nirav Dave Man Cheuk Ng Arvind 0001 Automatic synthesis of cache-coherence protocol processors using Bluespec. 25-34 2005 conf/memocode/2005 MEMOCODE https://doi.org/10.1109/MEMCOD.2005.1487887 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2005.1487887 http://dl.acm.org/citation.cfm?id=1322176 db/conf/memocode/memocode2005.html#DaveNA05 Arvind 0001 Larry Rudolph Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005 ICS ACM 2005 1-59593-167-8 https://doi.org/10.1145/1088149 db/conf/ics/ics2005.html

James C. Hoe Arvind 0001 Operation-centric hardware description and synthesis. 1277-1288 2004 23 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 https://doi.org/10.1109/TCAD.2004.833614 db/journals/tcad/tcad23.html#HoeA04

Daniel L. Rosenband Arvind 0001 Modular scheduling of guarded atomic actions. 55-60 2004 conf/dac/2004 DAC https://doi.org/10.1145/996566.996583 db/conf/dac/dac2004.html#RosenbandA04 Arvind 0001 Rethinking Computer Architecture Research. 1-2 https://doi.org/10.1007/978-3-540-30474-6_1 2004 conf/hipc/2004 HiPC db/conf/hipc/hipc2004.html#Arvind04 Arvind 0001 Rishiyur S. Nikhil Daniel L. Rosenband Nirav Dave High-level synthesis: an essential ingredient for designing complex ASICs. 775-782 2004 conf/iccad/2004 ICCAD https://doi.org/10.1109/ICCAD.2004.1382681 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2004.1382681 https://dl.acm.org/citation.cfm?id=1112360 db/conf/iccad/iccad2004.html#ArvindNRD04 Hari Balakrishnan Srinivas Devadas Douglas Ehlert Arvind 0001 Rate Guarantees and Overload Protection in Input-Queued Switches. 2004 conf/infocom/2004 INFOCOM https://doi.org/10.1109/INFCOM.2004.1354642 db/conf/infocom/infocom2004.html#BalakrishnanDEA04 2185-2195 Arvind 0001 Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. 249- 2003 conf/memocode/2003 MEMOCODE https://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10000 http://dl.acm.org/citation.cfm?id=823860 db/conf/memocode/memocode2003.html#Arvind03 Rishiyur S. Nikhil Arvind 0001 Implicit parallel programming in pH. I-XX, 1-508 Morgan Kaufmann 2001 978-1-55860-644-9 Joseph E. Stoy Xiaowei Shen Arvind 0001 Proofs of Correctness of Cache-Coherence Protocols. 43-71 2001 conf/fm/2001 FME https://doi.org/10.1007/3-540-45251-6_4 db/conf/fm/fme2001.html#StoySA01

Arvind 0001 Anton T. Dahbura Alejandro Caro From Monsoon to StarT-Voyager: University-Industry Collaboration. 75-84 2000 20 IEEE Micro 3 https://doi.org/10.1109/40.846312 http://doi.ieeecomputersociety.org/10.1109/40.846312 db/journals/micro/micro20.html#ArvindDC00

James C. Hoe Arvind 0001 Synthesis of Operation-Centric Hardware Descriptions. 511-518 2000 conf/iccad/2000 ICCAD db/conf/iccad/iccad2000.html#HoeA00 https://doi.org/10.1109/ICCAD.2000.896524 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2000.896524 http://dl.acm.org/citation.cfm?id=603017 Boon Seong Ang Derek Chiou Larry Rudolph Arvind 0001 Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards. 13-20 2000 conf/ipps/2000 IPDPS https://doi.org/10.1109/IPDPS.2000.845959 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2000.845959 db/conf/ipps/ipdps2000.html#AngCRA00 Jan-Willem Maessen Arvind 0001 Xiaowei Shen Improving the Java memory model using CRF. 1-12 2000 conf/oopsla/2000 OOPSLA https://doi.org/10.1145/353171.353172 https://doi.org/10.1145/354222.353172 https://www.wikidata.org/entity/Q131128427 db/conf/oopsla/oopsla2000.html#MaessenAS00

Arvind 0001 Xiaowei Shen Using term rewriting systems to design and verify processors. 36-46 1999 19 IEEE Micro 3 https://doi.org/10.1109/40.768501 http://doi.ieeecomputersociety.org/10.1109/40.768501 db/journals/micro/micro19.html#ArvindS99

Xiaowei Shen Arvind 0001 Larry Rudolph CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. 135-144 1999 conf/ics/1999 International Conference on Supercomputing https://doi.org/10.1145/305138.305187 db/conf/ics/ics1999.html#ShenAR99 James C. Hoe Arvind 0001 Hardware Synthesis from Term Rewriting Systems. 595-619 1999 conf/ifip10-5/1999 VLSI db/conf/ifip10-5/ifip10-5-1999.html#HoeA99 Xiaowei Shen Arvind 0001 Larry Rudolph Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. 150-161 1999 conf/isca/1999 ISCA https://doi.org/10.1109/ISCA.1999.765947 https://doi.ieeecomputersociety.org/10.1109/ISCA.1999.765947 https://dl.acm.org/citation.cfm?id=300992 db/conf/isca/isca99.html#ShenAR99

Andrew Shaw Arvind 0001 Kyoo-Chan Cho Christopher Hill R. Paul Johnson John Marshall A Comparison of Implicitly Parallel Multithreaded and Data-Parallel Implementations of an Ocean Model. 1-51 1998 48 J. Parallel Distributed Comput. 1 db/journals/jpdc/jpdc48.html#ShawACHJM98 https://doi.org/10.1006/jpdc.1997.1390

Boon Seong Ang Derek Chiou Larry Rudolph Arvind 0001 The StarT-Voyager Parallel System. 185- 1998 conf/IEEEpact/1998 IEEE PACT https://doi.org/10.1109/PACT.1998.727191 https://doi.ieeecomputersociety.org/10.1109/PACT.1998.727191 https://dl.acm.org/doi/10.5555/522344.825705 db/conf/IEEEpact/IEEEpact1998.html#AngCRA98 Boon Seong Ang Derek Chiou Larry Rudolph Arvind 0001 Message passing support on StarT-Voyager. 228-237 1998 HiPC https://doi.org/10.1109/HIPC.1998.737993 https://doi.ieeecomputersociety.org/10.1109/HIPC.1998.737993 conf/hipc/1998 db/conf/hipc/hipc1998.html#AngCRA98 Boon Seong Ang Derek Chiou Daniel L. Rosenband Mike Ehrlich Larry Rudolph Arvind 0001 StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues. 26 1998 SC https://doi.org/10.1109/SC.1998.10042 https://doi.ieeecomputersociety.org/10.1109/SC.1998.10042 http://dl.acm.org/citation.cfm?id=509084 conf/sc/1998 db/conf/sc/sc1998.html#AngCRERA98 Arvind 0001 Jan-Willem Maessen Rishiyur S. Nikhil Joseph E. Stoy LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. 1998 conf/hlcl/1998 HLCL https://doi.org/10.1016/S1571-0661(04)00146-X db/conf/hlcl/hlcl1998.html#ArvindMNS98 265-290 Andrew Shaw Arvind 0001 R. Paul Johnson Performance tuning scientific codes for dataflow execution. 198-207 1996 IEEE PACT https://doi.org/10.1109/PACT.1996.552668 https://doi.ieeecomputersociety.org/10.1109/PACT.1996.552668 conf/IEEEpact/1996 db/conf/IEEEpact/IEEEpact1996.html#ShawAJ96 Arvind 0001 Jan-Willem Maessen Rishiyur S. Nikhil Joseph E. Stoy A Lambda Calculus with Letrecs and Barriers. 19-36 1996 conf/fsttcs/1996 FSTTCS db/conf/fsttcs/fsttcs96.html#ArvindMNS96 https://doi.org/10.1007/3-540-62034-6_34 Arvind 0001 Alejandro Caro Jan-Willem Maessen Shail Aditya A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. 519-533 1996 conf/lcpc/1996 LCPC db/conf/lcpc/lcpc1996.html#ArvindCMA96 https://doi.org/10.1007/BFb0017273

Zena M. Ariola Arvind 0001 Properties of a First-Order Functional Language with Sharing. 69-108 1995 146 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs146.html#AriolaA95 https://doi.org/10.1016/0304-3975(94)00185-L

Derek Chiou Boon Seong Ang Robert Greiner Arvind 0001 James C. Hoe Michael J. Beckerle James E. Hicks G. Andrew Boughton START-NG: Delivering Seamless Parallel Computing. 101-116 1995 conf/europar/1995 Euro-Par db/conf/europar/europar95.html#ChiouAGAHBHB95 https://doi.org/10.1007/BFb0020458 Shail Aditya Arvind 0001 Joseph E. Stoy Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. 204-215 1995 conf/fpca/1995 FPCA db/conf/fpca/fpca95.html#AdityaAS95 https://doi.org/10.1145/224164.224206

Arvind 0001 Stephen Brobst The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC. 125-153 1993 5 Int. J. High Speed Comput. 2 https://doi.org/10.1142/S0129053393000074 db/journals/ijhsc/ijhsc5.html#ArvindB93

James E. Hicks Derek Chiou Boon Seong Ang Arvind 0001 Performance Studies of Id on the Monsoon Dataflow System. 273-300 1993 18 J. Parallel Distributed Comput. 3 db/journals/jpdc/jpdc18.html#HicksCAA93 https://doi.org/10.1006/jpdc.1993.1065

Rishiyur S. Nikhil Gregory M. Papadopoulos Arvind 0001 *T: A Multithreaded Massively Parallel Architecture. 156-167 1992 conf/isca/1992 ISCA db/conf/isca/isca92.html#NikhilPA92 https://doi.org/10.1145/139669.139715 https://doi.org/10.1109/ISCA.1992.753313 https://doi.ieeecomputersociety.org/10.1109/ISCA.1992.753313 Zena M. Ariola Arvind 0001 Compilation of Id. 99-121 1991 conf/lcpc/1991 LCPC db/conf/lcpc/lcpc1991.html#AriolaA91 https://doi.org/10.1007/BFb0038660 Zena M. Ariola Arvind 0001 A Syntactic Approach to Program Transformations. 116-129 1991 conf/pepm/1991 PEPM db/conf/pepm/pepm91.html#AriolaA91 https://doi.org/10.1145/115865.115878 https://doi.org/10.1145/115866.115878

Arvind 0001 Rishiyur S. Nikhil Executing a Program on the MIT Tagged-Token Dataflow Architecture. 300-318 1990 39 IEEE Trans. Computers 3 db/journals/tc/tc39.html#ArvindN90 https://doi.org/10.1109/12.48862 http://doi.ieeecomputersociety.org/10.1109/12.48862

Arvind 0001 Rishiyur S. Nikhil Keshav Pingali I-Structures: Data Structures for Parallel Computing. 598-632 1989 11 ACM Trans. Program. Lang. Syst. 4 https://doi.org/10.1145/69558.69562 db/journals/toplas/toplas11.html#ArvindNP89

Zena M. Ariola Arvind 0001 P-TAC: A Parallel Intermediate Language. 230-242 1989 conf/fpca/1989 FPCA https://doi.org/10.1145/99370.99388 db/conf/fpca/fpca89.html#AriolaA89

Arvind 0001 Kattamuri Ekanadham Future Scientific Programming on Parallel Machines. 460-493 1988 5 J. Parallel Distributed Comput. 5 db/journals/jpdc/jpdc5.html#ArvindE88 https://doi.org/10.1016/0743-7315(88)90009-3

David E. Culler Arvind 0001 Resource Requirements of Dataflow Programs. 141-150 1988 conf/isca/1988 ISCA db/conf/isca/isca88.html#CullerA88 https://doi.org/10.1109/ISCA.1988.5223 https://doi.ieeecomputersociety.org/10.1109/ISCA.1988.5223 https://doi.org/10.1145/633625.52417 Arvind 0001 Robert A. Iannucci Two Fundamental Issues in Multiprocessing. 61-88 1987 conf/dfvlr/1987 Parallel Computing in Science and Engineering db/conf/dfvlr/dfvlr1987.html#ArvindI87 https://doi.org/10.1007/3-540-18923-8_15 Arvind 0001 Kattamuri Ekanadham Future Scientific Programming on Parallel Machines. 639-686 1987 conf/ics/1987 ICS db/conf/ics/ics1987.html#ArvindE87 https://doi.org/10.1007/3-540-18991-2_38 Arvind 0001 Rishiyur S. Nikhil Executing a Program on the MIT Tagged-Token Dataflow Architecture. 1-29 1987 conf/parle/1987-2 PARLE (2) db/conf/parle/parle87-2.html#ArvindN87 https://doi.org/10.1007/3-540-17945-3_1

Keshav Pingali Arvind 0001 Efficient Demand-Driven Evaluation - Part 2. 109-139 1986 8 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/5001.5003 db/journals/toplas/toplas8.html#PingaliA86

Arvind 0001 Rishiyur S. Nikhil Keshav Pingali I-structures: Data structures for parallel computing. 336-369 1986 conf/gr/1986 Graph Reduction db/conf/gr/gr1986.html#ArvindNP86 https://doi.org/10.1007/3-540-18420-1_65

Keshav Pingali Arvind 0001 Efficient Demand-Driven Evaluation - Part 1. 311-333 1985 7 ACM Trans. Program. Lang. Syst. 2 https://doi.org/10.1145/3318.3480 db/journals/toplas/toplas7.html#PingaliA85

Arvind 0001 Demand-Driven Evaluation on Dataflow Machine. 411 1985 conf/fsttcs/1985 FSTTCS db/conf/fsttcs/fsttcs85.html#Arvind85 https://doi.org/10.1007/3-540-16042-6_23

Arvind 0001 J. Dean Brock Resource managers in functional programming. 5-21 1984 1 J. Parallel Distributed Comput. 2 https://doi.org/10.1016/0743-7315(84)90008-X db/journals/jpdc/jpdc1.html#ArvindB84

Arvind 0001 Robert A. Iannucci A Critique of Multiprocessing von Neumann Style 426-436 conf/isca/83 ISCA 1983 db/conf/isca/isca83.html#ArvindI83 https://doi.org/10.1145/800046.801684 https://doi.org/10.1145/1067651.801684

Tilak Agerwala Arvind 0001 Data Flow Systems - Guest Editors' Introduction. 10-13 1982 15 Computer 2 db/journals/computer/computer15.html#AgerwalaA82 https://doi.org/10.1109/MC.1982.1653937 http://doi.ieeecomputersociety.org/10.1109/MC.1982.1653937

Arvind 0001 Kim P. Gostelow The U-Interpreter. 42-49 1982 15 Computer 2 db/journals/computer/computer15.html#ArvindG82 https://doi.org/10.1109/MC.1982.1653940 http://doi.ieeecomputersociety.org/10.1109/MC.1982.1653940

Arvind 0001 Data Flow Languages and Architecture. 1 1981 conf/isca/1981 ISCA db/conf/isca/isca81.html#Arvind81 http://dl.acm.org/citation.cfm?id=801861 Arvind 0001 J. Dean Brock Streams and Managers. 452-465 1980 conf/ibm/1980 Operating Systems Engineering db/conf/ibm/os1980.html#ArvindB80 https://doi.org/10.1007/3-540-11604-4_66 Arvind 0001 Kim P. Gostelow A Computer Capable of Exchanging Processors for Time. 849-853 1977 conf/ifip/1977 IFIP Congress db/conf/ifip/ifip1977.html#ArvindG77 Arvind 0001 Kim P. Gostelow Some Relationships Between Asynchronous Interpreters of a Dataflow Language. 95-120 1977 Formal Description of Programming Concepts conf/ifip2/1977 db/conf/ifip2/fdpc1977.html#ArvindG77 Arvind 0001 Kim P. Gostelow Wil Plouffe Indeterminancy, Monitors, and Dataflow. 159-169 1977 conf/sosp/1977 SOSP db/conf/sosp/sosp77.html#ArvindGP77 https://doi.org/10.1145/800214.806559 Arvind 0001 Richard Y. Kain Eitan Sadeh On Reference String Generation Processes. 80-87 1973 conf/sosp/1973 SOSP db/conf/sosp/sosp73.html#ArvindKS73 https://doi.org/10.1145/800009.808053 Omid Abari Shail Aditya Michael Adler Abhinav Agarwal Tilak Agerwala Asra Ali Mehdi Alipour Boon Seong Ang John Ankcorn Oriol Arcas-AbellaOriol Arcas Zena M. Ariola Krste Asanovic David I. August Jinwook Bae Hari Balakrishnan Utsav Banerjee Saeid Barati 0001 Ferenc A. Bartha Michael J. Beckerle Claudio Bellei Gérard Berry Swarnendu Biswas G. Andrew Boughton Thomas Bourgeat Silas Boyd-Wickizer Forrest Brewer Stephen Brobst J. Dean Brock Locke Cai Alejandro Caro Robert Cartwright Leo de Castro Anantha P. Chandrakasan Jie Chen 0007 Xuhao Chen 0001 Derek Chiou Adam Chlipala Kyoo-Chan Cho Joonwon Choi Chanwoo Chung David E. Culler Anton T. Dahbura Jingtian Dang Nirav Dave Srini DevadasSrinivas Devadas Mohamed Ali Dhraief Adam Duracz Douglas Ehlert Mike Ehrlich Kattamuri Ekanadham Joel S. Emer Kermin FlemingKermin Elliott Fleming Donald S. Fussell Vijay Gadepally S. Gerding Anupam Golder Kim P. Gostelow Robert Greiner Samuel Gross Rajesh K. Gupta 0001Rajesh Gupta 0001 Ezzeldin Hamed Haitham Hassanieh James E. Hicks Jamey Hicks Christopher Hill James C. Hoe Henry Hoffmann Tianhao Huang Robert A. Iannucci Junsu Im Connor Imes Anirudh Itagi Jevin Jiang R. Paul Johnson Sang Woo Jun Chiraag Juvekar Richard Y. Kain Tim Kaler Michal Karczmarek Dina Katabi Michael Katelman Asif Khan 0005 Hojun Kim Jihong Kim 0001 Myron King Jinhyung Koo Christoforos E. KozyrakisChristos Kozyrakis Tushar Krishna Jeremy Kun Stella Lau Ilia A. Lebedev Sungjin Lee 0001 Charles E. Leiserson Chun-Chieh Lin Jiazheng Liu Ming Liu Shih-Lien Lu Daniel LustigDan Lustig Jan-Willem Maessen John Marshall José Meseguer 0001 Jason E. Miller Nikita Mishra Ryan Newton Man Cheuk Ng Dung Nguyen Huy T. Nguyen Rishiyur S. Nikhil Mark Oskin Krishna V. Palem Gregory M. Papadopoulos Angshuman Parashar Jihoon Park David A. Patterson 0001 Yan Pei Michael Pellauer Ross Phillips Keshav Pingali Clément Pit-Claudel Wil Plouffe Jan M. Rabaey Gopal Raghavan Tom Robinson Daniel L. Rosenband Larry Rudolph Eitan Sadeh Ryuichi Sai Daniel Sánchez 0003 Resit Sendag Andrew Shaw Xiaowei Shen Benjamin Sherman Kiwhan Song Joseph E. Stoy G. Edward Suh Jianming Tong Muralidaran Vijayaraghavan Mythili Vutukuru Madeleine Waller John Wawrzynek Mark Weber Matt Welsh Andrew Wright Andy Wright Muhua Xu Shuotao Xu Yao-Hsiang Yang Joshua J. Yi Sizhuo Zhang