kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Giovanni Denaro
13 papers
cited 36×
cites 74
Reply guy/gal
Nachiappan Nagappan
cited you 5×
Mutuals
  1. Sarfraz Khurshid8 ⇄ 5
  2. Tao Xie3 ⇄ 3
  3. Corina S. Pasareanu7 ⇄ 2
  4. Cristian Cadar2 ⇄ 2
  5. Willem Visser8 ⇄ 2
you ⇄ them
Parasocial crush
Robby
you: 5 · them: 0
Secret admirer
Alessandra Gorla
them: 3 · you: 0
Main character
Using symbolic execution for verifying safety-critical systems
FSE 2001 · cited 11×
Ratio'd
Using Symbolic Execution for Verification of Ada Tasking Programs
TOPLAS 1990 · cited 5× · by your 11×
Vintage
You cite like it's 2008
Deepest dig
Using Symbolic Execution for Verification of Ada Tasking Programs
TOPLAS 1990
Lamport number4
  1. you
  2. Luciano Baresi
  3. Moshe Y. Vardi
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Luciano Baresi. Without them: 6.

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.