Zeeshan Lakhani | DeepAI

DeepAI

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

Featured Co-authors

Frank Pfenning
20 publications
Andreia Mordido
13 publications
Ankush Das
11 publications
Heather Miller
8 publications
Henry DeYoung
5 publications

research

∙ 01/26/2022

Polarized Subtyping

Polarization of types in call-by-push-value naturally leads to the separ...

0 Zeeshan Lakhani, et al. ∙

research

∙ 12/28/2018

Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs

When programming network functions, changes within a packet tend to have...

0 Zeeshan Lakhani, et al. ∙