Akash Lal
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA4 editions2020–2025
on a stage with
- Arpita Biswasonce
- Baldip Bijlanionce
- Constantin Eneaonce
all 18 in the filters
who talks about the same things
- Ori Lahav17 talks
- Kartik Nagar6 talks
- Aseem Rastogi7 talks
- Andreas Pavlogiannis18 talks
- Viktor Vafeiadis23 talks
- Constantin Enea14 talks
| title | conference | date |
|---|---|---|
| Memory-Safety Verification of Open Programs With Angelic Assumptions | OOPSLA 2025 | 2025-10-16 |
Seeker automatically suppresses spurious memory-safety warnings in open C programs by mining 1,900+ buffer idioms from an LLM, collapsing them into seven… | ||
| 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… | ||
| MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels | OOPSLA 2021 | 2021-10-17 |
MonkeyDB is a mock storage that computes, from an axiomatic isolation spec, the full set of values a read could legally return and returns a random value from… | ||
| Learning-Based Controlled Concurrency Testing | OOPSLA 2020 | 2020-11-15 |
A reinforcement learning scheduler based on Q-learning is implemented inside P# to choose scheduling decisions and data non-determinism values; it optimizes… | ||
| nothing matches | ||