Search

Your search keyword '"Gruetter, Samuel"' showing total 15 results

Search Constraints

Start Over You searched for: Author "Gruetter, Samuel" Remove constraint Author: "Gruetter, Samuel"
15 results on '"Gruetter, Samuel"'

Search Results

1. Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models

2. Flexible Instruction-Set Semantics via Type Classes

3. VST-Flow: Fine-grained low-level reasoning about real-world C code

5. The Essence of Dependent Object Types

7. Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)

8. Omnisemantics: Smoother Handling of Nondeterminism

10. Integration verification across software and hardware for a simple embedded system

11. CPS Semantics: Smoother Nondeterminism in Operational Semantics

12. VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Catalog

Books, media, physical & digital resources