• Sign in
  • Sign up
conf.researchr.org / Adithya Murali
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • POPL 2026 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Adithya Murali

Registered user since Wed 19 Oct 2022

Name:Adithya Murali
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website: https://muraliadithya.github.io/
X (Twitter): https://x.com/adithyamuralism
GitHub: https://github.com/muraliadithya

Contributions

2026

POPL

  • Committee Member in Program Committee within the POPL-track

2024

PLDI

  • Author of Predictable Verification using Intrinsic Definitions within the PLDI Research Papers-track

POPL

  • Author of Automated Datastructure Verification using Unfoldings and SMT Solving: Foundations and FO-Completeness within the TutorialFest-track

2023

SPLASH

  • Author of Complete First-Order Reasoning for Properties of Functional Programs within the OOPSLA-track

PLDI

  • Author of Model-guided synthesis of inductive lemmas for FOL with least fixpoints within the PLDI Research Papers-track

2022

SPLASH

  • Author of Synthesizing Axiomatizations using Logic Learning within the OOPSLA-track
  • Author of Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints within the OOPSLA-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2020

POPL

  • Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track
Share
xSun 15 Jun 19:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up