Articles with public access mandates - Samuel GruetterLearn more
Available somewhere: 6
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, 367-422, 2018
Mandates: US National Science Foundation, US Department of Defense
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: Essays Dedicated to Philip …, 2016
Mandates: Swiss National Science Foundation, European Commission
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
Mandates: US National Science Foundation
Flexible instruction-set semantics via abstract monads (experience report)
T Bourgeat, I Clester, A Erbsen, S Gruetter, P Singh, A Wright, A Chlipala
Proceedings of the ACM on Programming Languages 7 (ICFP), 108-124, 2023
Mandates: US National Science Foundation, US Department of Defense
Verifying Software Emulation of an Unsupported Hardware Instruction
S Gruetter, T Bourgeat, A Chlipala
15th International Conference on Interactive Theorem Proving (ITP 2024), 17 …, 2024
Mandates: US National Science Foundation
Foundational Integration Verification of a Cryptographic Server
J PHILIPOOM, D JAMNER, A LIN, S GRUETTER, C PIT-CLAUDEL, ...
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program