| Counterexample-guided learning of monotonic neural networks A Sivaraman, G Farnadi, T Millstein, G Van den Broeck Advances in Neural Information Processing Systems 33, 11936-11948, 2020 | 60 | 2020 |
| Active inductive logic programming for code search A Sivaraman, T Zhang, G Van den Broeck, M Kim 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 40 | 2019 |
| Gems: An extract method refactoring recommender S Xu, A Sivaraman, SC Khoo, J Xu 2017 ieee 28th international symposium on software reliability engineering …, 2017 | 32 | 2017 |
| HeteroRefactor: Refactoring for heterogeneous computing with FPGA J Lau, A Sivaraman, Q Zhang, MA Gulzar, J Cong, M Kim Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 19 | 2020 |
| Mining idioms in the wild A Sivaraman, R Abreu, A Scott, T Akomolede, S Chandra Proceedings of the 44th International Conference on Software Engineering …, 2022 | 10 | 2022 |
| Active inductive logic programming for code search. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) A Sivaraman, T Zhang, G Van den Broeck, M Kim IEEE, 2019 | 7 | 2019 |
| Feta: Fairness enforced verifying, training, and predicting algorithms for neural networks K Mohammadi, A Sivaraman, G Farnadi arXiv preprint arXiv:2206.00553, 2022 | 6 | 2022 |
| Data-driven lemma synthesis for interactive proofs A Sivaraman, A Sanchez-Stern, B Chen, S Lerner, T Millstein Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 505-531, 2022 | 4 | 2022 |
| FETA: fairness enforced verifying, training, and predicting algorithms for neural networks K Mohammadi, A Sivaraman, G Farnadi Proceedings of the 3rd ACM Conference on Equity and Access in Algorithms …, 2023 | 1 | 2023 |
| Ensuring Correctness of Modern Software Systems by Example A Sivaraman University of California, Los Angeles, 2022 | | 2022 |
| Post-processing Counterexample-guided Fairness Guarantees in Neural Networks K Mohammadi, A Sivaraman, G Farnadi Combining Learning and Reasoning: Programming Languages, Formalisms, and …, 2022 | | 2022 |
Golnoosh FarnadiAssistant Professor at McGill University & Mila, Canada CIFAR AI Chair在 mila.quebec 的电子邮件经过验证
