| Information-theoretic testing and debugging of fairness defects in deep neural networks V Monjezi, A Trivedi, G Tan, S Tizpaz-Niari 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 50 | 2023 |
| Fairness-aware configuration of machine learning libraries S Tizpaz-Niari, A Kumar, G Tan, A Trivedi Proceedings of the 44th International Conference on Software Engineering …, 2022 | 49 | 2022 |
| Detecting and understanding real-world differential performance bugs in machine learning libraries S Tizpaz-Niari, P Černý, A Trivedi Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020 | 27 | 2020 |
| Qfuzz: Quantitative fuzzing for side channels Y Noller, S Tizpaz-Niari Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 17 | 2021 |
| Differential performance debugging with discriminant regression trees S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 17 | 2018 |
| Quantitative mitigation of timing side channels S Tizpaz-Niari, P Černý, A Trivedi Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 16 | 2019 |
| Data-driven debugging for functional side channels S Tizpaz-Niari, P Cerny, A Trivedi arXiv preprint arXiv:1808.10502, 2018 | 13 | 2018 |
| Discriminating traces with time S Tizpaz-Niari, P Černý, BYE Chang, S Sankaranarayanan, A Trivedi International Conference on Tools and Algorithms for the Construction and …, 2017 | 11 | 2017 |
| Metamorphic testing and debugging of tax preparation software S Tizpaz-Niari, V Monjezi, M Wagner, S Darian, K Reed, A Trivedi 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 9 | 2023 |
| Verification of OSPF vulnerabilities by colored petri net ST Niari, AH Jahangir Proceedings of the 6th International Conference on Security of Information …, 2013 | 7 | 2013 |
| Efficient detection and quantification of timing leaks with neural networks S Tizpaz-Niari, P Černý, S Sankaranarayanan, A Trivedi Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 6 | 2019 |
| Detecting unseen anomalies in network systems by leveraging neural networks MJ Hashemi, E Keller, S Tizpaz-Niari IEEE Transactions on Network and Service Management 20 (3), 2515-2528, 2022 | 4 | 2022 |
| Timing side-channel mitigation via automated program repair H Ruan, Y Noller, S Tizpaz-Niari, S Chattopadhyay, A Roychoudhury ACM Transactions on Software Engineering and Methodology 33 (8), 1-27, 2024 | 3 | 2024 |
| Predicting Fairness of ML Software Configuration SR Herrera, V Monjezi, V Kreinovich, A Trivedi, S Tizpaz-Niari arXiv preprint arXiv:2404.19100, 2024 | 3 | 2024 |
| Causal Graph Fuzzing for Fair ML Sofware Development V Monjezi, A Kumar, G Tan, A Trivedi, S Tizpaz-Niari Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | 3 | 2024 |
| NeuFair: Neural Network Fairness Repair with Dropout VA Dasu, A Kumar, S Tizpaz-Niari, G Tan Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | 2 | 2024 |
| Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory S Tizpaz-Niari, S Sankaranarayanan Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering …, 2024 | 2 | 2024 |
| On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software D Srinivas, R Das, S Tizpaz-Niari, A Trivedi, ML Pacheco arXiv preprint arXiv:2311.11979, 2023 | 2 | 2023 |
| FairLay-ML: Intuitive Remedies for Unfairness in Data-Driven Social-Critical Algorithms N Yu, G Tan, S Tizpaz-Niari arXiv preprint arXiv:2307.05029, 2023 | 2 | 2023 |
| Quantitative estimation of side-channel leaks with neural networks S Tizpaz-Niari, P Černý, S Sankaranarayanan, A Trivedi International Journal on Software Tools for Technology Transfer 23 (4), 641-654, 2021 | 2 | 2021 |
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mailová adresa ověřena na: colorado.edu
