Shankara Pailoor | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Greg Durrett
82 publications
Chenglong Wang
47 publications
Isil Dillig
40 publications
Swarat Chaudhuri
35 publications
Vijay Chidambaram
19 publications
Qiaochu Chen
9 publications
Greg Anderson
6 publications
Celeste Barnaby
5 publications
James Bornholt
2 publications
Abby Criswell
2 publications
Hayley LeBlanc
1 publication

research

∙ 09/02/2022

Type-Directed Synthesis of Visualizations from Natural Language Queries

We propose a new technique based on program synthesis for automatically ...

0 Qiaochu Chen, et al. ∙

research

∙ 04/12/2022

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems

We present a study of crash-consistency bugs in persistent-memory (PM) f...

0 Hayley LeBlanc, et al. ∙

research

∙ 04/22/2019

Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

In recent years, the notion of local robustness (or robustness for short...

0 Greg Anderson, et al. ∙

research

∙ 04/22/2019

Optimization + Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness

In recent years, the notion of local robustness (or robustness for short...

0 Greg Anderson, et al. ∙