@InProceedings{Cuttlesim+ASPLOS2021,
  author       = {Pit-Claudel, Clément and Bourgeat, Thomas and Lau, Stella and
                  Chlipala, Adam and Arvind},
  title        = {Effective Simulation and Debugging for a High-Level Hardware
                  Language Using Software Compilers},
  booktitle    = {Proceedings of the Twenty-Sixth International Conference on
                  Architectural Support for Programming Languages and Operating
                  Systems, Virtual, April 19-23, 2021},
  series       = {{ASPLOS} 2021},
  year         = 2021,
  editor       = {Tim Sherwood and Emery Berger and Christos Kozyrakis},
  publisher    = {Association for Computing Machinery},
  url          = {https://pit-claudel.fr/clement/papers/cuttlesim-ASPLOS21.pdf},
}