list | abstracts | bib ]

Checking Data Structure Properties Orders of Magnitude Faster

paper pdf   

Citation

Emmanouil Koukoutos and Viktor Kuncak. Checking data structure properties orders of magnitude faster. In Runtime Verification (RV), 2014.

BibTex Entry

@INPROCEEDINGS{KoukoutosKuncak14CheckingDataStructurePropertiesOrdersMagnitudeFaster,
  author = {Emmanouil Koukoutos and Viktor Kuncak},
  title = {Checking Data Structure Properties Orders of Magnitude Faster},
  booktitle = {Runtime Verification (RV)},
  year = 2014,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KoukoutosKuncak14CheckingDataStructurePropertiesOrdersMagnitudeFaster.pdf}
}

list | abstracts | bib ]