pldb wrapped

Ashish Mishra

@ashishindia.bsky.social

6 papers

cited 10×

cites 151

Reply guy/gal

ADAnkush Desai

cited you 2×

Mutuals

1. Hila Peleg7 ⇄ 2
2. BCPBenjamin C. Pierce14 ⇄ 1
3. BDBenjamin Delaware3 ⇄ 1
4. CTCassia Torczon1 ⇄ 1
5. Daniel Sainati1 ⇄ 1

you ⇄ them

Parasocial crush

Isil Dillig

you: 17 · them: 0

Main character

Specification-guided component-based synthesis from effectful libraries

OOPSLA 2022 · cited 7×

Vintage

You cite like it's 2017

Deepest dig

The Essence of Compiling with Continuations

PLDI 1993

Lamport number5

1. you
2. SJSuresh Jagannathan
3. PSPeter Sewell
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.