research
∙
11/30/2021
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Much recent research has been devoted to modeling effects within type th...
share
research
∙
07/23/2021
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair
Neural networks are increasingly being deployed in contexts where safety...
research
∙
02/12/2020
