Ryan Newton | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Niki Vazou
15 publications
Ranjit Jhala
14 publications
Xiaozhu Meng
9 publications
Vikraman Choudhury
8 publications
Buddhika Chamith
1 publication
Ryan Scott
1 publication

research

∙ 02/18/2020

ShadowGuard : Optimizing the Policy and Mechanism of Shadow Stack Instrumentation using Binary Static Analysis

A shadow stack validates on-stack return addresses and prevents arbitrar...

0 Buddhika Chamith, et al. ∙

research

∙ 08/07/2017

Deriving Law-Abiding Instances

Liquid Haskell's refinement-reflection feature augments the Haskell lang...

0 Ryan Scott, et al. ∙