|
[10]
|
Samuel Gruetter, Thomas Bourgeat, and Adam Chlipala.
Verifying Software Emulation of an Unsupported Hardware
Instruction.
15th International Conference on Interactive Theorem Proving
(ITP 2024), 309, September 2024.
[ DOI |
PDF |
code ]
|
|
[9]
|
Samuel Gruetter, Viktor Fukala, and Adam Chlipala.
Live Verification in an Interactive Proof Assistant.
Proceedings of the ACM on Programming Languages, 8(PLDI), June
2024.
[ DOI |
PDF |
code ]
|
|
[8]
|
Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter,
Clément Pit-Claudel, and Adam Chlipala.
Foundational Integration Verification of a Cryptographic
Server.
Proceedings of the ACM on Programming Languages, 8(PLDI), June
2024.
[ DOI |
PDF |
code ]
|
|
[7]
|
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh,
Andy Wright, and Adam Chlipala.
Flexible Instruction-Set Semantics via Abstract Monads
(Experience Report).
Proceedings of the ACM on Programming Languages, 7(ICFP),
August 2023.
[ DOI |
PDF |
code ]
|
|
[6]
|
Arthur Charguéraud, Adam Chlipala, Andres Erbsen, and Samuel Gruetter.
Omnisemantics: Smooth Handling of Nondeterminism.
ACM Transactions on Programming Languages and Systems, 45(1),
March 2023.
[ DOI |
PDF |
code ]
|
|
[5]
|
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala.
Integration Verification Across Software and Hardware for a
Simple Embedded System.
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International
Conference on Programming Language Design and Implementation, June 2021.
[ DOI |
PDF |
code ]
|
|
[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), June 2018.
[ DOI |
PDF |
code ]
|
|
[3]
|
Samuel Gruetter and Toby Murray.
Short Paper: Towards Information Flow Reasoning about
Real-World C Code.
PLAS '17: Proceedings of the 2017 Workshop on Programming
Languages and Analysis for Security, October 2017.
[ DOI |
PDF |
code ]
|
|
[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), July 2016.
[ DOI |
PDF |
code ]
|
|
[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, Lecture Notes in
Computer Science LNTCS, volume 9600, March 2016.
[ DOI |
PDF |
code ]
|