12.20 Gave a talk at
Waterloo's ML+Logic Colloqium
10.20 I'm the publicity chair for MAPS 21, a great symposium on ML and PL
10.20 Serving on the PC of AAAI, FAccT, and IJCAI
5.20 Two
probability and programming research awards from FB!
5.20 Yuhao's paper on NLP robustness accepted to ICML!
5.20 Jiani and Calvin's paper on referring expressions accepted to ICML!
5.20 My first PhD student, Calvin Smith, is now a doctor!
2.20 I'm on the PC of the
MAPL workshop (at PLDI). Submit your best ML/PL work!
2.20 I'm co-chairing the
FoMLAS workshop in LA. Submit your best ML/FM work!
2.20 Sam's paper on
data-poisoning robustness (cond.) accepted to PLDI!
12.19 David's work on
adapting robot programs accepted to CHI!
11.19 Goutham + Yun Chan's paper on
actionable explanations appears at AAAI!
9.19 NSF grant on verification and synthesis for collaborative robots
8.19 Invited talk at
ETH's annual workshop on dependable and secure software
7.19 New UIST paper on synthesis of
robot programs through acting!
7.19 Gave a
talk at verification mentoring workshop (VMW 19)
5.19 Received a probability and programming research award from
Facebook
5.19 Synthesizing Differentially Private Programs accepted to ICFP
4.19 Paper on synthesis with probabilistic constraints to appear at CAV
1.19 Our Datalog engine paper to appear at VLDB!
11.18 Paper on synthesis with equivalence reduction to appear at VMCAI
10.18 Paper on fairness-aware programming to appear at FAT*
10.18 Paper on verifying accuracy of randomized algorithms to appear at POPL
10.18 Best paper award at UIST! Way to go, David!
7.18 Paper on verification for human-robot interactions accepted to UIST!
6.18 Paper on type-directed enocders and static analysis accepted to FSE!
6.18 Paper on Datalog synthesis with active learning accepted to FSE!
3.18 Paper on synthesizing probabilistic proofs accepted to CAV!
3.18 Excited to be giving a keynote at FairWare@ICSE in Sweden!
2.18 Baby Lea Maria arrives in our world!
2.18 Excited to be serving on the POPL19 PC!
2.18 Best paper award at FAST!
2.18 Excited to be giving an invited talk at SAS in Freiburg!
12.17 FairSquare mentioned on
Engadget's recap of fairness research in 2017
12.17 Paper accepted to FAST!
12.17 Paper on foundations of distributed Datalog accepted to ICDT!
11.17 FairSquare featured on
Godel's Lost Letter
9.17 Paper accepted to POPL!
8.17 Excited to be on the steering committee of the new and very important
FAT* conference, on fairness,
accountability, and transparency
7.17 Calvin receives best paper award at FSE!
7.17 FairSquare press:
SF Chronicle,
Wisconsin State Journal
TechRepublic
6.17 New paper by Sam to appear at OOPSLA17
6.17 New paper at SAS17
6.17 NSF grant to work on formal methods of program fairness!
6.17 New paper by Calvin to appear at FSE17
4.17 New paper by David M. to appear at IJCAI17
4.17 New paper by Sam to appear at CAV17
3.17 David P. receives the NSF Graduate Research Fellowship!
3.17 Sam is quoted in
NBC article on algorithmic bias
2.17 Received an
NSF CAREER Award!
1.17 Sam lands 2nd place at POPL's student research competition
9.16 Gave a talk at
Facebook London's Infer team
4.16 Sam's paper on EPR interpolants accepted to CAV 16
2.16 Received an
NSF grant to work on
optimal interpolation
1.16 Calvin's paper, MapReduce Program Synthesis, accepted to PLDI 16
1.16 Calvin scores silver medal at POPL's student research competition
10.15 Our Maximal Specification Synthesis paper will appear
at POPL 16
10.15 I'll be serving on the PLDI 16 ERC
9.15 I'll be chairing
CAV 16's artifact evaluation committee
8.15 Received a
Google faculty research award. Thanks, Alphabet!
7.15 Spoke at the
Verification Mentoring Workshop at CAV 15 in SF
Automated tuning of query degree of parallelism via machine learning
Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi
aiDM@SIGMOD 20 Artificial Intelligence Techniques for Data Management
Synthesizing Action Sequences for Modifying Model Decisions
Goutham Ramakrishnan, Yunchan Lee, Aws Albarghouthi
AAAI 20 Artificial Intelligence /
code
Transforming Robot Programs Based on Social Context
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
CHI 20 Human Factors in Computing Systems /
code
Bodystorming Human-Robot Interactions
David Porfirio, Evan Fisher, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
UIST 19 User Interface Software and Technology /
code
Synthesizing Differentially Private Programs
Calvin Smith, Aws Albarghouthi
ICFP 19 Functional Programming /
code
Efficient Synthesis with Probabilistic Constraints
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
CAV 19 Computer Aided Verification /
code
Scaling-Up In-Memory Datalog Processing
Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang,
Aws Albarghouthi, Paraschos Koutris, Jignesh Patel
VLDB 19 Very Large Databases /
code
Fairness-Aware Programming
Aws Albarghouthi, Samuel Vinitsky
FAT* 19 Fairness, Accountability, and Transparency
Trace Abstraction Modulo Probability
Calvin Smith, Justin Hsu, Aws Albarghouthi
POPL 19 Principles of Programming Languages
Program Synthesis with Equivalence Reduction
Calvin Smith, Aws Albarghouthi
VMCAI 19 Verification, Model Checking, and Abstract Interpretation /
code
Fairness: A Formal-Methods Perspective
Aws Albarghouthi
SAS 18 Static Analysis
Paper accompanying invited talk
Authoring and Verifying Human–Robot Interactions
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
UIST 18 User Interface Software and Technology /
code
🏆 Best paper award
Neural-Augmented Static Analysis of Android Communication
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
FSE 18 Foundations of Software Engineering
Syntax-Guided Synthesis of Datalog Programs
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paris Koutris, Mayur Naik
FSE 18 Foundations of Software Engineering /
code
Constraint-Based Synthesis of Coupling Proofs
Aws Albarghouthi and Justin Hsu
CAV 18 Computer Aided Verification
Synthesizing Coupling Proofs of Differential Privacy
Aws Albarghouthi and Justin Hsu
POPL 18 Principles of Programming Languages
Distribution Policies for Datalog
Bas Ketsman, Aws Albarghouthi and Paraschos Koutris
ICDT 18 Database Theory
Protocol-Aware Recovery for Consensus-Based Storage
Ramnatthan Alagappan, Aishwarya Ganesan, Vijay Chidambaram,
Aws Albarghouthi, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau
FAST 18 File and Storage Technologies
🏆 Best paper award
FairSquare: Probabilistic Verification for Program Fairness
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA 17 OO Programming, Systems, Languages, and Applications /
code
Discovering Relational Specifications
Calvin Smith, Gabriel Ferns, Aws Albarghouthi
FSE 17 Foundations of Software Engineering /
code
🏆 Best paper award
Probabilistic Horn Clause Verification
Aws Albarghouthi
SAS 17 Static Analysis
Weighted Model Integration via Orthogonal Transformations
David Merrell, Aws Albarghouthi, Loris D'Antoni
IJCAI 17 Aritificial Intelligence
Constraint-Based Synthesis of Datalog Programs
Aws Albarghouthi, Paris Koutris, Mayur Naik, Calvin Smith
CP 17 Constraint Programming /
code
Repairing Decision-Making Programs under Uncertainty
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
CAV 17 Computer Aided Verification /
code
Fairness as a Program Property
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
FATML 16 Fairness, Accountability, and Trasparency in Machine Learning
Effectively Propositional Interpolants
Samuel Drews and Aws Albarghouthi
CAV 16 Computer Aided Verification
MapReduce Program Synthesis
Calvin Smith and Aws Albarghouthi
PLDI 16 Programming Languages Design and Implementation /
code
Maximal Specification Synthesis
Aws Albarghouthi, Isil Dillig, Arie Gurfinkel
POPL 16 Principles of Programming Languages
Beyond Storage APIs: Provable Semantics for Storage Stacks
Ramnatthan Alagappan, Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Aws Albarghouthi, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau
HotOS 15 Hot Topics in Operating Systems
Spatial Interpolants
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
ESOP 15 European Symposium on Programming
Software Verification with Program-Graph Interpolation and Abstraction
PhD Thesis, University of Toronto, 15
Symbolic Optimization with SMT Solvers
Yi Li,
Aws Albarghouthi,
Zachary Kincaid,
Arie Gurfinkel,
Marsha Chechik
POPL 14 Principles of Programming Languages
has since been implemented as an optimization engine in Z3
Beautiful Interpolants
Aws Albarghouthi and Ken McMillan
CAV 13 Computer Aided Verification
Recursive Program Synthesis
Aws Albarghouthi,
Sumit Gulwani,
and Zachary Kincaid
CAV 13 Computer Aided Verification
UFO: Verification with Interpolants and Abstract Interpretation
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
TACAS 13 Tools and Algorithms for the Construction and Analysis of Systems
International Competition on Software Verification (SV-COMP) Contribution
🏆 UFO won 4 gold medals—the largest number of gold medals won by any tool
Parallelizing Top-down Interprocedural Analyses
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Srirarm Rajamani
PLDI 12 Programming Languages Design and Implementation
UFO: A Framework for Abstraction- and Interpolation-Based Software Verification
Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
CAV 12 Computer Aided Verification
From Under-approximations to Over-approximations and Back
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
TACAS 12 Tools and Algorithms for the Construction and Analysis of Systems
Whale: An Interpolation-based Algorithm for Inter-procedural Verification
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
VMCAI 12 Verification, Model Checking, and Abstract Interpretation
Craig Interpretation
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
SAS 12 Static Analysis Symposium
Abstract Analysis of Symbolic Executions
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik
CAV 10 Computer Aided Verification
On the Use of Planning Technology for Verification
Aws Albarghouthi, Jorge A. Baier, Sheila A. McIlraith
VVPS 09 Validation and Verification of Planning and Scheduling Systems
My last name is pronounced Al·bər·go͞o·tē (or Bər·go͞o·tē).
Albarghouthi is a Palestinian family from the village of Deir Ghassaneh, about 20 miles north of Jerusalem and east of Jaffa.
