research
∙
10/17/2022
System-Specific Interpreters Make Megasystems Friendlier
Modern operating systems, browsers, and office suites have become megasy...
share
research
∙
04/09/2021
Provable Repair of Deep Neural Networks
Deep Neural Networks (DNNs) have grown in popularity over the past decad...
research
∙
01/09/2021
SyReNN: A Tool for Analyzing Deep Neural Networks
Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety ...
research
∙
09/14/2020
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
An analogy is an identification of structural similarities and correspon...
research
∙
09/11/2020
Abstract Neural Networks
Deep Neural Networks (DNNs) are rapidly being applied to safety-critical...
research
∙
08/17/2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Network
Analysis and manipulation of trained neural networks is a challenging an...
research
∙
08/17/2019
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks
Analysis and manipulation of trained neural networks is a challenging an...
research
∙
08/17/2019
Computing Linear Restrictions of Neural Networks
A linear restriction of a function is the same function with its domain ...
research
∙
10/12/2018
ISA Mapper: A Compute and Hardware Agnostic Deep Learning Compiler
Domain specific accelerators present new challenges and opportunities fo...
research
∙
02/20/2018