What is the title of the publication co-authored by Arvind and Lennart Augustsson in which they developed the programming language Bluespec SystemVerilog (BSV)?
Bluespec and Haskell
Xiaowei Shen et al.: CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. (2001) authored by Arvind. Abhinav Agarwal et al.: High-throughput implementation of a million-point sparse Fourier Transform. (2014) authored by Arvind. Akanksha Gautam et al.: Experimental demonstration of the dynamics of quantum coherence evolving under a  Arvind. Akshay Gaikwad et al.: Efficient experimental characterization of quantum processes via compressed sensing on an NMR quantum processor. (2012) authored by Arvind. Michael Pellauer et al.: A transport-layer network for distributed FPGA platforms. (2015) authored by Arvind. Xuhao Chen et al.: FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. (2001) authored by Arvind. Hari Balakrishnan et al.: Rate Guarantees and Overload Protection in Input-Queued Switches. (2001) authored by Arvind. Xuhao Chen et al.: A new synthesis procedure for atomic rules containing multi-cycle function blocks. Monsoons were installed at Los Alamos National Laboratory and other universities before he retired to the Computer History Museum in California. I. <unk>nArvind was the first to occupy the N., headquartered in Waltham, Massachusetts. In 1978, he joined the MIT faculty.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What is the title of the publication co-authored by Arvind and Lennart Augustsson in which they developed the programming language Bluespec SystemVerilog (BSV)?
Context: Xiaowei Shen et al.: CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. (2001) authored by Arvind. Abhinav Agarwal et al.: High-throughput implementation of a million-point sparse Fourier Transform. (2014) authored by Arvind. Akanksha Gautam et al.: Experimental demonstration of the dynamics of quantum coherence evolving under a  Arvind. Akshay Gaikwad et al.: Efficient experimental characterization of quantum processes via compressed sensing on an NMR quantum processor. (2012) authored by Arvind. Michael Pellauer et al.: A transport-layer network for distributed FPGA platforms. (2015) authored by Arvind. Xuhao Chen et al.: FlexMiner: A Pattern-Aware Accelerator for Graph Pattern Mining. (2001) authored by Arvind. Hari Balakrishnan et al.: Rate Guarantees and Overload Protection in Input-Queued Switches. (2001) authored by Arvind. Xuhao Chen et al.: A new synthesis procedure for atomic rules containing multi-cycle function blocks. Monsoons were installed at Los Alamos National Laboratory and other universities before he retired to the Computer History Museum in California. I. <unk>nArvind was the first to occupy the N., headquartered in Waltham, Massachusetts. In 1978, he joined the MIT faculty.
[/INST] Answer:
