Ross Tate | DeepAI

DeepAI

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

Featured Co-authors

Jan Vitek
12 publications
Owen Arden
6 publications
Ethan Cecchetti
6 publications
Andrew K. Hirsch
4 publications
Pedro H. Azevedo de Amorim
4 publications
Julia Belyakova
4 publications
Benjamin Chung
2 publications
Jack Gelinas
1 publication
Jameson Nash
1 publication
Artem Pelenitsyn
1 publication

research

∙ 09/04/2021

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)

As a scientific programming language, Julia strives for performance but ...

0 Artem Pelenitsyn, et al. ∙

research

∙ 10/15/2020

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)

Dynamic programming languages face semantic and performance challenges i...

0 Julia Belyakova, et al. ∙

research

∙ 01/28/2020

First-Order Logic for Flow-Limited Authorization

We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a ...

0 Andrew K. Hirsch, et al. ∙