output
20142026
most citedPyro: Deep Universal Probabilistic Programming

572 citations

86 papers

cs.SE2026

Scaling Mobile Chaos Testing with AI-Driven Test Execution

Juan Marcano, Ashish Samant, Kai Song +9

Mobile applications in large-scale distributed systems are susceptible to backend service failures, yet traditional chaos engineering approaches cannot scale mobile testing due to…

cs.CR2024★ 35 cited

AI-Enabled System for Efficient and Effective Cyber Incident Detection and Response in Cloud Environments

Mohammed Ashfaaq M. Farzaan, Mohamed Chahine Ghanem, Ayman El-Hajjar +1

The escalating sophistication and volume of cyber threats in cloud environments necessitate a paradigm shift in strategies. Recognising the need for an automated and precise respon…

math.OC2022★ 1 cited

An Empirical Quantile Estimation Approach to Nonlinear Optimization Problems with Chance Constraints

Fengqiao Luo, Jeffrey Larson

We investigate an empirical quantile estimation approach to solve chance-constrained nonlinear optimization problems. Our approach is based on the reformulation of the chance const…

cs.DB2022★ 1 cited

Scaling and Load-Balancing Equi-Joins

Ahmed Metwally

The task of joining two tables is fundamental for querying databases. In this paper, we focus on the equi-join problem, where a pair of records from the two joined tables are part…

cs.DC2022★ 34 cited

A Study of Real-World Data Races in Golang

Milind Chabbi, Murali Krishna Ramanathan

The concurrent programming literature is rich with tools and techniques for data race detection. Less, however, has been known about real-world, industry-scale deployment, experien…

cs.CV2021

NP-DRAW: A Non-Parametric Structured Latent Variable Model for Image Generation

Xiaohui Zeng, Raquel Urtasun, Richard Zemel +2

In this paper, we present a non-parametric structured latent variable model for image generation, called NP-DRAW, which sequentially draws on a latent canvas in a part-by-part fash…