John Longley, Topics in Computability, Lecture 4: Computability Theory of PCF
LFCS Seminar
John Longley, Topics in Computability, Lecture 4: Computability Theory of PCF
1:03:59
John Longley, Topics in Computability, Lecture 3: Plotkin's PCF and its Sublanges
LFCS Seminar
John Longley, Topics in Computability, Lecture 3: Plotkin's PCF and its Sublanges
1:17:48
John Longley, Topics in Computability, Lecture 2: The Dialectica Interpretation
LFCS Seminar
John Longley, Topics in Computability, Lecture 2: The Dialectica Interpretation
1:16:52
John Longley, Topics in Computability, Lecture 1: Goedel's System T
LFCS Seminar
John Longley, Topics in Computability, Lecture 1: Goedel's System T
1:05:53
Satnam Singh: Accelerating Large Language Models with Groq's LPU Machine Lear
LFCS Seminar
Satnam Singh: Accelerating Large Language Models with Groq's LPU Machine Lear
51:36
Phil Chodrow: Nonbacktracking spectral clustering of nonuniform hypergraphs
LFCS Seminar
Phil Chodrow: Nonbacktracking spectral clustering of nonuniform hypergraphs
53:31
Christine Rizkallah: Facilitating verified software development
LFCS Seminar
Christine Rizkallah: Facilitating verified software development
53:45
Usama Sardar: Specification and Formal Analysis of Attestation Mechanisms in Confidential Computing
LFCS Seminar
Usama Sardar: Specification and Formal Analysis of Attestation Mechanisms in Confidential Computing
1:08:32
Ori Lahav: Whats decidable about causally consistent shared memory
LFCS Seminar
Ori Lahav: Whats decidable about causally consistent shared memory
50:07
Vikraman Choudhury: Continuations and Co exponentials
LFCS Seminar
Vikraman Choudhury: Continuations and Co exponentials
49:03
Thorsten Altenkirch: How to define type theories?
LFCS Seminar
Thorsten Altenkirch: How to define type theories?
59:11
Jacques Carette: From structured theories to efficient code in 6 easy steps
LFCS Seminar
Jacques Carette: From structured theories to efficient code in 6 easy steps
57:58
Stephanie Weirich: A Dependent Dependency Calculus
LFCS Seminar
Stephanie Weirich: A Dependent Dependency Calculus
58:49
Paul Blain Levy: Numbered Recursion: Operational and Denotational Semantics
LFCS Seminar
Paul Blain Levy: Numbered Recursion: Operational and Denotational Semantics
54:27
Yotam Feldman: Property Directed Reachability as Abstract Interpretation in the Monoton
LFCS Seminar
Yotam Feldman: Property Directed Reachability as Abstract Interpretation in the Monoton
51:31
Jamie Gabbay: An overview of my claimed proof of consistency of Quine's New Foundations
LFCS Seminar
Jamie Gabbay: An overview of my claimed proof of consistency of Quine's New Foundations
1:01:00
Ian Benson: Early algebra, domain specific languages and cryptomorphism
LFCS Seminar
Ian Benson: Early algebra, domain specific languages and cryptomorphism
51:24
Gail Weiss: Thinking like Transformers
LFCS Seminar
Gail Weiss: Thinking like Transformers
53:50
William J Bowman: Compilation as Multi Language Semantics
LFCS Seminar
William J Bowman: Compilation as Multi Language Semantics
56:34
Leopoldo Bertossi: Score Based Explanations for Classification Results
LFCS Seminar
Leopoldo Bertossi: Score Based Explanations for Classification Results
51:17
Ningning Xie: Perceus: garbage free reference counting with reuse
LFCS Seminar
Ningning Xie: Perceus: garbage free reference counting with reuse
51:36
Paige Randall North: Directed homotopy type theory
LFCS Seminar
Paige Randall North: Directed homotopy type theory
1:04:32
Oleg Kisleyov: Many more predecessors - a representation workout
LFCS Seminar
Oleg Kisleyov: Many more predecessors - a representation workout
1:01:57
Ron Pressler: the design of user mode threads in Java
LFCS Seminar
Ron Pressler: the design of user mode threads in Java
59:20
Amr Sabry: Programming with Negative and Fractional Types
LFCS Seminar
Amr Sabry: Programming with Negative and Fractional Types
1:06:53
Joël Ouaknine: Holonomic Techniques, Periods, and Decision Problem
LFCS Seminar
Joël Ouaknine: Holonomic Techniques, Periods, and Decision Problem
55:55
Ankush Das: Resource aware session types for digital contracts
LFCS Seminar
Ankush Das: Resource aware session types for digital contracts
1:07:19
Primoz Skraba: Optimisation topology and shapes
LFCS Seminar
Primoz Skraba: Optimisation topology and shapes
1:00:13
Matthew Flatt: Continuation Marks: Design and Implementation
LFCS Seminar
Matthew Flatt: Continuation Marks: Design and Implementation
1:01:11
Jamie Gabbay: What is an EUTxO blockchain?
LFCS Seminar
Jamie Gabbay: What is an EUTxO blockchain?
58:41
Francesco Gavazzo: Operational reasoning for modal types: effects and coeffects
LFCS Seminar
Francesco Gavazzo: Operational reasoning for modal types: effects and coeffects
1:16:43
Mark Batty: Modular relaxed dependencies in weak memory concurrency
LFCS Seminar
Mark Batty: Modular relaxed dependencies in weak memory concurrency
44:28
Peter Lumsdaine: General definitions of dependent type theories
LFCS Seminar
Peter Lumsdaine: General definitions of dependent type theories
1:03:16
Arjen Rouvoet: Intrinsically typed interpretation of linear references
LFCS Seminar
Arjen Rouvoet: Intrinsically typed interpretation of linear references
48:47