pldb wrapped

POPeter-Michael Osera

3 papers

cited 174×

cites 41

Reply guy/gal

Isil Dillig

cited you 24×

Mutuals

1. SGSumit Gulwani7 ⇄ 4
2. Aws Albarghouthi2 ⇄ 8
3. IKIvan Kuraj4 ⇄ 2
4. RBRastislav Bodík2 ⇄ 2
5. RPRuzica Piskac3 ⇄ 2

you ⇄ them

Parasocial crush

VKViktor Kuncak

you: 4 · them: 0

Secret admirer

Hila Peleg

them: 16 · you: 0

Main character

Type-and-example-directed program synthesis

PLDI 2015 · cited 114×

Ratio'd

A lightweight symbolic virtual machine for solver-aided host languages

PLDI 2014 · cited 105× · by your 114×

Vintage

You cite like it's 2009

Deepest dig

A Methodology for Lisp Program Construction from Examples

POPL 1976

Lamport number4

1. POyou
2. MMKMilo M. K. Martin
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. 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.