@article{gladshtein_mechanised_2024,
	title = "Mechanised Hypersafety Proofs about Structured Data",
	volume = "8",
	url = "http://commit.csail.mit.edu/papers/2024/gladshtein-mechanised-2024.pdf",
	doi = "10.1145/3656403",
	journal = "PLDI",
	author = "Gladshtein, Vladimir and Zhao, Qiyuan and Ahrens, Willow and Amarasinghe, Saman and Sergey, Ilya",
	month = "Jun",
	year = "2024",
	keywords = "Computer Science - Programming Languages, Computer Science - Logic in Computer Science",
	pages = "173:647--173:670",
}