Raimondas Sasnauskas | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

Featured Co-authors

Yang Chen
117 publications
Lionel Briand
39 publications
Domenico Bianculli
15 publications
Donghwan Shin
15 publications
Annibale Panichella
12 publications
John Regehr
3 publications
Salma Messaoudi
1 publication
Peter Collingbourne
1 publication
Jeroen Ketema
1 publication
Jubi Taneja
1 publication

research

∙ 08/06/2019

Scalable Inference of System-level Models from Component Logs

Behavioral software models play a key role in many software engineering ...

0 Donghwan Shin, et al. ∙

research

∙ 11/13/2017

Souper: A Synthesizing Superoptimizer

If we can automatically derive compiler optimizations, we might be able ...

0 Raimondas Sasnauskas, et al. ∙