Parisa Fathololumi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Constantin Enea
23 publications
Eric Koskinen
14 publications
ThanhVu Nguyen
12 publications
Ton Chanh Le
9 publications
Timos Antonopoulos
8 publications
Adam Chen
1 publication
Jared Pincus
1 publication

research

∙ 01/13/2023

The Commutativity Quotients of Concurrent Objects

Concurrent objects form the foundation of many applications that exploit...

0 Constantin Enea, et al. ∙

research

∙ 03/11/2022

Veracity: Declarative Multicore Programming with Commutativity

There is an ongoing effort to provide programming abstractions that ease...

0 Adam Chen, et al. ∙

research

∙ 10/12/2020

DynamiTe: Dynamic Termination and Non-termination Proofs

There is growing interest in termination reasoning for non-linear progra...

0 Ton Chanh Le, et al. ∙