Artiklar med krav på offentlig åtkomst - Aws AlbarghouthiLäs mer
Tillgängliga någonstans: 40
Fairsquare: probabilistic verification of program fairness
A Albarghouthi, L D'Antoni, S Drews, AV Nori
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017
Krav: US National Science Foundation
Semantic robustness of models of source code
J Henkel, G Ramakrishnan, Z Wang, A Albarghouthi, S Jha, T Reps
2022 IEEE International Conference on Software Analysis, Evolution and …, 2022
Krav: US National Science Foundation, US Department of Defense
Maximal specification synthesis
A Albarghouthi, I Dillig, A Gurfinkel
ACM SIGPLAN Notices 51 (1), 789-801, 2016
Krav: US National Science Foundation
Syntax-guided synthesis of datalog programs
X Si, W Lee, R Zhang, A Albarghouthi, P Koutris, M Naik
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Krav: US National Science Foundation, US Department of Defense
Authoring and verifying human-robot interactions
D Porfirio, A Sauppé, A Albarghouthi, B Mutlu
Proceedings of the 31st annual acm symposium on user interface software and …, 2018
Krav: US National Science Foundation
Synthesizing coupling proofs of differential privacy
A Albarghouthi, J Hsu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Krav: US National Science Foundation, European Commission
Constraint-based synthesis of datalog programs
A Albarghouthi, P Koutris, M Naik, C Smith
Principles and Practice of Constraint Programming: 23rd International …, 2017
Krav: US National Science Foundation
Fairness-aware programming
A Albarghouthi, S Vinitsky
Proceedings of the Conference on Fairness, Accountability, and Transparency …, 2019
Krav: US National Science Foundation
Bodystorming human-robot interactions
D Porfirio, E Fisher, A Sauppé, A Albarghouthi, B Mutlu
proceedings of the 32nd annual ACM symposium on user Interface software and …, 2019
Krav: US National Science Foundation
Qubit mapping and routing via maxsat
A Molavi, A Xu, M Diges, L Pick, S Tannu, A Albarghouthi
2022 55th IEEE/ACM international symposium on Microarchitecture (MICRO …, 2022
Krav: US National Science Foundation
Backdoors in neural models of source code
G Ramakrishnan, A Albarghouthi
2022 26th International Conference on Pattern Recognition (ICPR), 2892-2899, 2022
Krav: US National Science Foundation
Synthesizing action sequences for modifying model decisions
G Ramakrishnan, YC Lee, A Albarghouthi
Proceedings of the AAAI conference on artificial intelligence 34 (04), 5462-5469, 2020
Krav: US National Science Foundation
Synthesizing quantum-circuit optimizers
A Xu, A Molavi, L Pick, S Tannu, A Albarghouthi
Proceedings of the ACM on Programming Languages 7 (PLDI), 835-859, 2023
Krav: US National Science Foundation
Proving data-poisoning robustness in decision trees
S Drews, A Albarghouthi, L D'Antoni
Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020
Krav: US National Science Foundation
Program synthesis with equivalence reduction
C Smith, A Albarghouthi
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
Krav: US National Science Foundation
Interval universal approximation for neural networks
Z Wang, A Albarghouthi, G Prakriya, S Jha
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
Krav: US National Science Foundation, US Department of Defense
{Protocol-Aware} Recovery for {Consensus-Based} Storage
R Alagappan, A Ganesan, E Lee, A Albarghouthi, V Chidambaram, ...
16th USENIX Conference on File and Storage Technologies (FAST 18), 15-32, 2018
Krav: US National Science Foundation, US Department of Energy
Discovering relational specifications
C Smith, G Ferns, A Albarghouthi
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Krav: US National Science Foundation
Repairing decision-making programs under uncertainty
A Albarghouthi, L D’Antoni, S Drews
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Krav: US National Science Foundation
Learning differentially private mechanisms
S Roy, J Hsu, A Albarghouthi
2021 IEEE Symposium on Security and Privacy (SP), 852-865, 2021
Krav: US National Science Foundation
Publikations- och finansieringsuppgifter tas fram automatiskt av ett datorprogram.