Sumit Lahiri
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Abhijat Singhonce
- Abraham Burnsonce
- Dylan DSilvaonce
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Modernize your Win32 application for security and privacy Q&A | Microsoft Build 2023 | 2023-05-23 |
Win32 app isolation ships as a public preview that packages Win32 apps into App Containers and Helium silos using MSIX app identity, adds file-system… | ||
| Verification of Programs with Concealed Components | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
Usher synthesizes inductive invariants for programs with concealed components (inline assembly, third‑party APIs, sampling) by running a learner-teacher loop… | ||
| Symbolic Execution for Randomized Programs | OOPSLA 2022 | 2022-12-05 |
Adds probabilistic symbolic variables to symbolic execution and computes symbolic probability expressions for paths, then checks universal quantitative… | ||
| nothing matches | ||