| 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 | 52 | 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 | 37 | 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 | 29 | 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 | 18 | 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 | 8 | 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 | 6 | 2019 |
| 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 | 5 | 2023 |
| 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 | 3 | 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 |
| Ensuring Correctness of Modern Software Systems by Example A Sivaraman University of California, Los Angeles, 2022 | | 2022 |
Golnoosh FarnadiAssistant Professor at McGill University & Mila, Canada CIFAR AI ChairVerified email at mila.quebec
