back to home

Journal Publications

·       Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind and Anantha P. Chandrakasan, “An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications,” Journal of Solid State Circuits (JSCC). (To appear)

·       Gage Hills, Christian Lau, Andrew Wright, Samuel Fuller, Mindy D. Bishop, Tathagata Srimani, Pritpal Kanhaiya, Rebecca Ho, Aya Amer, Yosi Stein, Denis Murphy, Arvind, Anantha Chandrakasan & Max M. Shulaker, “Modern microprocessor built from complementary carbon nanotube transistors”, Nature volume 572, pages595–602 (2019)

·       Arvind, Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas, Robert Cartwright, Adam Duracz, Donald S. Fussell, Henry Hoffmann, Connor Imes, Jason Miller, Nikita Mishra, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Yao-Hsiang Yang, “Proteus: Language and Runtime Support for Self-Adaptive Software Development”, IEEE Software, 2019

·       Shuotao Xu, Sungjin Lee, Sang-Woo Jun, Ming Liu, Jamey Hicks, Arvind, “BlueCache: A Scalable Distributed Flash-based Key-value Store”, Proceedings of the VLDB Endowment, Vol. 10, No. 4, December 2016. pp301 - 312.

·       Sang-Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, and Arvind, “BlueDBM: An Appliance for Big Data Analytics”,  ACM Transactions on Computer Systems (TOCS), Vol. 9, No. 4, March 2016

·       Sungjin Lee, Jihong Kim, Arvind, “Refactored Design of I/O Architecture for Flash Storage”,  10.1109/LCA.2014.2329423, IEEE Computer Architecture Letters, http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6842649&punumber%3D10208

·       Sungjin Lee, Jihoon Park, Kermin Fleming, Arvind, Jihong Kim, “Improving Performance and Lifetime of Solid-state Drives Using Hardware-accelerated Compression”, IEEE Transactions on Consumer Electronics, Vol 57, No 4, November 2011.

·       Abhinav Agarwal, Man Cheuk Ng, and Arvind “A Comparative Evaluation of High-Level Hardware Synthesis Using Reed-Solomon Decoder”, IEEE ESL Journal, Vol 2, Issue 3, September 2010.

·       Arvind, David August, Keshav Pingali, Derek Chiou, Resit Sendag, Jushua J. Yi, “Programming Multicore: Do Applications Programmers Need to Write Explicitly Parallel Programs?”, IEEE Micro May/ June 2010.

·       M. Pellauer, M. Vijayaraghavan, M. Adler, Arvind, and J. Emer, "A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for modeling on FPGAs", ACM Transactions on Reconfigurable Technologies and Systems (TReTS), Volume 2.3, Article 16 (September 2009)

·       Jan-Willem Maessen and Arvind, “Store Atomicity for Transactional Memory”, Electronic Notes in Theoretical Computer Science Volume 174, Issue 9, Pages 117-137 (22 June 2007)  (Proceedings of the Thread Verification Workshop (TV 2006), Seattle, WA, 21-22 August 2006)

·       Arvind and Jamey Hicks, “A Mobile Phone Ecosystem: MIT and Nokia’s Joint Research Venture” IEEE Intelligent Systems, Vol. 21, No. 5 September/October 2006

·       James Hoe and Arvind, “Operation-Centric Hardware Descriptions and Synthesis”, IEEE TCAD, Vol. 23, No. 9, September 2004.

·       Arvind,  Anton T. Dahbura and Alejandro Caro, "From Monsoon to Start Voyager: University-Industry Research Collaboration," Special issue of IEEE Micro on Computer Architecture Educations May/June 2000.

·       Xiaowei Shen and Arvind, "Using Term Rewriting Systems to Design and Verify Processors," Special issue of IEEE Micro on Modeling and Validation of Microprocessors, May/June 1999.

·       Arvind, J-W. Maessen, R.S. Nikhil, J.E. Stoy, "LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side effects," Electronic Notes in Theoretical Computer ScienceV16 #3. September 1998. (Proceedings of the Workshop on High-Level Concurrent Languages (HLCL) in Nice, France).

·       Shaw, A., Arvind, K.C. Cho, C. Hill, R.P. Johnson, and J. Marshall, "A Comparison of Implicitly Parallel Multithreaded and Data Parallel Implementations of an Ocean Model based on the Navier-Stokes Equations," Journal of Parallel and Distributed Computing, January 10, 1998.

·       Ariola, Zena M., and Arvind.  "Properties of First-Order Functional Languages with Sharing," Journal of Theoretical Computer Science, 146(1-2): 69-108, July 1995.

·       Hicks, J., D. Chiou, B. S. Ang and Arvind "Performance Studies of Id on the Monsoon Dataflow System," Journal of Parallel and Distributed Computing, special Dataflow Issue, July 1993.

·       Arvind and S. A. Brobst, "The Evolution of Dataflow Architectures from Static Dataflow to P-RISC," International Journal of High Speed Computing, Vol. 5, No. 2, 1993.

·       Arvind and R.S. Nikhil, "Executing a Program on the MIT Tagged-Token Dataflow Architecture," IEEE Transactions on Computers, 39(3): 300-318, March 1990.

·       Arvind, R. S. Nikhil and K.K. Pingali, "I-Structures: Data Structures for Parallel Computing," ACM Transactions on Programming Languages and Systems, 11(4): 598-632, October 1989.

·       Arvind, David E. Culler and G.K. Maa, "Assessing the Benefits of Fine-grain Parallelism in Dataflow Programs," The International Journal of Supercomputing Applications, Vol. 2, No. 3, November 1988.

·       Arvind and K. Ekanadham, "Future Scientific Programming on Parallel Machines," Journal of Parallel and Distributed Computing, Vol. 5, No. 5, October 1988.

·       Pingali, Keshav K., and Arvind, "Efficient Demand-Driven Evaluation (II)," ACM TOPLAS, Vol. 8, No. 1, January 1986.

·       Pingali, Keshav K., and Arvind, "Efficient Demand-Driven Evaluation (I)," ACM TOPLAS, Vol. 7, No. 2, April 1985.  Corrigendum):  ACM TOPLAS, Vol. 8, No. 1, January 1986.

·       Arvind and J. Dean Brock, "Resource Managers in Functional Programming," Journal of Parallel and Distributed Computing, Vol. 1, No. 1, June l984.

·       Arvind and K.P. Gostelow, "The U-interpreter," IEEE Computer, Vol. 15, No. 2, February 1982.

·       Agerwala, Tilak, and Arvind, "Dataflow Systems: Guest Editors Introduction," IEEE Computer, Vol. 15, No. 2, February 1982.

Conference Publications

·       Thomas Bourgeat, Clement Pit-Claudel, Adam Chipala, and Arvind, “The Essence of Bluespec”, PLDI 2020 (To Appear)

·       Thomas Bourgeat, I. Lebedev, A. Wright, S. Zhang, Arvind, and S. Devadas, ``MI6: Secure Enclaves in a Speculative Out-of-Order Processor'', 52nd International Symposium on Microarchitecture (MICRO 52), Columbus, OH, October 2019.

·       Chanwoo Chung, Jinhyung Koo, Junsu Im, Arvind, and Sungjin Lee, “LightStore: Software-defined Network-attached KV Drives”, ASPLOS 2019

·       Sizhuo Zhang, Andrew Wright, Thomas Bourgeat, and Arvind, “Composable Building Blocks to Open up Processor Design”, 51st International Symposium on Microarchitecture (MICRO 51), Fukuoka, Japan, October 22-24, 2018

·       Sang-Woo Jun, Andy Wright, Sizhuo Zhang, Shuotao Xu, and Arvind, “GraFBoost: Using accelerated flash storage for external graph analytics”, 45th International Symposium on Computer Architecture (ISCA 45), Los Angeles, CA, June 4-6, 2018

·       Sizhuo Zhang, Muralidaran Vijayaraghavan, Andrew Wright, Mehdi Alipour, and Arvind, “Constructing a Weak Memory Model”, 45th International Symposium on Computer Architecture (ISCA 45), Los Angeles, CA, June 4-6, 2018

·       Utsav Banerjee, Chiraag Juvekar, Andrew Wright, Arvind and Anantha P. Chandrakasan, “An Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications,” International Solid-State Circuits Conference (ISSCC), San Francisco CA, February 2018.

·       Sizhuo Zhang Muralidaran Vijayaraghavan and Arvind, “Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility”, International Conference on Parallel Architectures and Compilers (PACT 2017), Portland OR, September 2017

·       Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind, “Kami: A Platform for High-Level Parametric Hardware Specification and its Modular Verification”, International Conference on Functional Programming, Oxford, UK, September 3-9, 2017

·       Shuotao Xu, Sungjin Lee, Sang-Woo Jun, Ming Liu, Jamey Hicks, and Arvind “BlueCache: A Distributed Flash-based Key Value Store”, VLDB 2017, Munich Germany, August 29, 2017

·       Chanwoo Chung, Jinhyung Koo, Arvind, and Sungjin Lee, “Lightweight KV-based Distributed Store for Datacenters”, HotStorage’17, 9th USENIX Workshop on Hot Topics in Storage and File Systems, Santa Clara CA, July 10–11, 2017

·       Sang-Woo Jun, Shuotao Xu, and Arvind, “Terabyte Sort on FPGA-Accelerated Flash Storage”, FCCM, The 25th IEEE International Symposium on Field-Programmable Custom Computing Machines, Napa, CA, April 30 - May 2, 2017

·       Sang-Woo Jun, Huy T. Nguyen, Vijay Gadepally, and Arvind, “In-Storage Embedded Accelerator for Sparse Pattern Processing”, HPEC 2016, IEEE High Performance Extreme Computing Conference, Waltham, MA, Sept 13-15, 2016

·       Ming Liu, Sang-Woo Jun, Sungjin Lee, Jamey Hicks and Arvind, “minFlash: A Minimalistic Clustered Flash Array”, DATE 2016, Design, Automation and Test in Europe, Dresden, Germany, March 14-18, 2016

·       Sungjin Lee, Ming Liu, Sang-Woo Jun, Shuotao Xu, Jihong Kim, and Arvind, "Application-Managed Flash", FAST 2016, USENIX Conference on File and Storage Technologies, Santa Clara, CA, Feb. 22-26, 2016.

·       Sang-Woo Jun, Chanwoo Chung, and Arvind, “Large-scale high-dimensional nearest neighbor search using Flash memory with in-store processing”, ReConFig 2015, International Conference on ReConFigurable Computing and FPGAs, Mayan Riviera, Mexico, December 7-9, 2015`

·       Sang-Woo Jun, Ming Liu, Shuotao Xu and Arvind, “A Transport-Layer Network for Distributed FPGA Platforms”, FPL 2015, 25th International Conference on Field-programmable Logic and Applications, London, UK, September 2-4, 2015

·       Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, and Nirav Dave, “Modular Deductive Verification of Multiprocessor Hardware Designs”, 27th International Conference on Computer Aided Verification (CAV), San Francisco, CA, July 21-24, 2015

·       Sang-Woo Jun, Ming Liu, Sungjin Lee, Jamey Hicks, John Ankcorn, Myron King, Shuotao Xu, and Arvind, “BlueDBM: An Appliance for Big Data Analytics”, 42nd  International Symposium on Computer Architecture (ISCA), Portland, OR, June 15-17, 2015

·       Michal Karczmarek, Arvind and Muralidaran Vijayaraghavan, “A new synthesis procedure for atomic rules containing multi-cycle function blocks”, In Proceedings of the MEMOCODE 12, Lausanne, Switzerland, October 19-21, 2014

·       Agarwal, Abhinav and Hassanieh, Haitham and Abari, Omid and Hamed, Ezz and  Katabi, Dina and Arvind, “High-Throughput Implementation of a Million-Point Sparse Fourier Transform”, in Proceedings of 24th International Conference on Field Programmable Logic and Applications (FPL 2014), Munich, Germany, September 1-3, 2014

·       Sang Woo Jun, Ming Liu, Kermin Fleming, Arvind, “Scalable Multi-Access Flash Store for Big Data Analytics”, in Proceedings of the International Symposium on Field-Programmable Gate Arrays (FPGA 2014), Monterey, CA, February 26-28, 2014

·       Abhinav Agarwal and Arvind, “Leveraging rule-based designs for automatic power domain partitioning”, In Proceedings of ICCAD 2013, Santa Clara, CA, November 18-20, 2013

·       Muralidaran Vijayaraghavan, Nirav Dave and Arvind, “Modular Compilation of Guarded Atomic Actions” In Proceedings of the MEMOCODE 11, Portland, OR, October 18-20, 2013

·       Myron King, Asif Khan, Abhinav Agarwal, Oriol Arcas, Arvind,  “Automatic Generation of Hardware/Software Communication in FPGA Accelerated Applications”, in Proceedings of FPL13, Porto, Portugal, September 1-3, 2013

·       Asif Khan, Muralidaran Vijayaraghavan and Arvind, “A general technique for deterministic model-cycle-level debugging” In Proceedings of the MEMOCODE 10, Arlington, VA, July 16-17, 2012

·       Asif Khan, Muralidaran Vijayaraghavan, Silas Boyd-Wickizer and Arvind, “Fast and Cycle-Accurate Modeling of a Multicore Processor”, in Proceedings of International Symposium on Performance Analysis of Systems and Software (ISPASS 2012), New Brunswick, NJ, April 1-3, 2012

·       Myron King, Nirav Dave, and Arvind, “Automatic Generation of Hardware/Software Interfaces”  in Proceedings of Architectural Support for Programming Languages and Operating Systems (ASPLOS 2012), London, UK, March 5-7, 2012

·       K. Fleming, M. Adler, M. Pellauer, A. Parashar, Arvind and J. Emer, “Leveraging Latency-Insensitivity to Ease Multiple FPGA Design”, in Proceedings of the International Symposium on Field-Programmable Gate Arrays (FPGA 2012), Monterey, CA, February 22-24, 2012

·       Nirav Dave, Michael Katelman, Myron King, Arvind, and Jose Meseguer, “Verification of Microarchitectural Refinements in Rule-based Systems”, In Proceedings of the MEMOCODE 9, Cambridge, UK, July 11-13, 2011

·       Man Cheuk Ng, Kermin Elliott Fleming and  Arvind, “WiLIS: Architectural Modeling of Wireless Systems”, In Proceedings of International Symposium on Performance Analysis of Systems and Software (ISPASS 2011), Austin, TX, April 10-12, 2011

·       Man Cheuk Ng, Kermin Elliott Fleming, Mythili Vutukuru, Samuel Gross, Arvind, and Hari Balakrishnan, “Layering for Cross-Layer Wireless Protocols”, In Proceedings of Architectures for Networking and Communications Systems (ANCS 2010), San Diego, CA, October 25-26, 2010. ( Best paper award)

·       Nirav Dave, Man Cheuk Ng, Michael Pellauer, and Arvind “A Design Flow Based on Modular Refinement”, In Proceedings of the MEMOCODE 8, Grenoble, France, July 24-28, 2010

·       Muralidaran Vijayaraghavan, and Arvind, “Bounded Dataflow Networks and Latency-Insensitive Circuits”, In Proceedings of the MEMOCODE  7, MIT, Cambridge, MA July 13-15 2009

·       Kattamuri Ekanadham, Jessica H. Tseng, Pratap Pattnaik, Asif Khan, Murali Vijayaraghavan, Arvind, “A PowerPC Design for Architectural Research Prototyping”, In Proceedings of WARP 2009,  Austin, TX, June 19, 2009

·       Michal Karczmarek and Arvind, “Synthesis from Multi-Cycle Atomic Actions as a Solution to the Timing Closure Problem”, In Proceedings of ICCAD 2008, Santa Clara, CA, November 2008

·       Kermin Elliott Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks, “Design Exploration in H.264”, In Proceedings of the MEMOCODE  6, Anaheim, CA June 2008

·       Arvind, Nirav Dave, and Michael Katelman, “Getting Formal Verification into Design Flow”, In Proceedings of Formal Methods 15 (FM 15), LNCS 5014, Turku, Finland. May 26-30, 2008

·       Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, and Joel Emer, “Quick Performance Models Quickly: Closely-Coupled Partitioned Simulation on FPGAs”, In Proceedings of the IEEE ISPASS 2008, Austin, TX, April 20-22, 2008

·       Michael Pellauer, Muralidaran Vijayaraghavan, Michael Adler, Arvind, and Joel Emer, “A-Ports: An Efficient Abstraction for Cycle-Accurate Performance Models on FPGAs”, In Proceedings of the ACM ISFPGA 16, Monterey, CA, February 24-26, 2008

·       Nirav Dave, Arvind and Michael Pellauer, “Scheduling as Rule Composition”, In Proceedings of the MEMOCODE 5, Nice, France, May 2007

·       Man C. Ng, Murali Vijayaraghavan, Gopal Raghavan, Nirav Dave, Jamey Hicks, Arvind, “From WiFi toWiMAX: Techniques for IP Reuse across Different OFDM Protocols”,   In Proceedings of the MEMOCODE 5, Nice, France, May 2007

·       Nirav Dave, Michael Pellauer, Steve Gerding and Arvind, “802.11a Transmitter: A Case Study in Microarchitectural Exploration”, In Proceedings of the MEMOCODE 4, Napa, CA, July 2006

·       Arvind and Jan-Willem Maessen, “Memory Models = Instruction Reordering + Store Atomicity”, In Proceedings of the 33rd International Symposium on Computer Architecture (ISCA 33), Boston, MA , June 2006

·       Daniel L. Rosenband and Arvind, “Hardware Synthesis from Guarded Atomic Actions with Performance Specifications”, In Proceedings of the ICCAD 2005, San Jose, CA, November 2005

·       Ryan Newton, Arvind, and Matt Welsh, “Building up to Macroprogramming: An Intermediate Language for Sensor Networks”, In Proceedings of the Fourth International Conference on Information Processing in Sensor Networks (IPSN'05), April 2005.

·       Nirav Dave, Man Cheuk Ng, and Arvind, “Automatic Synthesis of Cache-Coherence Protocol Processors Using Bluespec”, In Proceedings of the MEMOCODE 3, Verona, Italy, July 2005

·       Arvind, Nirav Dave, R.S. Nikhil, and Daniel Rosenband, “High-level synthesis: An Essential Ingredient for Designing Complex ASICs”, In Proceedings of the ICCAD 2004, Santa Clara, CA, November 2004.

·       Daniel L. Rosenband and Arvind, “Modular Scheduling of Guarded Atomic Actions”, In Proceedings of the DAC41, San Diego, CA, June 2004.

·       Hari Balakrishnan, Srinivas Devadas, Doug Ehlert and Arvind, “Rate Guarantees and Overload Protection in Input-Queued Switches”, In Proceedings of  the IEEE Infocom, Hongkong, March 2004.

·       Arvind, “Bluespec: A Language for hardware design, simulation, synthesis and verification”, Extended Abstract, In Proceedings of MEMOCODE 1, ACM, June 2003

·       Joseph Stoy, Xiaowei Shen and Arvind, “Proofs of Correctness of Cache-Coherence Protocols,” In Proceedings of FME2001: Formal Methods for Increasing Software Productivity, Berlin, Germany, March 2001. (LNCS 2021)

·       James Hoe and Arvind, "Scheduling and Synthesis of Operation-Centric Hardware Descriptions," In proceedings of ICCAD-2000, San Jose, CA, November 2000.

·       Jan-Willem Maessen, Arvind and Xiaowei Shen, “Improving the Java Memory Model Using CRF”, In Proceedings of OOPSLA 2000, Minneapolis, MN, October 2000.

·       B. S. Ang, D. Chiou, L. Rudolph and Arvind, "Micro-Architectures of High Performance, Muli-User System Area Network Interface Cards," In Proceedings of The International Conference on Parallel and Distributed Processing Systems (IPDPS), Cancun, Mexico, May 2000.

·       James Hoe and Arvind, "Hardware Synthesis from Term Rewriting Systems," In proceedings of VLSI'99, Lisbon, Portugal, December 1999.

·       Xiaowei Shen, Arvind and Larry Rudolph, "CACHET: An Adaptive Cache Coherence Protocol for Distributed Shared-Memory Systems," In proceedings of the 13th ACM SIGARCH International Conference on Supercomputing, Rhodes, Greece, June 1999.

·       Xiaowei Shen, Arvind and Larry Rudolph, "CRF: A New Memory Model for Architects and Compiler Writers," In proceedings of 26th International Symposium on Computer Architecture (ISCA 26), Atlanta, GA, May 1999.

·       B. S. Ang, D. Chiou, L. Rudolph and Arvind, "Message Passing Support on StarT-Voyager," In Proceedings of The International Conference on High Performance Computing, Madras, India, December 1998.

·       B. S. Ang, D. Chiou, D. L. Rosenband, M. Ehrlich, L. Rudolph and Arvind. "StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues." In Proceedings of Supercomputing Conference 1998, Orlando, FL, November 1998.

·       B. S. Ang, D. Chiou, L. Rudolph, and Arvind, "The StarT-Voyager Parallel System," In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 1998.

·       Xiaowei Shen, and Arvind, "Design and Verification of Speculative Processors," Proceedings of the Workshop on Formal Techniques for Hardware and Hardware-like Systems, Marstrand, Sweden, June 1998.

·       Xiaowei Shen and Arvind, "Modeling and Verification of ISA Implementations," Proceedings of the Australasian Computer Architecture Conference, Perth, Australia, February 1998

·       Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil and Joseph. E. Stoy, "A Lambda Calculus with Letrecs and Barriers", Proceedings of the 16th conference Foundations of Software Technology and Theoretical Computer, FSTTCS-16, Hydrabad, India, December 1996.(LNCS 1180)

·       Arvind, J.W. Maessen, R.S. Nikhil and Joe Stoy, "Lambda-S: an Implicitly Parallel Lambda-Calculus with Letrec, Synchronization and Side-Effects," November 1996, Based on paper submitted to ICFP '97.

·       Arvind, Alejandro Caro, Jan-Willem Maessen and Shail Aditya , "A Multithreaded Substrate and Compilation Model for the Implicitly Parallel Language pH" , Proceedings of the 1996 Workshop  on Languages and Compilers for Parallel Computing , LCPC-96, San Jose, CA, August 1996.(also CSG-Memo-382)

·       Andrew Shaw, Arvind and R. Paul Johnson, "Performance Tuning Scientific Codes for Dataflow Execution", Proceedings of the 1996 Conference on Parallel Architectures and Compilation Techniques, PACT’96, Boston, MA, October 1996.

·       Chiou , D. , B.S. Ang,  R. Greiner, Arvind, J.C. Hoe,  M.J. Bekerle, J.E. Hicks and G.A. Boughton,   "StarT-NG: Delivering Seemless Parallel Computing" ,   Proceedings of the First International EURO-PAR Conference, Stockholm, Sweden, August 1995, (LNCS 966, Springer).

·       Aditya, S., Arvind and J. Stoy, "Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language." Proceedings of the Conference on Functional Programming Languages and Computer Architecture, San Diego, CA, June, 1995.

·       Arvind, B.S. Ang and D. Chiou.  "StarT the Next Generation:  In the Real World"   Proceedings of the International Conference on Computer Systems and Education, IISc, Bangalore, India, June 1994, (Tata-McGraw Hill)

·       Ang, B.S., Arvind, and D. Chiou,  "StarT the Next Generation: Integrating Global Caches and Dataflow Architecture," February 1994; Proceedings of the IEEE Dataflow Workshop, Hamilton Island, Australia, May 1992 (to be published).

·       Ariola, Z., and Arvind, "Graph Rewriting Systems for Efficient Compilation," in Term Graph Rewriting: Theory and Practice.  Eds. M.R. Sleep, M.J. Plasmeijer, and M.C.J.D. van Eeckelen.  Chichester:  John Wiley and Sons, 1993.  pp. 77-90.

·       Nikhil, R.S, G. M. Papadopoulos and Arvind, "*T: A Multithreaded Massively Parallel Architecture," Proceedings of the 1992 International Symposium on Computer Architecture, Queensland, Australia, May 1992.

·       Nikhil, R.S., and Arvind, "Id: a language with implicit parallelism," in A Comparative Study of Parallel Programming Languages: The Salishan Problems.  Ed. John Feo.  Amsterdam, New York:  North-Holland, 1992.  pp. 169-215.

·       Ariola, Z.M., and Arvind.  "Compilation of Id," Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing Semantics Based Program Manipulations, Santa Clara, CA, August 1991. (LNCS 589, Springer-Verlag)

·       Barth, P.S., R. S. Nikhil and Arvind. "M-Structures:  Extending a Parallel, Non-strict, Functional Language with State," Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Cambridge, MA, August 1991. (LNCS 523, Springer-Verlag)

·       Ariola, Z.M., and Arvind, "A Syntactic Approach to Program Transformations," Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, CT, June 17-19, 1991.

·       Arvind and R. S. Nikhil, "A Dataflow Approach to General Purpose Computing," in Research Directions: An MIT Perspective, Meyer, A.R., Guttag, J.V., Rivest, R.L., and Szolovits, P., eds.  MIT Press, Cambridge, MA, 1991, pp. 93-128.

·       Arvind, L. Bic and T. Ungerer.  "Evolution of Data-Flow Computers," in Advanced Topics in Data-Flow Computing, Gaudiot, J.L. and Bic, L., eds.  Prentice-Hall, Inc., Englewood Cliffs, NJ; 1991, pp. 3-33.

·       Ariola, Z.M., and Arvind, "P-TAC: A Parallel Intermediate Language," Proceedings of the Conference on Functional Languages and Computer Architecture, London, England, September 1989.

·       Nikhil, R.S., and Arvind, "Can Dataflow Subsume von Neumann Computing?," Proceedings of the 16th International Symposium on Computer Architecture, Jerusalem, Israel, May 1989.

·       Arvind, Steven K. Heller, and R.S. Nikhil, "Programming Generality and Parallel Computers," Proceedings of the Fourth International Symposium on Biological and Artificial Intelligence Systems, Trento, Italy, September 1988. (ESCOM Publications).

·       Arvind, David E. Culler, and K., Ekanadham, "The Price of Asynchronous Parallelism: An Analysis of Dataflow Architectures," Proceedings of CONPAR, Manchester, U.K., September 12-16, 1988.

·       Culler, D.E., and Arvind, "Resource Requirements of Dataflow Programs," Proceedings of the 15th Annual Symposium on Computer Architecture, Honolulu, Hawaii, May 31-June 2, 1988.

·       Arvind and Robert A. Iannucci, "Two Fundamental Issues in Multiprocessing," Proceedings of DFVLR - Conference 1987 on "Parallel Processing in Science and Engineering, Bonn-Bad Godesberg, W. Germany, June 25-26, 1987.  (LNCS Volume 295, Springer-Verlag).

·       Arvind and Rishiyur S. Nikhil, "Executing a Program on the MIT Tagged-Token Dataflow Architecture," Proceedings of the PARLE Conference, Eindhoven, Netherlands. June 15-19 1987. (LNCS Volume 259, Springer-Verlag).

·       Arvind and Kattamuri Ekanadham, "Future Scientific Programming on Parallel Machines," Proceedings of the International Conference on Supercomputing (ICS), Athens, Greece. June 8-12 1987.

·       Arvind, Rishiyur S. Nikhil and Keshav K. Pingali, "I-Structures: Data Structures for Parallel Computing," Proceedings of the Graph Reduction Workshop Santa Fe, NM.   October 1986. (LNCS Volume 279, Springer-Verlag).

·       Arvind and David E. Culler, "Dataflow Architectures," Annual Review of Computer Science, Vol. 1, pages 225-253, Annual Reviews Inc., Palo Alto, CA, 1986.

·       Arvind and David E. Culler, "Managing Resources in a Parallel Machine," Proceedings of IFIP TC-10 Working Conference on Fifth Generation Computer Architecture, Manchester, England, North-Holland Publishing Company, July 15-18, 1985.

·       Papadopoulos, Gregory M., and Arvind, "Dataflow Models for Fault-Tolerant Control Systems," American Control Conference Proceedings, San Diego, CA, June 6-8, 1984.

·       Arvind, Vinod K. Kathail and Keshav K. Pingali,  "Sharing of Computation in Functional Language Implementations," Proceedings of International Workshop on High-level Computer Architecture, Los Angeles, CA, May 21-25, l984.

·       Arvind and Robert A. Iannucci, "A Critique of Multiprocessing von Neumann Style," Proceedings of the 10th International Symposium on Computer Architecture, Stockholm, Sweden, June 14-17, 1983.

·       Arvind and J. Dean Brock, "Streams and Managers," Lecture Notes in Computer Science, Vol. 143, Springer-Verlag, June 1982.

·       Arvind and Vinod K. Kathail, "A Multiple Processor Dataflow Machine that Supports Generalized Procedures," Proceedings of the 8th International Symposium on Computer Architecture, Minneapolis, MN, May 13-14, 1981.

·       Arvind, "Decomposing a Program for Multiple Processor Systems," Proceedings of 1980 International Conference on Parallel Processing, Boyne Highlands, Michigan, August 1980.

·       Arvind, Kim P. Gostelow, and Wil Plouffe, "Indeterminacy, Monitors, and Dataflow," Proceedings of the 6th Symposium on Operating Systems Principles, Purdue University, Lafayette, Indiana, November 16-18, 1977.

·       Arvind and Kim P. Gostelow, "The Semantics of Asynchrony: The Relationships Between Two Different Interpreters of a Programming Language," Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, New Brunswick, Canada, North-Holland Publishing Company, August 1-5, 1977.

·       Arvind and Kim P. Gostelow, "A Computer Capable of Exchanging Processing Elements for Time," Information Processing 77, B. Gilchrist, ed., North-Holland Publishing Company, 1977.

·       Arvind, R. Y. Kain, and E. Sadeh, "On Reference String Generation Processes," Proceedings of the 4th Symposium on Operating Systems Principles, Yorktown Heights, New York, October 15-17, 1973.