Aishwarya Sivaraman

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 11

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks. EAAMO (2023)
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
Data-driven lemma synthesis for interactive proofs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
Mining Idioms in the Wild. ICSE (SEIP) (2022)
Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks. CoRR (2022)
Aishwarya Sivaraman, Rui Abreu, Andrew Scott, Tobi Akomolede, Satish Chandra
Mining Idioms in the Wild. CoRR (2021)
Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
Counterexample-Guided Learning of Monotonic Neural Networks. NeurIPS (2020)
Aishwarya Sivaraman, Golnoosh Farnadi, Todd D. Millstein, Guy Van den Broeck
Counterexample-Guided Learning of Monotonic Neural Networks. CoRR (2020)
Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim
HeteroRefactor: refactoring for heterogeneous computing with FPGA. ICSE (2020)
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
Active inductive logic programming for code search. ICSE (2019)
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck, Miryung Kim
Active Inductive Logic Programming for Code Search. CoRR (2018)
Sihan Xu, Aishwarya Sivaraman, Siau-Cheng Khoo, Jing Xu
GEMS: An Extract Method Refactoring Recommender. ISSRE (2017)
Kevin Gary, Bradley Szabo, Lavanya Vijayan, Braden Chapman, Jayavarshini Radhakrishnan, Aishwarya Sivaraman
JMaPSS: Spreading Activation Search for the Semantic Web. IRI (2007)