[5]	Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala. Integration Verification Across Software and Hardware for a Simple Embedded System. PLDI'21, 2021. [ bib | DOI | pdf ]
[4]	Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds, and Andrew W. Appel. VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. Journal of Automated Reasoning, 61(1-4):367--422, June 2018. [ bib | DOI | pdf ]
[3]	Samuel Gruetter and Toby Murray. Short Paper: Towards Information Flow Reasoning about Real-World C Code. In Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security - PLAS '17, pages 43--48, Dallas, Texas, USA, 2017. ACM Press. [ bib | DOI | pdf ]
[2]	Samuel Gruetter, Daniel Graf, and Benjamin Schmid. Watch them Fight! Creativity Task Tournaments of the Swiss Olympiad in Informatics. Olympiads in Informatics, 10(1):73--85, July 2016. [ bib | DOI | pdf ]
[1]	Nada Amin, Samuel Gruetter, Martin Odersky, Tiark Rompf, and Sandro Stucki. The Essence of Dependent Object Types. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, pages 249--272, 2016. [ bib | DOI | pdf ]