Yuriy Brun | DeepAI

AI Chat

Featured Co-authors

Kevin Moran
48 publications
Philip S. Thomas
36 publications
Arjun Guha
27 publications
Sainyam Galhotra
20 publications
Alexandra Meliou
17 publications
Claire Le Goues
17 publications
Markus N. Rabe
16 publications
Sven Apel
16 publications
Tian Lin
14 publications
Sarfraz Khurshid
12 publications
Abhinav Jangda
10 publications

∙ 08/07/2023

My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning

Machine learning technology has become ubiquitous, but, unfortunately, o...

0 Aimen Gaba, et al. ∙

∙ 03/08/2023

Baldur: Whole-Proof Generation and Repair with Large Language Models

Formally verifying software properties is a highly desirable but labor-i...

0 Emily First, et al. ∙

∙ 09/06/2022

Avgust: Automating Usage-Based Test Generation from Videos of App Executions

Writing and maintaining UI tests for mobile apps is a time-consuming and...

0 Yixue Zhao, et al. ∙

∙ 08/24/2022

Enforcing Delayed-Impact Fairness Guarantees

Recent research has shown that seemingly fair machine learning models, w...

0 Aline Weber, et al. ∙

∙ 04/21/2022

Passport: Improving Automated Formal Verification Using Identifiers

Formally verifying system properties is one of the most effective ways o...

0 Alex Sanchez-Stern, et al. ∙

∙ 03/10/2021

Blindspots in Python and Java APIs Result in Vulnerable Code

Blindspots in APIs can cause software engineers to introduce vulnerabili...

0 Yuriy Brun, et al. ∙

∙ 12/17/2020

Fairkit, Fairkit, on the Wall, Who's the Fairest of Them All? Supporting Data Scientists in Training Fair Models

Modern software relies heavily on data and machine learning, and affects...

0 Brittany Johnson, et al. ∙

∙ 11/16/2020

Automatically Repairing Programs Using Both Tests and Bug Reports

The success of automated program repair (APR) depends significantly on i...

0 Manish Motwani, et al. ∙

∙ 10/05/2020

Wasm/k: Delimited Continuations for WebAssembly

WebAssembly is designed to be an alternative to JavaScript that is a saf...

0 Donald Pinckney, et al. ∙

∙ 02/15/2019

Formal Foundations of Serverless Computing

A robust, large-scale web service can be difficult to engineer. When dem...

0 Abhinav Jangda, et al. ∙

∙ 09/19/2018

Causal Testing: Finding Defects' Root Causes

Isolating and repairing unexpected or buggy software behavior typically ...

0 Brittany Johnson, et al. ∙

∙ 09/15/2017

Tortoise: Interactive System Configuration Repair

System configuration languages provide powerful abstractions that simpli...

0 Aaron Weiss, et al. ∙

∙ 09/11/2017

Fairness Testing: Testing Software for Discrimination

This paper defines software fairness and discrimination and develops a t...

0 Sainyam Galhotra, et al. ∙

∙ 09/05/2017

Effectiveness of Anonymization in Double-Blind Review

Double-blind review relies on the authors' ability and willingness to ef...

0 Claire Le Goues, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world