The following pages link to Aleksandr Karbyshev (Q2324193):
Displaying 9 items.
- (Q1702928) (redirect page) (← links)
- Property-directed inference of universal invariants or proving their absence (Q1702932) (← links)
- Compositional non-interference for concurrent programs via separation and framing (Q2324194) (← links)
- Decentralizing SDN Policies (Q2819856) (← links)
- Decidability of inferring inductive invariants (Q2828258) (← links)
- Property-Directed Inference of Universal Invariants or Proving Their Absence (Q3177887) (← links)
- What Is a Pure Functional? (Q3587439) (← links)
- On Monadic Parametricity of Second-Order Functionals (Q4910422) (← links)
- Verifying a Local Generic Solver in Coq (Q4930738) (← links)
