Pankaj Kumar Kalita
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 2 in the filters
on a stage with
- Loris D'Antonionce
- Subhajit Royonce
- Sujit Kumar Mudulionce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Program Synthesis for Artifacts beyond Programs | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
Three synthesis projects convert non‑regular artifacts into regular program synthesis problems and actually build working tools: a first‑order theorem prover… | ||
| Synthesizing Abstract Transformers | OOPSLA 2022 | 2022-12-05 |
Method synthesizes an abstract transformer from (i) a concrete semantics for op, (ii) an abstract domain A, and (iii) a DSL L, producing an AMURTH output that… | ||
| nothing matches | ||