Narges Shadab
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Akash Lalonce
- Jeremiah Griffinonce
- Manu Sridharanonce
all 10 in the filters
who talks about the same things
- Mohsen Lesani6 talks
- Shuvendu K. Lahiri5 talks
- Shrey Tiwari2 talks
- Manu Sridharan6 talks
- Xizhe Yin3 talks
- Ankush Desai10 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| TLC: Temporal Logic of Distributed Components | ICFP 2020 | 2020-08-23 |
TLC is a temporal program logic that verifies both safety and liveness of layered distributed components and proves soundness against an operational semantics… | ||
| nothing matches | ||