Manu Sridharan
where else to find them
website:http://manu.sridharan.net
github:msridhar
bluesky:manu.sridharan.net
mastodon:@manusridharan@discuss.systems
linkedin:manusridharan
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2023
on a stage with
- Akash Lalonce
- Benno Steinonce
- Bor-Yuh Evan Changonce
all 12 in the filters
who talks about the same things
- Murali Krishna Ramanathan5 talks
- Rajkishore Barik3 talks
- Milind Chabbi6 talks
- Nadia Polikarpova24 talks
- Armando Solar-Lezama18 talks
- Shriram Krishnamurthi12 talks
| title | conference | date |
|---|---|---|
| Lightweight Resource Leak Verification and Inference | SOAP 2024 | 2024-06-25 |
Presents a modular, type-based verifier that proves resource-leak absence without whole-program alias analysis by treating leaks as an accumulation property… | ||
| Interactive Abstract Interpretation with Demanded Summarization | PLDI 2024 | 2024-06-24 |
Presents demanded summarization, an algorithm and engine that makes summary‑based abstract interpretation incremental and compositional while supporting… | ||
| Inference of Resource Management Specifications | OOPSLA 2023 | 2023-10-23 |
Automatic inference produces resource-management specs for Java and C# by applying optimistic inference rules framed in a Datalog-style fixpoint so the system… | ||
| LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments | OOPSLA 2020 | 2020-11-15 |
LiveDroid automatically discovers and preserves the minimal app state needed to survive activity restarts by static analysis and runtime patches. It defines… | ||
| nothing matches | ||