Aishwarya Sivaraman

14 papers A* 3A 1Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Synthesizing Implication Lemmas for Interactive Theorem Proving.
Proc. ACM Program. Lang.
Ana Brendel, Aishwarya Sivaraman, Todd D. Millstein
2023 — conf
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks.
EAAMO
Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi
2022 J jnl
Data-driven lemma synthesis for interactive proofs.
Proc. ACM Program. Lang.
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
2022 — —
Ensuring Correctness of Modern Software Systems by Example
Aishwarya Sivaraman
2022 J jnl
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks.
CoRR
Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi
2022 — conf
Mining Idioms in the Wild.
ICSE (SEIP)
Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
2021 J jnl
Mining Idioms in the Wild.
CoRR
Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
2020 A* conf
Counterexample-Guided Learning of Monotonic Neural Networks.
NeurIPS
Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
2020 J jnl
Counterexample-Guided Learning of Monotonic Neural Networks.
CoRR
Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
2020 A* conf
HeteroRefactor: refactoring for heterogeneous computing with FPGA.
ICSE
Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim
2019 A* conf
Active inductive logic programming for code search.
ICSE
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
2018 J jnl
Active Inductive Logic Programming for Code Search.
CoRR
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
2017 A conf
GEMS: An Extract Method Refactoring Recommender.
ISSRE
Sihan Xu, Aishwarya Sivaraman, Siau-Cheng Khoo, Jing Xu
2007 Misc conf
JMaPSS: Spreading Activation Search for the Semantic Web.
IRI
Kevin Gary, Bradley Szabo, Lavanya Vijayan, Braden Chapman, Jayavarshini Radhakrishnan, Aishwarya Sivaraman