Aws Albarghouthi

According to our database1, Aws Albarghouthi authored at least 52 papers between 2010 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Certified Robustness to Programmable Transformations in LSTMs.
CoRR, 2021

Learning Differentially Private Mechanisms.
CoRR, 2021

2020
Distribution Policies for Datalog.
Theory Comput. Syst., 2020

Abstract Universal Approximation for Neural Networks.
CoRR, 2020

Backdoors in Neural Models of Source Code.
CoRR, 2020

A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism.
CoRR, 2020

Semantic Robustness of Models of Source Code.
CoRR, 2020

Automated tuning of query degree of parallelism via machine learning.
Proceedings of the Third International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, 2020

Proving data-poisoning robustness in decision trees.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Robustness to Programmable String Transformations via Augmented Abstract Training.
Proceedings of the 37th International Conference on Machine Learning, 2020

Generating Programmatic Referring Expressions via Program Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020

Transforming Robot Programs Based on Social Context.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

Synthesizing Action Sequences for Modifying Model Decisions.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Scaling-Up In-Memory Datalog Processing: Observations and Techniques.
Proc. VLDB Endow., 2019

Trace abstraction modulo probability.
Proc. ACM Program. Lang., 2019

Synthesizing differentially private programs.
Proc. ACM Program. Lang., 2019

A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning.
CoRR, 2019

Program Synthesis with Equivalence Reduction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Bodystorming Human-Robot Interactions.
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Computational Tools for Human-Robot Interaction Design.
Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction, 2019

Fairness-Aware Programming.
Proceedings of the Conference on Fairness, Accountability, and Transparency, 2019

Efficient Synthesis with Probabilistic Constraints.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Protocol-Aware Recovery for Consensus-Based Distributed Storage.
ACM Trans. Storage, 2018

Synthesizing coupling proofs of differential privacy.
Proc. ACM Program. Lang., 2018

Authoring and Verifying Human-Robot Interactions.
Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, 2018

Neural-augmented static analysis of Android communication.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Syntax-guided synthesis of Datalog programs.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Fairness: A Formal-Methods Perspective.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Protocol-Aware Recovery for Consensus-Based Storage.
Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

Constraint-Based Synthesis of Coupling Proofs.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang., 2017

Quantifying Program Bias.
CoRR, 2017

Discovering relational specifications.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Probabilistic Horn Clause Verification.
Proceedings of the Static Analysis - 24th International Symposium, 2017

Weighted Model Integration with Orthogonal Transformations.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Constraint-Based Synthesis of Datalog Programs.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Repairing Decision-Making Programs Under Uncertainty.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Fairness as a Program Property.
CoRR, 2016

Maximal specification synthesis.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

MapReduce program synthesis.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Effectively Propositional Interpolants.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Spatial Interpolants.
Proceedings of the Programming Languages and Systems, 2015

2014
Symbolic optimization with SMT solvers.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Beautiful Interpolants.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Recursive Program Synthesis.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

From Under-Approximations to Over-Approximations and Back.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Craig Interpretation.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Parallelizing top-down interprocedural analyses.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010
Abstract Analysis of Symbolic Executions.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010


  Loading...