Shankara Pailoor
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
all 4 in the filters
on a stage with
all 15 in the filters
who talks about the same things
- Isil Dillig15 talks
- Işıl Dillig21 talks
- Nadia Polikarpova24 talks
- Xinyu Wang14 talks
- Armando Solar-Lezama18 talks
- Yu Feng9 talks
| title | conference | date |
|---|---|---|
| From Batch to Stream: Automatic Generation of Online Algorithms | PLDI 2024 | 2024-06-24 |
Automated method extracts a relational function signature via static analysis, builds initial state by evaluating each spec on the empty list, and synthesizes… | ||
| Semantic Code Refactoring for Abstract Data Types | POPL 2024 | 2024-01-14 |
Automates ADT refactoring by taking an original implementation, a new data layout and a relational representation invariant, then synthesizing each method via… | ||
| Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs | PLDI 2023 | 2023-06-17 |
Tool QED2 performs semantic reasoning over Circom-generated polynomial equations by combining SMT solving with lightweight uniqueness inference in an… | ||
| Automated Policy Synthesis for System Call Sandboxing | OOPSLA 2020 | 2020-11-15 |
Abhaya automatically generates sound, optimal syscall-whitelisting policies by combining a scalable static analysis with an SMT-guided synthesis phase. The… | ||
| MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation | USENIX Security '18 | 2018-08-15 |
Takes 2.8 million system calls from 3,220 real programs and uses trace distillation to compress them to just over 14,000 calls while preserving 86% of original… | ||
| nothing matches | ||