22:49A Program Logic for Concurrent Objects under Fair Scheduling
A 23-minute video from Ras Bodik: “A Program Logic for Concurrent Objects under Fair Scheduling”.
Ras Bodik
140 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
22:49
23:59Abstracting Gradual Typing
A 24-minute video from Ras Bodik: “Abstracting Gradual Typing”.
24:27Abstraction Refinement Guided by a Learnt Probabilistic Model
A 24-minute video from Ras Bodik: “Abstraction Refinement Guided by a Learnt Probabilistic Model”.
22:10Algorithmic Analysis of Termination Problems for Affine Probabilistic Programs
A 22-minute video from Ras Bodik: “Algorithmic Analysis of Termination Problems for Affine Probabilistic Programs”.
21:50Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
A 22-minute video from Ras Bodik: “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components”.
29:47An Introduction to Refinement Types
Intro
A 30-minute video from Ras Bodik: “An Introduction to Refinement Types”.
26:37Automata and Coinduction
A 27-minute video from Ras Bodik: “Automata and Coinduction”.
26:16Binding as Sets of Scopes
A 26-minute video from Ras Bodik: “Binding as Sets of Scopes”.
26:37Breaking Through the Normalization Barrier: A Self Interpreter with F-omega
A 27-minute video from Ras Bodik: “Breaking Through the Normalization Barrier: A Self Interpreter with F-omega”.
20:21Casper: An Efficient Approach to Call Trace Collection
A 20-minute video from Ras Bodik: “Casper: An Efficient Approach to Call Trace Collection”.
22:36Chapar: Certified Causally Consistent Distributed Key-Value Stores
A 23-minute video from Ras Bodik: “Chapar: Certified Causally Consistent Distributed Key-Value Stores”.
23:27Combining Static Analysis with Probabilistic Models to Enable Inter-component Analysis
A 23-minute video from Ras Bodik: “Combining Static Analysis with Probabilistic Models to Enable Inter-component Analysis”.
25:51Decidability of Inferring Inductive Invariants
A 26-minute video from Ras Bodik: “Decidability of Inferring Inductive Invariants”.
22:18Dependent Types and Multi-Monadic Effects in F*
A 22-minute video from Ras Bodik: “Dependent Types and Multi-Monadic Effects in F*”.
22:46Effects as sessions, Sessions as effects
A 23-minute video from Ras Bodik: “Effects as sessions, Sessions as effects”.
25:31Environmental Bisimulations for Probabilistic Higher-Order Languages
A 26-minute video from Ras Bodik: “Environmental Bisimulations for Probabilistic Higher-Order Languages”.
22:27Estimating Types in Binaries using Predictive Modeling
A 22-minute video from Ras Bodik: “Estimating Types in Binaries using Predictive Modeling”.
22:59Example-Directed Synthesis: A Type-Theoretic Interpretation
A 23-minute video from Ras Bodik: “Example-Directed Synthesis: A Type-Theoretic Interpretation”.
24:48Fabular: Regression Formulas as Probabilistic Programming
A 25-minute video from Ras Bodik: “Fabular: Regression Formulas as Probabilistic Programming”.
21:29From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes
A 21-minute video from Ras Bodik: “From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes”.
24:24Fully-Abstract Compilation by Approximate Back-Translation
A 24-minute video from Ras Bodik: “Fully-Abstract Compilation by Approximate Back-Translation”.
33:26Is Sound Gradual Typing Dead?
A 33-minute video from Ras Bodik: “Is Sound Gradual Typing Dead?”.
24:58Kleenex Compiling Non-Deterministic Transducers to Deterministic Streaming Transducers
A 25-minute video from Ras Bodik: “Kleenex Compiling Non-Deterministic Transducers to Deterministic Streaming Transducers”.
25:56Lattice-Theoretic Progress Measures and Coalgebraic Model Checking
A 26-minute video from Ras Bodik: “Lattice-Theoretic Progress Measures and Coalgebraic Model Checking”.
25:02Learning Invariants using Decision Trees and Implication Counterexamples
A 25-minute video from Ras Bodik: “Learning Invariants using Decision Trees and Implication Counterexamples”.
29:45Learning Programs from Noisy Data
A 30-minute video from Ras Bodik: “Learning Programs from Noisy Data”.
23:27Lightweight Verification of Separate Compilation
A 23-minute video from Ras Bodik: “Lightweight Verification of Separate Compilation”.
25:15Maximal Specification Synthesis
A 25-minute video from Ras Bodik: “Maximal Specification Synthesis”.
16:45Memoryful Geometry of Interaction II: Recursion and Adequacy
A 17-minute video from Ras Bodik: “Memoryful Geometry of Interaction II: Recursion and Adequacy”.
1:06:42Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
A 67-minute video from Ras Bodik: “Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA”.
23:41Newtonian Program Analysis via Tensor Product
A 24-minute video from Ras Bodik: “Newtonian Program Analysis via Tensor Product”.
21:38Optimizing Synthesis with Metasketches
A 22-minute video from Ras Bodik: “Optimizing Synthesis with Metasketches”.
27:23PSync: A Partially Synchronous Language for Fault-tolerant Distributed Algorithms
A 27-minute video from Ras Bodik: “PSync: A Partially Synchronous Language for Fault-tolerant Distributed Algorithms”.
19:24PolyCheck: Dynamic Verification of Iteration Space Transformations of Affine Programs
A 19-minute video from Ras Bodik: “PolyCheck: Dynamic Verification of Iteration Space Transformations of Affine Programs”.
24:51Principal Type Inference for GADTS
A 25-minute video from Ras Bodik: “Principal Type Inference for GADTS”.
24:51Printing Floating-Point Numbers: A Faster, Always Correct Method
A 25-minute video from Ras Bodik: “Printing Floating-Point Numbers: A Faster, Always Correct Method”.