Ariadne Si Suo

Name:	Ariadne Si Suo
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	30 May 2025, 9:32 p.m.

Public lists managed by Ariadne Si Suo

Talks given by Ariadne Si Suo

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Type Checking is Proof Reductions in Classical Linear Logic

Talks organised by Ariadne Si Suo

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Ariadne Si Suo actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• SANDWICH Day
• Automated Methods for Logic-Based Higher-Order Program Verification
• PNVI-ae-udi: the last (most recent) C memory object model
• A Computer Architect's Attempt at Using Type Theoretic Concepts to Model Branch Predictors
• Toward a liquid call-by-push-value
• The 2-Category of Graded Monads
• A Typed, Algebraic Approach to Parsing
• Skew structure in categories
• Free algebras for free theories
• What does it take to certify a conversion checker?
• The Denotational Semantics of SSA
• Decision Procedures for Bitvector Reasoning in Lean
• Unrolling Lists
• Do You Really Understand Incompleteness?
• Executable Separation Logic Specifications in CN
• Toward a Coq formalisation of the Arm architecture
• On the Operational Theory of the CPS-Calculus
• Traversing the Eckmann-Hilton Hyperclock