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
- 2024
[i15]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 abs/2404.19109 (2024)- [i14]Kiwhan Song, Mohamed Ali Dhraief, Muhua Xu, Locke Cai, Xuhao Chen, Arvind, Jie Chen:
Identifying Money Laundering Subgraphs on the Blockchain. CoRR abs/2410.08394 (2024) - 2023
- [j38]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): 394 (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 ATC 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]Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind:
The StarT-Voyager Parallel System. IEEE PACT 1998: 185- - [c27]Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind:
Message passing support on StarT-Voyager. HiPC 1998: 228-237 - [c26]Boon Seong Ang, Derek Chiou, Daniel L. Rosenband, Mike Ehrlich, Larry Rudolph, Arvind:
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues. SC 1998: 26 - [c25]Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. HLCL 1998: 265-290 - 1996
- [c24]Andrew Shaw, Arvind, R. Paul Johnson:
Performance tuning scientific codes for dataflow execution. IEEE PACT 1996: 198-207 - [c23]Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36 - [c22]Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya:
A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. LCPC 1996: 519-533 - 1995
- [j12]Zena M. Ariola, Arvind:
Properties of a First-Order Functional Language with Sharing. Theor. Comput. Sci. 146(1&2): 69-108 (1995) - [c21]Derek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton:
START-NG: Delivering Seamless Parallel Computing. Euro-Par 1995: 101-116 - [c20]Shail Aditya, Arvind, Joseph E. Stoy:
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA 1995: 204-215 - 1994
- [c19]Arvind:
Prospects of ubiquitous parallel computing. IPPS 1994: 2-3 - 1993
- [j11]Arvind, Stephen Brobst:
The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC. Int. J. High Speed Comput. 5(2): 125-153 (1993) - [j10]James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind:
Performance Studies of Id on the Monsoon Dataflow System. J. Parallel Distributed Comput. 18(3): 273-300 (1993) - 1992
- [c18]Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind:
*T: A Multithreaded Massively Parallel Architecture. ISCA 1992: 156-167 - 1991
- [c17]Paul S. Barth, Rishiyur S. Nikhil, Arvind:
M-Structures: Extending a Parallel, Non-strict, Functional Language with State. FPCA 1991: 538-568 - [c16]Zena M. Ariola, Arvind:
Compilation of Id. LCPC 1991: 99-121 - [c15]Zena M. Ariola, Arvind:
A Syntactic Approach to Program Transformations. PEPM 1991: 116-129 - 1990
- [j9]Arvind, Rishiyur S. Nikhil:
Executing a Program on the MIT Tagged-Token Dataflow Architecture. IEEE Trans. Computers 39(3): 300-318 (1990)
1980 – 1989
- 1989
- [j8]Arvind, Rishiyur S. Nikhil, Keshav Pingali:
I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989) - [c14]Zena M. Ariola, Arvind:
P-TAC: A Parallel Intermediate Language. FPCA 1989: 230-242 - 1988
- [j7]Arvind, Kattamuri Ekanadham:
Future Scientific Programming on Parallel Machines. J. Parallel Distributed Comput. 5(5): 460-493 (1988) - [c13]David E. Culler, Arvind:
Resource Requirements of Dataflow Programs. ISCA 1988: 141-150 - 1987
- [c12]Arvind, Robert A. Iannucci:
Two Fundamental Issues in Multiprocessing. Parallel Computing in Science and Engineering 1987: 61-88 - [c11]Arvind, Kattamuri Ekanadham:
Future Scientific Programming on Parallel Machines. ICS 1987: 639-686 - [c10]Arvind, Rishiyur S. Nikhil:
Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29 - 1986
- [j6]Keshav Pingali, Arvind:
Efficient Demand-Driven Evaluation - Part 2. ACM Trans. Program. Lang. Syst. 8(1): 109-139 (1986) - [j5]Keshav Pingali, Arvind:
Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 8(1): 140-141 (1986) - [c9]Arvind, Rishiyur S. Nikhil, Keshav Pingali:
I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369 - 1985
- [j4]Keshav Pingali, Arvind:
Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 7(2): 311-333 (1985) - [c8]Arvind:
Demand-Driven Evaluation on Dataflow Machine. FSTTCS 1985: 411 - 1984
- [j3]Arvind, J. Dean Brock:
Resource managers in functional programming. J. Parallel Distributed Comput. 1(2): 5-21 (1984) - 1983
- [c7]Arvind, Robert A. Iannucci:
A Critique of Multiprocessing von Neumann Style. ISCA 1983: 426-436 - 1982
- [j2]Tilak Agerwala, Arvind:
Data Flow Systems - Guest Editors' Introduction. Computer 15(2): 10-13 (1982) - [j1]Arvind, Kim P. Gostelow:
The U-Interpreter. Computer 15(2): 42-49 (1982) - 1981
- [c6]Arvind:
Data Flow Languages and Architecture. ISCA 1981: 1 - [e2]Arvind, Jack B. Dennis:
Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981. ACM 1981, ISBN 0-89791-060-5 [contents] - 1980
- [c5]Arvind, J. Dean Brock:
Streams and Managers. Operating Systems Engineering 1980: 452-465
1970 – 1979
- 1977
- [c4]Arvind, Kim P. Gostelow:
A Computer Capable of Exchanging Processors for Time. IFIP Congress 1977: 849-853 - [c3]Arvind, Kim P. Gostelow:
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. Formal Description of Programming Concepts 1977: 95-120 - [c2]Arvind, Kim P. Gostelow, Wil Plouffe:
Indeterminancy, Monitors, and Dataflow. SOSP 1977: 159-169 - 1975
- [e1]William P. Lidinsky, Masahivo Tsuchiya, Arvind:
Proceedings of the 8th annual workshop on Microprogramming, MICRO 1975, Chicago, Illinois, USA, September 21-23, 1975. ACM 1975, ISBN 978-1-4503-7451-4 [contents] - 1973
- [c1]Arvind, Richard Y. Kain, Eitan Sadeh:
On Reference String Generation Processes. SOSP 1973: 80-87
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
