Aws Albarghouthi

Commun. ACM, February, 2023

Synthesizing Quantum-Circuit Optimizers.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

Compilation for Surface Code Quantum Computers.

[BibT_eX]

[DOI]

CoRR, 2023

PECAN: A Deterministic Certified Defense Against Backdoor Attacks.

[BibT_eX]

[DOI]

CoRR, 2023

Sketching Robot Programs On the Fly.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

Crowdsourcing Task Traces for Service Robotics.

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions.

[BibT_eX]

[DOI]

Anna P. Meyer

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

2022

Interval universal approximation for neural networks.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.

[BibT_eX]

[DOI]

Nicholas Carl Roberts

CoRR, 2022

Certifying Data-Bias Robustness in Linear Regression.

[BibT_eX]

[DOI]

Anna P. Meyer

CoRR, 2022

Semantic Robustness of Models of Source Code.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2022

BagFlip: A Certified Defense Against Data Poisoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Qubit Mapping and Routing via MaxSAT.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

Backdoors in Neural Models of Source Code.

[BibT_eX]

[DOI]

Goutham Ramakrishnan

Proceedings of the 26th International Conference on Pattern Recognition, 2022

2021

Introduction to Neural Network Verification.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2021

Learning Differentially Private Mechanisms.

[BibT_eX]

[DOI]

Subhajit Roy

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Certifying Robustness to Programmable Data Bias in Decision Trees.

[BibT_eX]

[DOI]

Anna P. Meyer

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Certified Robustness to Programmable Transformations in LSTMs.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Figaro: A Tabletop Authoring Environment for Human-Robot Interaction.

[BibT_eX]

[DOI]

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Distribution Policies for Datalog.

[BibT_eX]

[DOI]

Bas Ketsman

Paraschos Koutris

Theory Comput. Syst., 2020

Abstract Universal Approximation for Neural Networks.

[BibT_eX]

[DOI]

Zi Wang

Somesh Jha

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Automated tuning of query degree of parallelism via machine learning.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, 2020

Robustness to Programmable String Transformations via Augmented Abstract Training.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Generating Programmatic Referring Expressions via Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 37th International Conference on Machine Learning, 2020

Transforming Robot Programs Based on Social Context.

[BibT_eX]

[DOI]

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

Synthesizing Action Sequences for Modifying Model Decisions.

[BibT_eX]

[DOI]

Goutham Ramakrishnan

Yun Chan Lee

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Scaling-Up In-Memory Datalog Processing: Observations and Techniques.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Trace abstraction modulo probability.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Synthesizing differentially private programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Program Synthesis with Equivalence Reduction.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Bodystorming Human-Robot Interactions.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Computational Tools for Human-Robot Interaction Design.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction, 2019

Fairness-Aware Programming.

[BibT_eX]

[DOI]

Samuel Vinitsky

Proceedings of the Conference on Fairness, Accountability, and Transparency, 2019

Efficient Synthesis with Probabilistic Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Protocol-Aware Recovery for Consensus-Based Distributed Storage.

[BibT_eX]

[DOI]

Andrea C. Arpaci-Dusseau

Remzi H. Arpaci-Dusseau

ACM Trans. Storage, 2018

Synthesizing coupling proofs of differential privacy.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Authoring and Verifying Human-Robot Interactions.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, 2018

Neural-augmented static analysis of Android communication.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 25th International Symposium, 2018

Protocol-Aware Recovery for Consensus-Based Storage.

[BibT_eX]

[DOI]

Andrea C. Arpaci-Dusseau

Remzi H. Arpaci-Dusseau

Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

Constraint-Based Synthesis of Coupling Proofs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

FairSquare: probabilistic verification of program fairness.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Quantifying Program Bias.

[BibT_eX]

[DOI]

CoRR, 2017

Discovering relational specifications.

[BibT_eX]

[DOI]

Gabriel Ferns

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Probabilistic Horn Clause Verification.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 24th International Symposium, 2017

Weighted Model Integration with Orthogonal Transformations.

[BibT_eX]

[DOI]

David Merrell

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Constraint-Based Synthesis of Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

Repairing Decision-Making Programs Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Fairness as a Program Property.

[BibT_eX]

[DOI]

CoRR, 2016

Maximal specification synthesis.

[BibT_eX]

[DOI]

Isil Dillig

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

MapReduce program synthesis.

[BibT_eX]

[DOI]

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

Effectively Propositional Interpolants.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Software Verification with Program-Graph Interpolation and Abstraction.

[BibT_eX]

[DOI]

PhD thesis, 2015

Spatial Interpolants.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

2014

Symbolic optimization with SMT solvers.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Beautiful Interpolants.

[BibT_eX]

[DOI]

Kenneth L. McMillan

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

Recursive Program Synthesis.

[BibT_eX]

[DOI]

Sumit Gulwani

Zachary Kincaid

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

2012

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.

[BibT_eX]

[DOI]

Marsha Chechik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

From Under-Approximations to Over-Approximations and Back.

[BibT_eX]

[DOI]

Marsha Chechik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Craig Interpretation.

[BibT_eX]

[DOI]