research
∙
09/15/2023
Graph IRs for Impure Higher-Order Languages (Technical Report)
This is a companion report for the OOPSLA 2023 paper of the same title, ...
share
research
∙
09/12/2023
Modeling Reachability Types with Logical Relations
Reachability types are a recent proposal to bring Rust-style reasoning a...
research
∙
07/25/2023
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Reachability types are a recent proposal that has shown promise in scali...
research
∙
07/24/2022
OCTAL: Graph Representation Learning for LTL Model Checking
Model Checking is widely applied in verifying the correctness of complex...
research
∙
10/28/2021
A GNN Based Approach to LTL Model Checking
Model Checking is widely applied in verifying complicated and especially...
research
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
12/20/2019
Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap
Cyberphysical systems (CPS) are ubiquitous in our personal and professio...
research
∙
04/27/2019
Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
In this paper, we investigate the feasibility of learning GNN (Graph Neu...
research
∙
10/16/2018
AutoGraph: Imperative-style Coding with Graph-based Performance
There is a perceived trade-off between machine learning code that is eas...
research
∙
03/27/2018
Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
Deep learning has seen tremendous success over the past decade in comput...
research
∙
02/14/2018
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero
Despite the recent successes of deep neural networks in various fields s...
research
∙
03/23/2017