@inproceedings{ASPLOS-2018-RahmaniDMMJMD,
	author        = "Amir M. Rahmani and Bryan Donyanavard and Tiago Mück and Kasra Moazzemi and Axel Jantsch and Onur Mutlu and Nikil D. Dutt",
	booktitle     = "{Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/3173162.3173199",
	pages         = "169--183",
	publisher     = "{ACM}",
	title         = "{SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management}",
	year          = 2018,
}