@inproceedings{SEFM-2017-TomascoN0TP,
	author        = "Ermenegildo Tomasco and Truc Lam Nguyen and Bernd Fischer 0002 and Salvatore La Torre and Gennaro Parlato",
	booktitle     = "{Proceedings of the 15th International Conference on Software Engineering and Formal Methods}",
	doi           = "10.1007/978-3-319-66197-1_12",
	ee            = "https://www.wikidata.org/entity/Q57658735",
	isbn          = "['978-3-319-66196-4', '978-3-319-66197-1']",
	pages         = "185--202",
	publisher     = "{Springer}",
	title         = "{Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models}",
	year          = 2017,
}