Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aishwarya Sivaraman
conf.researchr.org general profile
ASE 2024 profile
ESEC/FSE 2023 profile
FSE 2024 profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Aishwarya Sivaraman
Affiliation:
Meta
Contributions
2025
SPLASH
Author of Synthesizing Implication Lemmas for Interactive Theorem Proving within the OOPSLA-track
2024
ASE
Committee Member in Program Committee within the Research Papers-track
ESEC/FSE
Committee Member in Program Committee within the Industry Papers-track
2023
ESEC/FSE
Committee Member in Program Committee within the Artifacts-track
Share
x
Mon 27 Oct 00:29