The following pages link to Cătălin Hriţcu (Q2324195):
Displayed 11 items.
- The meaning of memory safety (Q2324196) (← links)
- Dependent types and multi-monadic effects in F* (Q2828265) (← links)
- Union and Intersection Types for Secure Protocol Implementations (Q2902912) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- Foundational Property-Based Testing (Q2945645) (← links)
- A Step-indexed Semantics of Imperative Objects (Q3401137) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Semantic subtyping with an SMT solver (Q5176932) (← links)
- Dijkstra monads for free (Q5370885) (← links)
- A verified information-flow architecture (Q5408414) (← links)
- Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (Q6091296) (← links)