[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 ]
|