From b8ad033885878bbf7cad3d50d260d10c6895e2ab Mon Sep 17 00:00:00 2001 From: Guillaume Allais Date: Fri, 2 Feb 2024 13:44:46 +0000 Subject: [PATCH] [ 101 ] Bob's talk --- _101.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_101.json b/_101.json index 8043ba00..d5222715 100644 --- a/_101.json +++ b/_101.json @@ -172,8 +172,8 @@ "speakerurl": "", "institute": "MSP", "insturl": "", - "title": "TBD", - "abstract": "", + "title": "Stable domain theory, Program slicing, and Automatic Differentiation", + "abstract": "I'll talk about a connection I think I've discovered between stable domain theory and program slicing by Galois Connections. Stable domain theory considers a refinement of continuous functions between domains that captures the intuitive idea that a "nice" computable functions that produce values must do so by only looking at part of their input, and that part must be uniquely determined. The same idea turns up in Perera et al.'s formulation of program slicing as Galois connections. I'll try to connect the two via ideas from Automatic Differentiation.", "location": "LT209 and Online", "material": [] },