Adithya Murali - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

Registered user since Wed 19 Oct 2022

Name:Adithya Murali

Country:United States

Affiliation:University of Wisconsin

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
Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions

Show activities from other conferences

POPL 2026-profile
View general profile