@inproceedings{ASPLOS-2012-KingDA,
	author        = "Myron King and Nirav Dave and Arvind",
	booktitle     = "{Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/2150976.2151011",
	isbn          = "978-1-4503-0759-8",
	pages         = "325--336",
	publisher     = "{ACM}",
	title         = "{Automatic generation of hardware/software interfaces}",
	year          = 2012,
}