Search

Your search keyword '"Hsu, Justin"' showing total 29 results

Search Constraints

Start Over You searched for: Author "Hsu, Justin" Remove constraint Author: "Hsu, Justin" Topic computer science - logic in computer science Remove constraint Topic: computer science - logic in computer science
29 results on '"Hsu, Justin"'

Search Results

1. A Categorical Approach to DIBI Models

2. Separated and Shared Effects in Higher-Order Languages

3. A Separation Logic for Negative Dependence

4. A Quantum Interpretation of Bunched Logic for Quantum Separation Logic

5. A Bunched Logic for Conditional Independence

6. A Probabilistic Separation Logic

7. Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time

8. A Pre-Expectation Calculus for Probabilistic Sensitivity

9. Relational Proofs for Quantum Programs

10. Formal verification of higher-order probabilistic programs

11. Convex Language Semantics for Nondeterministic Probabilistic Automata

12. An Assertion-Based Program Logic for Probabilistic Programs

13. Almost Sure Productivity

14. Probabilistic Couplings for Probabilistic Reasoning

15. Approximate Span Liftings

16. Proving Expected Sensitivity of Probabilistic Programs

17. Relational $\star$-Liftings for Differential Privacy

18. A Semantic Account of Metric Preservation

19. Proving uniformity and independence by self-composition and coupling

20. Coupling proofs are probabilistic product programs

21. Advanced Probabilistic Couplings for Differential Privacy

22. A program logic for union bounds

23. Proving Differential Privacy via Probabilistic Couplings

24. Relational reasoning via probabilistic coupling

25. Really Natural Linear Indexed Type Checking

26. Computer-aided verification in mechanism design

27. Proving differential privacy in Hoare logic

28. Relational $\star$-Liftings for Differential Privacy

29. Relational ���-Liftings for Differential Privacy

Catalog

Books, media, physical & digital resources