Follow
Samuel Gruetter
Samuel Gruetter
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
The essence of dependent object types
N Amin, S Grütter, M Odersky, T Rompf, S Stucki
A List of Successes That Can Change the World, 249-272, 2016
862016
VST-Floyd: A separation logic tool to verify correctness of C programs
Q Cao, L Beringer, S Gruetter, J Dodds, AW Appel
Journal of Automated Reasoning 61 (1), 367-422, 2018
672018
Integration verification across software and hardware for a simple embedded system
A Erbsen, S Gruetter, J Choi, C Wood, A Chlipala
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
152021
A multipurpose formal risc-v specification
T Bourgeat, I Clester, A Erbsen, S Gruetter, A Wright, A Chlipala
arXiv preprint arXiv:2104.00762, 2021
82021
Improving the Coq proof automation tactics of the Verified Software Toolchain, based on a case study on verifying a C implementation of the AES encryption algorithm
S Grütter
Princeton University, 2017
3*2017
Short paper: Towards information flow reasoning about real-world C code
S Gruetter, T Murray
Proceedings of the 2017 Workshop on Programming Languages and Analysis for …, 2017
12017
VST-Flow: Fine-grained low-level reasoning about real-world C code
S Gruetter, T Murray
arXiv preprint arXiv:1709.05243, 2017
12017
Watch them fight! Creativity task tournaments of the Swiss Olympiad in Informatics
S Grütter, D Graf, B Schmid
Olympiads in Informatics 10, 73-85, 2016
12016
Omnisemantics: Smoother Handling of Nondeterminism
A Charguéraud, A Chlipala, A Erbsen, S Gruetter
2022
CPS Semantics: Smoother Nondeterminism in Operational Semantics
A Charguéraud, A Chlipala, A Erbsen, S Gruetter
2021
CPS Semantics: Smoother Nondeterminism in Operational Semantics
A CHLIPALA, A ERBSEN, S GRUETTER
The system can't perform the operation now. Try again later.
Articles 1–11