kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Guowei Yang
13 papers
cited 89×
cites 137
Reply guy/gal
Marcelo F. Frias
cited you 7×
Mutuals
  1. Cristian Cadar4 ⇄ 3
  2. Lingming Zhang8 ⇄ 3
  3. Willem Visser9 ⇄ 3
  4. Abhik Roychoudhury4 ⇄ 2
  5. Corina S. Pasareanu7 ⇄ 2
you ⇄ them
Parasocial crush
Cong Liu
you: 6 · them: 0
Secret admirer
Nazareno Aguirre
them: 7 · you: 0
Main character
Directed incremental symbolic execution
PLDI 2011 · cited 49×
Ratio'd
DySy: dynamic symbolic execution for invariant inference
ICSE 2008 · cited 46× · by your 49×
Vintage
You cite like it's 2013
Deepest dig
Demand Interprocedural Dataflow Analysis
FSE 1995
Lamport number4
  1. you
  2. Sarfraz Khurshid
  3. Kenneth L. McMillan
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Sarfraz Khurshid. Without them: 5.

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.