research
∙
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...
share
research
∙
03/08/2023
Baldur: Whole-Proof Generation and Repair with Large Language Models
Formally verifying software properties is a highly desirable but labor-i...
research
∙
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...
research
∙
08/24/2022
Enforcing Delayed-Impact Fairness Guarantees
Recent research has shown that seemingly fair machine learning models, w...
research
∙
04/21/2022
Passport: Improving Automated Formal Verification Using Identifiers
Formally verifying system properties is one of the most effective ways o...
research
∙
03/10/2021
Blindspots in Python and Java APIs Result in Vulnerable Code
Blindspots in APIs can cause software engineers to introduce vulnerabili...
research
∙
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...
research
∙
11/16/2020
Automatically Repairing Programs Using Both Tests and Bug Reports
The success of automated program repair (APR) depends significantly on i...
research
∙
10/05/2020
Wasm/k: Delimited Continuations for WebAssembly
WebAssembly is designed to be an alternative to JavaScript that is a saf...
research
∙
02/15/2019
Formal Foundations of Serverless Computing
A robust, large-scale web service can be difficult to engineer. When dem...
research
∙
09/19/2018
Causal Testing: Finding Defects' Root Causes
Isolating and repairing unexpected or buggy software behavior typically ...
research
∙
09/15/2017
Tortoise: Interactive System Configuration Repair
System configuration languages provide powerful abstractions that simpli...
research
∙
09/11/2017
Fairness Testing: Testing Software for Discrimination
This paper defines software fairness and discrimination and develops a t...
research
∙
09/05/2017