Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Pailoor, Shankara"'
Publikováno v:
Proc. ACM Program. Lang. 8, PLDI, Article 188 (June 2024), 32 pages
Online streaming algorithms, tailored for continuous data processing, offer substantial benefits but are often more intricate to design than their offline counterparts. This paper introduces a novel approach for automatically synthesizing online stre
Externí odkaz:
http://arxiv.org/abs/2404.04743
Autor:
Chen, Qiaochu, Pailoor, Shankara, Barnaby, Celeste, Criswell, Abby, Wang, Chenglong, Durrett, Greg, Dillig, Isil
We propose a new technique based on program synthesis for automatically generating visualizations from natural language queries. Our method parses the natural language query into a refinement type specification using the intents-and-slots paradigm an
Externí odkaz:
http://arxiv.org/abs/2209.01081
We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop FlyTrap, a framework to test PM file systems for crash-consistency bug
Externí odkaz:
http://arxiv.org/abs/2204.06066
In recent years, the notion of local robustness (or robustness for short) has emerged as a desirable property of deep neural networks. Intuitively, robustness means that small perturbations to an input do not cause the network to perform misclassific
Externí odkaz:
http://arxiv.org/abs/1904.09959