Alan Mycroft | DeepAI

DeepAI

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

Featured Co-authors

Dylan McDermott
6 publications
Uday P. Khedker
3 publications
Pritam M. Gharat
1 publication

research

∙ 02/16/2022

Galois connecting call-by-value and call-by-name

We establish a general framework for reasoning about the relationship be...

0 Dylan McDermott, et al. ∙

research

∙ 01/28/2018

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

Flow- and context-sensitive points-to analysis is difficult to scale; fo...

0 Pritam M. Gharat, et al. ∙