kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Pavol Cerný
21 papers
cited 247×
cites 195
Reply guy/gal
Isil Dillig
cited you 12×
Mutuals
  1. Sumit Gulwani12 ⇄ 6
  2. Ahmed Bouajjani3 ⇄ 4
  3. Alex Aiken3 ⇄ 3
  4. Armando Solar-Lezama7 ⇄ 3
  5. Ashutosh Gupta4 ⇄ 3
you ⇄ them
Parasocial crush
Martin T. Vechev
you: 11 · them: 0
Secret admirer
Constantin Enea
them: 7 · you: 0
Main character
Synthesis of interface specifications for Java classes
POPL 2005 · cited 84×
Ratio'd
Learning Assumptions for Compositional Verification
TACAS 2003 · cited 63× · by your 84×
Vintage
You cite like it's 2008
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number3
  1. you
  2. Rajeev Alur
  3. Robert P. Kurshan
  4. Leslie Lamport

Load-bearing co-author: Rajeev Alur. Without them: 4.

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.