Marcelo Sousa | DeepAI

DeepAI

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

Featured Co-authors

Isil Dillig
40 publications
Laure Petrucci
10 publications
Shuvendu Lahiri
9 publications
Camille Coti
9 publications
César Rodríguez
3 publications
Huyen T. T Nguyen
1 publication

research

∙ 02/19/2018

Verifying Semantic Conflict-Freedom in Three-Way Program Merges

Even though many programmers rely on 3-way merge tools to integrate chan...

0 Marcelo Sousa, et al. ∙

research

∙ 02/12/2018

Quasi-Optimal Partial Order Reduction

A dynamic partial order reduction (DPOR) algorithm is optimal when it al...

0 Huyen T. T Nguyen, et al. ∙