Aishwarya Sivaraman

According to our database, Aishwarya Sivaraman authored at least 9 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks.

Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi

Proceedings of the 3rd ACM Conference on Equity and Access in Algorithms, 2023

2022

Ensuring Correctness of Modern Software Systems by Example

Aishwarya Sivaraman

PhD thesis, 2022

Data-driven lemma synthesis for interactive proofs.

Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein

Proc. ACM Program. Lang., 2022

Mining Idioms in the Wild.

Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2020

Counterexample-Guided Learning of Monotonic Neural Networks.

Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

HeteroRefactor: refactoring for heterogeneous computing with FPGA.

Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Active inductive logic programming for code search.

Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim

Proceedings of the 41st International Conference on Software Engineering, 2019

2017

GEMS: An Extract Method Refactoring Recommender.

Sihan Xu, Aishwarya Sivaraman, Siau-Cheng Khoo, Jing Xu

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2007

JMaPSS: Spreading Activation Search for the Semantic Web.

Kevin Gary, Bradley Szabo, Lavanya Vijayan, Braden Chapman, Jayavarshini Radhakrishnan, Aishwarya Sivaraman

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007