Sankha Narayan Guria
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2023
on a stage with
- David Van Hornonce
- James Parkeronce
- Jeffrey S. Fosteronce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Absynthe: Abstract Interpretation-Guided Synthesis | PLDI 2023 | 2023-06-17 |
Framework uses user-defined abstract domains to prune families of candidate programs during enumerative search, infers abstract values for intermediate holes… | ||
| ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification | PLDI 2022 | 2022-06-13 |
ANOSY verifies attacker-knowledge approximations and synthesizes posterior-update functions using refinement types, then checks them with Liquid Haskell and an… | ||
| nothing matches | ||