33 citations · 166 across the 51 of their papers we have counts for
4 papers · 1 filter
Fairness as a Program Property
Aws Albarghouthi, Loris D'Antoni, Samuel Drews +1
We explore the following question: Is a decision-making program fair, for some useful definition of fairness? First, we describe how several algorithmic fairness questions can be p…
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata
Loris D'Antoni, Zachary Kincaid, Fang Wang
We introduce Symbolic Alternating Finite Automata (s-AFA) as an expressive, succinct, and decidable model for describing sets of finite sequences over arbitrary alphabets. Boolean…
Learning Syntactic Program Transformations from Examples
Reudismam Rolim, Gustavo Soares, Loris D'Antoni +5
IDEs, such as Visual Studio, automate common transformations, such as Rename and Extract Method refactorings. However, extending these catalogs of transformations is complex and ti…
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, Michael Vaughn
Command-line tools are confusing and hard to use for novice programmers due to their cryptic error messages and lack of documentation. Novice users often resort to online help-foru…